El principio de no contradicción puede expresarse en el lenguaje de la lógica proposicional.