PRUEBA FORMAL DE

VALIDEZ
A continuacin se desarrollan una serie de
ejercicios que demuestran como se realiza una
prueba de validez. (Lo que est en rojo son
premisas, lo azul la conclusin y lo que est en
negro es la prueba de validez)
I) Demostrar la validez del siguiente argumento:
1) p r
2) r q
3) p/q
4) p q
por 1) y 2) ( SH)
5) q
por 3) y 4) (MP)

Explicacin del ejercicio:

1)Lo primero es aceptar que las premisas son
verdaderas.
2)Luego, se deben combinar las premisas para
producir alguna de las estructuras de las reglas de
inferencia conocidas. As en este ejemplo se
combina la premisa 1 y 2 para conformar el
silogismo hipottico, con el cual se obtiene 4.
3)Luego combinando la premisa 3 y la nueva premisa
4 se conforma el Modus Ponendo, para concluir 5,
que nos lleva a la conclusin q
4)Hecho esto se completa la prueba de validez.

II) Ejemplo: Demostrar la validez del siguiente

argumento:
1) p (q r )
2) p
3) (q r ) s / s
4) (q r)
por 1) y 2) ( MP )
5) S
por 3) y 4) ( MP )
Explicacin: las premisas son 1) , 2) y 3) y la
conclusin es s
Relacionando 1) y 2) se conforma el modus
ponendo y se obtiene 4).
Luego, relacionando 3) y 4) se conforma
nuevamente el modus ponendo y se obtiene 5) ,
lo cual nos lleva a la conclusin buscada que es
s.

III) Ejemplo: Demostrar la validez del siguiente argumento:

1) s t
2) q s
3) t
4) q r / r
5) s
por 1) y 3) (SD)
6) q
por 2) y 5) (MT)
7) r
por 4) y 6) (MP )
IV) Ejemplo: Demostrar la validez del siguiente argumento:
1) A B
2) B C
3) C D
4) D
5) A E / E
6) A C
por 1) y 2) ( SH )
7) A D
por 6) y 3) ( SH )
8) A
por 7) y 4) ( MT )
9) E
por 5) y 8) ( SD )

EJERCICIOS ( TAREA )
I) A continuacin se presentan varias pruebas de
validez realizadas. Se le pide que justifique cada
paso, indicando las premisas utilizadas , as como
la correspondiente regla de inferencia.
a) 1) s r
2) r
3) s t
4) t p / p
5) s
6) t
7) p

b) 1) A B
2) (A C ) D / A D
3) A
4) A C
J
5) D
6) A D
c) 1) ( E F ) ( G H )
2) ( EG ) ( F H )
3) G / H
4) E F
5) G H
6) H
d) 1) Q R
2) S ( T U )
3) S (Q T)
4) S / R U
5) T U
6) ( Q R) ( T U )
M)

e) 1) I J
2) I ( K J )
3) L K
4) (J I ) / L
5) I (J I)
6) I
7) K J
8) K
9) L
10) L J

f) 1) I J
2) J K
3) L M
4) I L / K M
5) I K
6) (I K ) (L

II) Efectuar las siguientes pruebas de validez:

a) 1) A ( B A)
2) AC / B
b) 1) D E
2) D T / E
c) 1) D E
2) ( E F ) ( F D) / D F
d) 1) X Y
2) Z X
3) X / Y Z

e)

1) S R
2) S
3) Q R
4) Q T / T

f) 1) L ( M N )
2) L ( N O )
3) L / M O