Para la Tarea

Para la TareaCada uno de los siguientes argumentos es una prueba formal de validez del argumento indicado. Enunciar la justificacin de cada lnea que no sea una premisa.1) A B 2) C B / A C 3) B C 4) B C 5) A C1) (H I ) [ J ( K L ) ] 2) I / J K 3) I H 4) H I 5) J ( K L ) 6) ( J K ) L 7) J KIII) 1) ( M N ) ( O P ) 2) O / M 3) O P 4) ( O P ) 5) ( M N ) 6) M N 7) M

1) T ( U V ) 2) T [ U (W X ) 3) ( T V ) ( W X ) / W X 4) ( T U ) ( W X ) 5) ( T V ) ( W X ) 6) [ ( T U ) ( W X) ] [ (T V ) ( W X) ] 7) ( T U) (T V ) 8) ( W X ) ( W X ) 9) W X

Para cada uno de los siguientes argumentos construir una prueba de validez.1) Q [ R ( S T ) ] 2) Q ( Q R ) / Q ( S T )

1) F G 2) ( F G ) / F G

( C D) ( E F ) D C / E

( G H ) I ( G H ) / I H