Enciclopedia Herder

Algunas leyes de lógica de predicados

Leyes de interdefinición de los cuantificadores:

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:

{{{Título}}} - {{{Autor}}}