Este documento presenta conceptos básicos de lógica y matemática aplicada. Explica que la lógica estudia la validez de los argumentos y define conceptos como proposiciones, enunciados, tautologías, contradicciones y conectivos lógicos como la negación, conjunción y disyunción. También introduce las tablas de verdad como una forma de determinar el valor de verdad de enunciados compuestos en función del valor de sus enunciados simples.