Algunas leyes de lógica de predicados
Leyes de interdefinición de los cuantificadores:
[math]\forall{x} Px\leftrightarrow{}¬\exists{x}¬Px[/math]
[math]\exists{}xPx\leftrightarrow{}¬ \forall{x}¬Px[/math]
[math]\forall{x} ¬Px \leftrightarrow{}¬\exists{x}Px[/math]
[math]\exists{x}¬Px \leftrightarrow{}¬\exists{x}Px[/math]
Leyes aristotélicas de oposición:
Ley de identidad:
Ley de contradicción:
Ley de tercio excluso:
Modus ponendo ponens:
Modus tollendo tollens:
Ley de especificación:
Ley de particularización:
| A. Deaño, Introducción a la lógica formal, Alianza, Madrid 1978, p.233-236. |