Este documento define conceptos básicos de lógica proposicional como enunciados, proposiciones lógicas, conectivos lógicos y clases de proposiciones lógicas. Explica que una proposición lógica es un enunciado que puede ser verdadero o falso pero no ambos a la vez. Define conectivos lógicos como palabras que enlazan proposiciones y cambian su valor de verdad, como la negación, conjunción, disyunción, condicional y bicondicional. Finalmente