Lógica

TAREA
I. Formalice las siguientes proposiciones usando la LOGICA CUANTIFICACIONAL
Si muere su mascota, entonces está triste y llora.
(∀x) (Tx ˄ Lx) → Mx
Los caballeros son siempreatentos.
(∀x) (Cx → Ax)
Las picaduras de víbora algunas veces son mortales.
∃x (Px ˄ Mx)
No se dijo nada importante.
(∀x) (~ Dx )
No todos los candidatos obtuvieron votos.
~ (∀x) (Cx →Vx)
Hay muchos políticos honestos.
∃x (Px ˄ Hx)
Ningún carpintero es idealista
(∀x) (Cx → ~ Ix)
Algunos religiosos no son políticos
∃x (Rx ˄ ~ Px)Ningún no-ateo es fielcreyente
(∀x) ( ~Ax → ~ Fx)
Algunos no-materialistas no son no-políticos
∃x~ (Mx ˄ ~ Px)II. Complete la demostración de validez de los siguientes argumentos formalizados, siguiendo lasecuencia planteada. En los ejercicios, escriba en los espacios en blanco el proceso realizado o el esquema resultante.
PRUEBA DIRECTA:
P1) (∀x) [( Ux ˄ Tx) → Px]
P2) (∀x) ( Ix → Ux)
P3) (∃x) [(Ix ˄ ~ Px)] //:. ∃x (Ux ˄ ~ Tx)
4. ( Ux ˄ Tx) → Px ____EU de 1___________
5. Ix → Ux ____________EU de 2___________
6. Ix ˄ ~ Px __________EE de 3___________
7. Ix_________________de 6 simplificación______
8. Ux _____________de 7 y 5 MP___________________
9. ~ Px _______________ 6 y 7 simplificación_________
10. ~ ( Ux ˄ Tx) _______6y 9MT_______________
11. ~ Ux v ~ Tx ________de 10 morgan____
12. ~ Tx ____SD 11, 8______
13. Ux ˄ ~ Tx ________8 y 12 conjunción_________
14. (∃x) (Ux ˄ ~ Tx) ______de 13IE_______________
PRUEBA CONDICIONAL:
P1) (∀x) [( Fx v Cx) → Gx]
P2) (∀x) (Jx → Fx) //:. (∀x) (Jx → Gx)
3. Jx ___premisa adicional___________
4. ( Fx v Cx) → Gx]____de 1 EU____________
5. Jx → Fx ____de 2 EU_______________
6. Fx _________de 3 y 5 MP__________
7. Fx v Cx __SH 4, 7_____________________
8. Gx...