Este documento presenta los conceptos básicos de la lógica proposicional. Explica que la lógica proposicional se ocupa de las relaciones entre proposiciones completas sin analizar los términos individuales. Define proposiciones atómicas y moleculares, e introduce los principales operadores lógicos como la conjunción, disyunción, condicional y bicondicional. Finalmente, muestra cómo usar tablas de verdad para evaluar la validez de argumentos lógicos.