Este documento introduce diferentes tipos de enunciados utilizados en lógica y matemáticas. Define enunciados como oraciones o frases que incluyen afirmaciones, negaciones, preguntas u órdenes. También presenta proposiciones como enunciados que tienen valor de verdad y se representan con letras. Finalmente, distingue entre enunciados simples o atómicos que afirman o niegan sin conectores lógicos, y enunciados compuestos formados por dos o más enunciados simples unidos por conectores