Este documento trata sobre la lógica matemática. Explica que la lógica estudia la forma del razonamiento y que la lógica matemática son métodos de razonamiento. Además, define las proposiciones como oraciones que pueden ser falsas o verdaderas pero no ambas, y describe los conectivos lógicos como la conjunción que se usa para conectar dos proposiciones que deben cumplirse para obtener un resultado verdadero.