Este documento introduce conceptos básicos de lógica proposicional como proposiciones, operaciones veritativas, conectivos lógicos (negación, conjunción, disyunción inclusiva, disyunción exclusiva, condicional, bicondicional), tautologías, contradicciones y circuitos lógicos. Explica cómo construir proposiciones compuestas a partir de proposiciones simples usando diferentes conectivos lógicos y cómo determinar el valor de verdad de dichas proposiciones compuestas.