Reglas de inferencia

Por: Rubén José Ariza Díaz Pensamiento lógico matemático Paso 6 Grupo 18  

REGLAS DE INFERENCIA

MODUS TOLLENDO PONENS

Negando... Afirmo El nombre latino dice algo de la regla; dice que: negando (tollendo) un miembro de la disyunción, se afirma (ponens) el otro miembro.  

Captura 1 (binary/octet-stream)

Caption: : También conocido como eliminación por disyunción o eliminación del "o".

EJEMPLOS: TOLLENDO PONENS

Tollendo Ponens 1 (binary/octet-stream)

Tollendo Ponens 2 (binary/octet-stream)

CONTRAPOSICIÓN

De una implicación podemos deducir otra implicación, en la que el antecedente y el consecuente se inviertan y ambas se nieguen.

Contra (binary/octet-stream)

EJEMPLOS DE CONTRAPOSICIÓN

Contra 1 (binary/octet-stream)

Contra 2 (binary/octet-stream)

DOBLE NEGACIÓN

También llamada: Ley de la involución.   SI un enunciado es doblemente negado, equivaldrá al enunciado afirmado.   "p" doblemente negada equivale a "p".

Doble Nega (binary/octet-stream)

EJEMPLO DOBLE NEGACIÓN

Doble Nega 1 (binary/octet-stream)

Doble Nega 2 (binary/octet-stream)