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.