1. PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR
SEDE IBARRA “PUCE-SI”.
Datos Informativos:
Carrera: Arquitectura.
Nivel: Primero
Nombre: Alex Cáceres.
Materia: Lógica Matemática.
Tema: Ejemplos de métodos de demostración.
Fecha: 25 de octubre del 2010.
Contenido:
Todas lasfrutasson plantas.
Todas lasmanzanasson frutas.
Todas lasmanzanasson plantas.
Todo insectoesanimal.
Toda abejaes insecto.
Toda abejaesanimal.

2. Todas laspersonasonmamíferos.
Todoslos seresracionalesconpersonas
Todoslos seresracionalessonmamíferos.
Todo cuadradoes figurageométrica.
Toda figurageométricaesun plano.
Todo cuadradoes unplano.

3. Un pais sontodas lasprovincias.
Toda provinciasontodosloscantones.
Todoslos cantones sonpaís.
Todo loaburridoesfeo.
Todo lofeo es malo.
Todo loaburridoesmalo.
Todoslos paísesesa continente.
Todoslos continentes formanlatierra.
Todoslos paísesformanla tierra.

4. Todo perroesanimal.
Todo animal norazona.
Todo perrono razona.
Toda agua es liquida.
Todo líquidose toma.
Toda agua se toma.

5. Toda arquitecturaesunestudio.
Toda estudioes unaprofesión.
Toda arquitecturaesuna profesión