REGLAS DE INFERENCIA RELACIONADAS CON EL NEGADOR

REGLAS DE INFERENCIA RELACIONADAS CON EL NEGADOR
CONECTOR
ESQUEMA
┌
│
│
│
└
p
.
.
.
q˄¬q
¬p
NOMBRE
Introducción del Negador
SIGLAS
IN
Reducción al Absurdo
Abs
1)
¬¬ p
p
Eliminación de la doble negación
p
¬¬ p
Introducción de la doble negación
p
¬ p
q
La existencia de una premisa validada y negada abre la posibilidad de
cualquier conclusión. Eliminación del Negador.
2)
Negador
DN
ECQ
1)
¬ ( p ˄ q)
═══════════════
¬ p ˅ ¬ q
Leyes distributivas de la negación.
DM-1
Aplicable a la Conjunción y a la Disyunción.
2)
¬ ( p ˅ q)
═══════════════
¬ p ˄ ¬ q
Se conocen como Leyes De Morgan.
DM-2
REGLAS DE INFERENCIA RELACIONADAS CON EL CONJUNTOR
CONECTOR
ESQUEMA
NOMBRE
SIGLAS
1)
p
q
p ˄ q
IC
Introducción del Conjuntor o
Ley del Producto
Prod
Eliminación del Conjuntor o
Ley de Simplificación
EC
Simp
p ˄ q
═════════════════════
q ˄ p
Ley conmutativa de la
Conjunción
CC
p ˄ q
═════════════════════
¬ (p → ¬ q)
Definición del Conjuntor por el
Negador y el Implicador
Def C-1
p ˄ q
═════════════════════
¬(¬p ˅ ¬q)
Definición del Conjuntor por el
Negador y el Disyuntor
Def C-2
2)
p
q
q ˄ p
1)
p ˄ q
p
Conjuntor
2)
p ˄ q
q
REGLAS DE INFERENCIA RELACIONADAS CON EL DISYUNTOR
(1)
CONECTOR
ESQUEMA
NOMBRE
SIGLAS
1)
p
p ˅ q
2)
q
q ˅ p
Disyuntor
(1)
p ˅ q
┌ p
│ .
│ .
└ r
┌ q
│ .
│ .
└ r
r
p ˅ q
═════════════════════
q ˅ p
p ˅ p
p
Introducción del Disyuntor o
Ley de la Adición
ID
Ad
Eliminación del Disyuntor o
Prueba de Casos
ED
Cas
Ley conmutativa de la
Disyunción
CD
Eliminación del Disyuntor
ED
REGLAS DE INFERENCIA RELACIONADAS CON EL DISYUNTOR (2)
CONECTOR
ESQUEMA
NOMBRE
SIGLAS
1)
p
p
q
r
˅ q
→ r
→ r
˅ r
Dilema simple constructivo
Dil C-1
Dilema simple destructivo
Dil D-1
Dilema compuesto constructivo
Dil C-2
Dilema compuesto destructivo
Dil D-2
p ˅ q
═════════════════════
¬ p → q
Definición del Disyuntor por el
Negador y la Implicación
Def D-1
p ˅ q
═════════════════════
¬(¬p˄ ¬ q)
Definición del Disyuntor por el
Negador y el Conjuntor
Def D-2
2)
¬ p
r
r
¬ r
˅ ¬ q
→ p
→ q
˅ ¬ r
1)
Disyuntor
(2)
p
p
q
r
˅ q
→ r
→ s
˅ s
2)
¬ p ˅ ¬ q
r → p
s → q
¬ r ˅ ¬ s
REGLAS DE INFERENCIA RELACIONADAS CON EL IMPLICADOR Y EL
COIMPLICADOR
CONECTOR
ESQUEMA
┌ p
│ .
│ .
│ .
└ q
p → q
Implicador
p → q
p
q
p → q
¬ q
¬ p
p → q
q → r
p → r
Coimplicador
p → q
q → p
p ↔ q
NOMBRE
SIGLAS
Introducción del Implicador o
Teorema de la Deducción
II
TD
Eliminación del Implicador
por “Modus Ponens”
Eliminación del Implicador
por “Modus Tollens”
MP
Ley transitiva del Implicador o
del Silogismo
MT
Sil
Introducción del Coimplicador
ICO

Download Report