Este documento describe conceptos lógicos como la inferencia, que es la deducción de una conclusión a partir de otras cosas, y provee ejemplos de inferencias válidas. También explica el principio de no contradicción, que establece que algo no puede ser y no ser al mismo tiempo.

1. Lógica
Inferencia: deducción de una cosa a partir de una conclusión
Ejemplos
1. Los libros de matemáticas son aburridos.
2. Este libro es de matemáticas.
Este libro es aburrido.
1. Los niños crecen.
2. Ana es una niña
Ana crece
Principio de no contradicción:
Este principio se enuncia diciendo “ es imposible que algo sea y no sea al mismo tiempo y
en el mismo tiempo”