Los axiomas de las expresiones cuantificadas están en el siguiente link: digestoCompleto.pdf.
En el archivo para_todo_1.pdf hay dos ejercicios de demostración con cuantificadores.
Mundo SAT
Especificar usando cuantificadores la siguiente afirmación:
Hay un cuadrado que está arriba de todo.
Cronograma de Ejercicios
Para no atrasarse con el contenido, les recomiendo que utilicen el siguiente cronograma para avanzar con los prácticos, siempre en el orden indicado. Si alguno de los ejercicios los traba y no pueden avanzar, no demoren en consultarme las dudas.
| 11/05/15 | Ej. Seleccionados hasta el 19, 22 y 20 |
| 13/05/15 | 21 de Seleccionados y 6d del Práctico 5 |
| 18/05/15 | Seleccionados 23a-c, P5 7f |
| 20/05/15 | P5 8b |
| 25/05/15 | P5 9a, 9c |
| 27/05/15 | P5 10c, 11a, 14a, 14b |
| 01/06/15 | P5 12b, 16a, 16b |
| 03/06/15 | P5 Ejercicios 17 y 18 |
| 08/06/15 | Parcial II |
| 10/06/15 | Consulta |
| 15/06/15 | Recuperatorios |
| 15/06/15 | Consulta para el Examen Final |