Este documento explica conceptos básicos de lógica matemática como proposiciones, tablas de verdad, operadores lógicos como negación, conjunción, disyunción, condicional y bicondicional. Define cada operador y muestra su tabla de verdad correspondiente. También presenta ejemplos de aplicación de los operadores lógicos y leyes como la conmutativa, asociativa, de Morgan y de reducción.