Este documento introduce conceptos básicos de lógica y programación. Explica que la lógica estudia cómo inferir verdades de forma válida y que la lógica matemática añade formalismo para disponer de un lenguaje adecuado. Luego, describe seis competencias clave relacionadas con aplicar lógica matemática y resolver problemas computacionales. Finalmente, define lógica como la ciencia del razonamiento y procesamiento de ideas de acuerdo a reglas.