You are on page 1of 10

UNIDAD III: PRUEBA DE

VALIDEZ E INVALIDEZ

OBJETIVO:
Probar la validez e invalidez en los
argumentos lógicos, mediante una
serie de argumentos elementales
válidos.

CONTENIDO:
❖ PRUEBA FORMAL DE VALIDEZ, APLICANDO LAS
REGLAS DE INFERENCIA

Ing. Cristela Fuentes


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)
pq
~ p
 q pr  p  (q . p)
qs
7. Simplificación (Simp) 8. Conjunción (Conj) 9. Adición (Ad)

p.q p p
q
 p  p . q
 pq
Esta nueve reglas de inferencia corresponden a formas arguméntales elementales cuya
validez es fácil de establecer por medio de tablas de verdad.
Ing. Cristela Fuentes
Ejercicios
III. Para cada uno de los puntos siguientes, añadir
los dos enunciados que se necesitan para
producir una prueba formal de validez.
Construya una prueba formal de validez de cada
uno de los siguientes argumentos.
a)
1. A
A 2. B /  ( A  C ) . B

B / (A  C) . B 3. A  C (1) Ad

4. ( A  C ) . B ( 3 , 2 ) Conj

PRUEBA FORMAL DE
Ing. Cristela Fuentes
VALIDEZ
Ejercicios
b)

1. M  N 1. M  N
2. ~ M . ~ O /  N 2. ~ M . ~ O /  N
3. ~ M (2) Simp

4. N ( 1, 3 ) SD

PRUEBA FORMAL DE
Ing. Cristela Fuentes
VALIDEZ
Ejercicios
IV. Para cada uno de los puntos siguientes, añadir
los tres enunciados a las premisas, producirá
una prueba formal de validez. Construya una
prueba formal de validez de cada uno de los
siguientes argumentos.
a)
A  ( B  A ) 1. A  ( B  A )
~ A . C /  ~ B 2. ~ A . C /  ~ B
3. ~ A ( 2 ) Simp
4. B  A ( 1, 3 ) S D
5. ~ B ( 4,3 ) M T

Ing. Cristela Fuentes PRUEBA FORMAL DE


VALIDEZ
Ejercicios
b) N  ( N . O )  P 
N .O / P

1. N   ( N . O ) P 
2. N . O /  P
3. N ( 2 ) Simp
4. ( N . O )  P ( 1, 3 ) M P
5. P ( 4 , 2) MP
PRUEBA FORMAL DE VALIDEZ
Ing. Cristela Fuentes
Ejercicios
V. Construya una prueba formal de validez de
cada uno de los siguientes argumentos.
a)
AB 1. A  B
A  (C . D ) 2. A  ( C . D )
~B . ~E 3. ~ B . ~ E /  C
C 4. ~ B (3), Simpl
5. ~ A(1, 4), M T
6. C . D(2, 5), S D
PRUEBA FORMAL (6), Simpl
DE VALIDEZ
7 . C Ing. Cristela Fuentes
Ejercicios
(Q  R ) . (S  T )
b) (U  V ) . (W  X )
Q  U
 R  V

1. (Q  R ) . (S  T )
2. (U  V ) . (W  X )
3. Q  U / R  V
4. Q  R (1), Simpl.
5. U  V (2), Simpl.
6. (Q  R ) . (U  V ) (4, 5), Conj
7. R  V (6, 3), D C

PRUEBA FORMAL DE VALIDEZ


Ing. Cristela Fuentes
Por su atención

Ing. Cristela Fuentes