Este documento presenta conceptos fundamentales de lógica proposicional, incluyendo proposiciones, conectivos lógicos como conjunción, disyunción, condicional y bicondicional, tablas de verdad y circuitos lógicos. Define una proposición como una expresión que puede ser verdadera o falsa pero no ambas. Explica que la conjunción es verdadera solo si ambas proposiciones lo son, mientras que la disyunción es falsa solo si ambas proposiciones lo son. Describe el condicional como