Este documento describe los conceptos básicos de lógica matemática. Explica que una proposición puede ser verdadera o falsa, y que existen proposiciones simples sin conectivos lógicos y proposiciones compuestas con conectivos lógicos. También define los tipos de proposiciones compuestas o moleculares que incluyen conjunción, disyunción, condicional y negación.