modus tollens

Definición: Regla de inferencia usada para probar la corrección o el valor de verdad para proposiciones lógicas.Sean A y B dos afirmaciones genéricas cualesquiera. La forma de la regla puede abarcar A, B y otras más. Aquí se ejemplifica con A y B:

A=>B, ~B
------------
~A

En lenguaje más explícito se podría señalar una premisa 1 que es si A entonces B y una premisa 2 que es no B, entonces la conclusión es no A. Dicho de nuevo, se sabe que cuando A es verdad, B es verdad. Se sabe tambien que B no es verdad. Se puede inferir que A no es verdad.

Interesante es el caso simétrico de una doble negación, otra forma que contiene solamente A y B:

~A=>B, ~B
-------------
A

• modus ponens

• lógica

• inferencia

• relación causal

• lógica dicotómica

• determinismo

• forma lógica

22.jul.1998

Pulsar tecla de vuelta

Vuelta a Portada

---

Glosario de Carlos von der Becke.