No se ha añadido ninguna twiki todavía.

Teorema de lógica de enunciados, que se enuncia:


3789.png


y teorema de álgebra de clases, que se enuncia:


3789-1.png


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:


3789-2.png


y que permite sustituir, en las inferencias lógicas, el primer miembro de la equivalencia por el segundo, y viceversa.