Este documento trata sobre lógica y funciones. Explica qué es una proposición, los conectivos lógicos, las tablas de verdad, las tautologías y las contradicciones. También define la lógica, los objetivos de la lógica, la conceptualización, la demostración, las proposiciones, las variables proposicionales, los enunciados abiertos, las clases de proposiciones, los conectivos lógicos como la negación, la conjunción, la disyunción y la condic