Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

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

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



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


3789-1.gif


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.gif


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