Teorema de lógica de enunciados, que se enuncia:
y teorema de álgebra de clases, que se enuncia:
y que permiten escribir, respectivamente, como inferencias válidas,
También, de acuerdo con los Principia Mathematica de Whitehead y Russell, regla de inferencia de lógica de enunciados, que se enuncia:
y que permite sustituir, en las inferencias lógicas, el primer miembro de la equivalencia por el segundo, y viceversa.