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

Reglas básicas del cálculo de la lógica de enunciados


De introducción (I) / De eliminación (E)
Leyes de la implicación 2026B.png
Leyes de la conjunción 2026C.png
Leyes de la disyunción 2026D.png
Leyes de la negación 2026E.png
2026F.png
Leyes de la implicación 2026G.png
Leyes de la conjunción y disyunción 2026H.png
Leyes de la negación 2026I.png
Leyes adicionales de la disyunción y conjunción 2026J.png
Leyes del bicondicional 2026K.png
Leyes derivadas de las definiciones 2026L.png
Leyes de De Morgan 2026M.png