Inicialmente, se distingue entre enunciados simples y complejos . Los enunciados simples son aquellos que no contienen dentro de sí otros enunciados. Por ejemplo, "Leibniz inventó el cálculo infinitesimal" es un enunciado simple. En contraste, los enunciados complejos están formados por la combinación de dos o más enunciados simples, unidos mediante conectivas lógicas . Estas conectivas son elementos del lenguaje que permiten establecer relaciones específicas entre los enunciados que unen, modificando así el valor de verdad del enunciado complejo resultante. Se mencionan como ejemplos de conectivas lógicas las conjunciones (y), las disyunciones (o), los condicionales (si... entonces...) y las negaciones (no). Un ejemplo de enunciado complejo sería "Leibniz y Newton inventaron de modo independiente el cálculo infinitesimal", que combina dos enunciados simples mediante la conjunción "y".

Se presenta una clasificación de los enunciados complejos atendiendo al tipo de conectiva lógica principal que los estructura. Así, se identifican: