ENUNCIADOS PREDICADOS La lógica de enunciados (o lógica proposicional), trata del estudio de la composición de enunciados mediante cc conectores (y, o, si...entonces, etc.) y se fundamenta en el principio de bivalencia, según el cual, todo enunciado es verdadero o falso, pero nunca ambas cosas a la vez.. Podemos decir, por lo tanto, que la lógica de enunciados se dedica a formalizar las preposiciones del lenguaje natural en un lenguaje simbólico y a definir los conectores, estudiando las leyes de combinación o deducción de los enunciados que las contienen. En la lógica de predicados se formaliza y estudia la oración atendiendo a los dos términos que la componen: el sujeto y el predicado. La lógica de predicados no es mas que la logica de enunciados pero con variables y cuantificadores.