Este documento presenta conceptos básicos de lógica matemática como proposiciones, valores de verdad, operadores lógicos como negación, disyunción, conjunción y condicional. Define una proposición como una expresión que puede ser verdadera o falsa pero no ambas, y da ejemplos. Explica que un valor de verdad indica el grado en que una declaración es verdadera y provee ejemplos. Finalmente, introduce conceptos como tablas de verdad y los diferentes operadores lógicos.