Este documento presenta conceptos básicos de lógica matemática. Define proposiciones como enunciados que pueden ser verdaderos o falsos pero no ambos a la vez. Explica los conectivos lógicos de conjunción, disyunción y negación que permiten formar proposiciones compuestas. Finalmente, introduce proposiciones condicionales y bicondicionales.