Cristela Fuentes
UNIDAD III: PRUEBA DE
VALIDEZ E INVALIDEZ
OBJETIVO:
Comprender la validez e invalidez en
los argumentos lógicos, mediante una
serie de argumentos elementales
válidos.
CONTENIDO:
PRUEBA FORMAL DE VALIDEZ E INVALIDEZ
DE UN ARGUMENTO
REGLAS DE INFERENCIA
EJERCICIOS
Recordar:
En la teoría, las tablas de verdad son
apropiadas para probar la validez de
un argumento; en la práctica cada
vez es mas difícil de manejar a
medida que aumenta el número de
enunciados constituyentes.
Un método más eficiente para probar la
validez de un argumento extenso consiste
en deducir su conclusión a partir de sus
premisas mediante una serie de
argumentos elementales, cada uno de los
cuales se conoce como válido. Esta técnica
es muy similar a los métodos ordinarios de
argumentación.
PRUEBA FORMAL DE VALIDEZ
NUEVE REGLAS DE INFERENCIA PARA LA CONSTRUCCIÓN DE PRUEBAS FORMALES DE
VALIDEZ
1. Modus Ponens (MP) 2. Modus Tollens (MT) 3. Silogismo Hipotético (SH)
p q p q p q
p ~ q q r
~ p p r
q
4. Silogismo Disyuntivo (SD) 5. Dilema Constructivo 6. Absorción (Abs)
(DC)
p q
( p q) . (r s)
pq
~ p
q pr p (q . p)
qs
7. Simplificación (Simp) 8. Conjunción (Conj) 9. Adición (Ad)
p . q p p
q
p p . q
pq
Esta nueve reglas de inferencia corresponden a formas arguméntales elementales cuya
validez es fácil de establecer por medio de tablas de verdad.
Ejemplo 1:
Dado el siguiente argumento
E q p
El hecho de que la conclusión pueda
deducirse de las cinco premisas del
argumento original mediante cuatro
argumentos elementales válidos, por lo que
demuestra que el argumento original es
válido.
1. ( A . B ) C Re gla 6 : Abs
p q
(A . B) (A . B) . C p (q . p)
2. N (O . P ) . Q (O . R ) Por regla 5: DC
( p q) . (r s)
N Q pr
(O . P ) O . R qs
Ejercicios
3. ~ (H . ~ I ) (H I ) Por regla : SH
p q
(I H ) ~ (H . ~ I) q r
(I H ) (H I ) p r