PRUEBA FORMAL DE VALIDEZ

PRUEBA FORMAL DE VALIDEZA 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)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: Lo primero es aceptar que las premisas son verdaderas.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.Luego combinando la premisa 3 y la nueva premisa 4 se conforma el Modus Ponendo, para concluir 5, que nos lleva a la conclusin qHecho esto se completa la prueba de validez. 2II) 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 sRelacionando 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.1) s r 2) r 3) s t 4) t p / p 5) s 6) t 7) p1) A B e) 1) I J 2) (A C ) D / A D 2) I ( K J ) 3) A 3) L K 4) A C 4) (J I ) / L J 5) D 5) I (J I) 6) A D 6) I 7) K J1) ( E F ) ( G H ) 8) K 2) ( EG ) ( F H ) 9) L 3) G / H 10) L J 4) E F 5) G H 6) H

1) Q R f) 1) I J 2) S ( T U ) 2) J K 3) S (Q T) 3) L M 4) S / R U 4) I L / K M 5) T U 5) I K 6) ( Q R) ( T U ) 6) (I K ) (L M) 7) Q T 7) K M 8) R UII) 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

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