LOGICA / SOLUCIÓN DE PROBLEMAS

SEGUNDO PARCIAL - INFERENCIA

I.                   Dadas como supuestas el conjunto de premisas, demuestre las proposiciones en cada caso:

A.    Demostrar: P → (~Q → R)

1)      S ˄ (~P ˅ M)

2)      M → (Q ˅ R)

B.     Demostrar: (P ˄ Q) → (S ˄ T)

1)      R ˅ S

2)      ~T → ~P

3)      R → ~Q

C.     Demostrar ~( V ˄ R)

1)      V → T

2)      T → S

3)      R → ~S

4)      V ˄ R

D.    Demostrar 2x = 12 → y = 4

1)      2x + 3y = 24

2)      (x =6 → y = 4)  ˅  2x = 12

3)      (2x = 12 → x =6) ˅ 2x + 3y ≠ 24

4)      x ≠6

II.                Dar una demostración o deducción completa para el siguiente razonamiento para probar su validez:

La lógica es difícil, o no le gusta a muchos estudiantes. Si Matemáticas es fácil, Lógica no es difícil. Por tanto, si a muchos estudiantes les gusta Lógica, la Matemática no es fácil.

______________________________________________________________________________

Para ser entregado en pareja, el día lunes 19 de septiembre a primera hora de clases, en hojas blancas (recicladas o no), u hojas examen, debidamente presentado.