Este documento define conceptos básicos de lógica proposicional como proposiciones, conectores lógicos, tablas de verdad, tautologías y contradicciones. Explica que una proposición es una declaración verdadera o falsa y distingue entre proposiciones simples y compuestas. Además, describe los conectores lógicos de negación, conjunción, disyunción, condicional y bicondicional y cómo se usan las tablas de verdad para determinar el valor de verdad de proposic