Question

A través de las dos formas básicas de uso de las Tablas de Verdad y del uso de las Leyes de Inferencia demostrar la validez o no validez del argumento dado:

-. En la Universidad Nacional Abierta y a Distancia – UNAD, se posee una metodología educativa que realmente forma profesionales competentes, a través del “Aprendizaje Autónomo”, para lo cual se debe ser muy disciplinado con los hábitos de estudio adquiridos para cumplir con las actividades académicas. Milena se ha esforzado por mantener un sólido hábito de estudio, pero hay momentos en que sus deberes son tantos,que no logra cumplir a cabalidad con las actividades del periodo académico y se le presenta la siguiente situación: “Si el Director de Curso de Pensamiento Lógico y Matemático activa la etiqueta del Examen Nacional, entonces desarrollaré las demostraciones con las Leyes de Inferencia. Si el Director de Curso no activa la etiqueta del Examen Nacional, haré el trabajo final de Química General. Y si aprovecho y hago el trabajo final de Química General, me pondré al día con las notas pendientes. Por lo tanto, si no desarrollo las demostraciones con las Leyes de Inferencia, me pondré al día con las notas pendientes de Química General”.

Answer 1

p= el Director de Curso de Pensamiento Lógico y Matemático activa la etiqueta del Examen Nacional

q= desarrollaré las demostraciones con las Leyes de Inferencia

r= haré el trabajo final de Química General

s= me pondré al día con las notas pendientes

 [(p →q)^(~p →r)^(r →s)] → (~q →s)

DEMOSTRACION

PREMISA 1           p →q

PREMISA 2        ~p →r

PREMISA 3          r →s

PREMISA 4        ~q  (P)

PREMISA 5      ~p    (TT) 1,4

PREMISA 6        r    ( PP)  2,5

PREMISA 7        s     ( PP) 3,6

CONCLUSION    ~q →s   (CP) 4,7