Este documento define la lógica y la lógica proposicional. Explica que la lógica estudia la forma del razonamiento y determina si un argumento es válido. También describe las proposiciones, proposiciones simples y compuestas, y los conectivos lógicos como la conjunción, disyunción e implicación que conectan proposiciones. Finalmente, provee ejemplos para ilustrar estos conceptos lógicos.