Taller LCAT 12

Andrés Felipe Chavarro Plazas

Abril 2023
 Ejercicio 1
L (x) = “x es latino”

M (x) = “x es mediterráneo”

N (x) = “x es nórdico”

Todos los latinos son mediterráneos

(∀x | L(x) : M(x))

Ningún Nórdico es mediterráneo

(¬ ∃x | N(x) : M(x))
Ningún Nórdico es latino.

(¬ ∃x | N(x) : L(x))

(∀x | L(x) : M(x)), (¬ ∃x | N(x) : M(x)) → (¬ ∃x | N(x) : L(x))

(∀x (L(x) → M(x)), (¬ ∃x (N(x) ∧ M(x)) → (¬ ∃x (N(x) ∧ L(x)) (azúcar sintáctico)

{(∀x (L(x) → M(x)), (¬ ∃x (N(x) ∧ M(x))} |- Ds (¬ ∃x (N(x) ∧ L(x)) (Mt deducción)

{(∀x (L(x) → M(x)), (¬ ¬ ∀x ¬ (N(x) ∧ M(x))} |- Ds (¬ ¬ ∀x ¬ (N(x) ∧ L(x)) (Bx5)

{(∀x (L(x) → M(x)), (∀x ¬ (N(x) ∧ M(x))} |- Ds (∀x ¬ (N(x) ∧ L(x)) (T. 4.15.6)

{(∀x (L(x) → M(x)), (∀x (¬N(x) ∨ ¬M(x))} |- Ds (∀x (¬N(x) ∨ ¬L(x)) (T. 4.15.6)

{(∀x (L(x) → M(x)), (∀x (N(x) → ¬M(x))} |- Ds (∀x (N(x) → ¬L(x)) (T. 4.28.1)

1. (∀x (L(x) → M(x )) Supposition

2. (∀x (N(x) → ¬M(x )) Supposition
3. (∀x (L(x) → M(x)) ≡ (L(x) → M(x )) (1) (Bx4, [x := x])
4. (∀x (N(x) → ¬M(x)) ≡ (N(x) → ¬M(x )) (2) (Bx4, [x := x])
5. (L(x) → M(x )) Ecuanimidad 1 y 3
6. (N(x) → ¬M(x )) Ecuanimidad 2 y 4
7. (¬M(x) → ¬L(x )) T. 4.31.1, conmutatividad
8. (N(x) → ¬L(x )) Ecuanimidad 6 y 7
9 ∀x (N(x) → ¬L(x )) Regla de generalización
|- Ds (∀x (N(x) → ¬L(x))

Ejercicio 2

P (x) = “x presenta examen”

S (x) = “x presenta supletorio”

J = juan
 Todos los que no se presenten al examen, tendrán que presentar supletorio

(∀x | ¬P(x) : S(x))

Juan no se presenta al examen

¬P(j)

Por lo tanto: Juan presenta supletorio

S(j)

(∀x | ¬P(x) : S(x)), ¬P(j), S(j)

∀x (¬P(x) → S(x)), ¬P(j), S(j) (azucar sintactictico)

{∀x (¬P(x) → S(x)), ¬P(j)} |- Ds S(j) (Mt deduction)

1. ∀x (¬P(x) → S(x)) Supposition

2. ¬P(j ) Suposición
3. ∀x (¬P(x) → S(x)) ≡ (¬P(j) → S(j )) Bx4, [x := x]
4. (¬P(j) → S(j )) Ecuanimidad entre 1 y 3
5. S(j ) (2, 4) Modus ponens

Ejercicio 3
A (x) = “x es ánade”

V(x) = “x baila el vals”

O(x) = “x es oficial”

C(x) = “x es ave de corral”

D(x, y) = “x es dueño de y”

Ningún ánade baila el vals

(¬ ∃x | A(x) : V(x))

Ningún oficial declina nunca una invitación a bailar el vals

(¬ ∃x | O(x) : ¬V(x))

Todas mis aves de corral son ánades

(∀x | C(x) ∧ D (J, x) : A(x))

Por lo tanto: Mis aves de corral no son oficiales

(∀x | C(x) ∧ D (J, x) : ¬ O(x))

(¬ ∃x | A(x) : V(x)), (¬ ∃x | O(x) : ¬V(x)), (∀x | C(x) ∧ D (J, x) : A(x)), ( ∀x |

C(x) ∧ D (J, x) : ¬ O(x))

¬ ∃x (A(x) ∧ V(x)), ¬ ∃x (O(x) ∧ ¬V(x)), ∀x (C(x) ∧ D (J, x) → A(x)),

∀x (C(x) ∧ D (J, x) → ¬ O(x)) (azúcar sintactico)

¬¬ ∀x ¬ (A(x) ∧ V(x)), ¬¬ ∀x ¬ (O(x) ∧ ¬V(x)), ∀x (C(x) ∧ D (J, x) → A(x)),

∀x (C(x) ∧ D (J, x) → ¬ O(x)) (Bx4)

∀x ¬ (A(x) ∧ V(x)), ∀x ¬ (O(x) ∧ ¬V(x)), ∀x (C(x) ∧ D (J, x) → A(x)),

∀x (C(x) ∧ D (J, x) → ¬ O(x)) (T. 4.15.6)

1. ∀x ¬ (A(x) ∧ V(x)) Suposicion
2. ∀x ¬ (O(x) ∧ ¬V(x)) Suposicion
3. ∀x (C(x) ∧ D (J, x) → A(x)) Bx4, x := x
4. ¬ (A(x) ∧ V(x)) Bx4, x := x
5. ¬ (O(x) ∧ ¬V(x)) (4) (T. 4.25.2)
6. (¬A(x) ∨ ¬V(x)) (5) (T. 4.25.2)
7. (¬O(x) ∨ ¬¬V(x)) T. 4.15.6
8. (¬O(x) ∨ V(x)) (8) (Ax5)
9. (V(x) ∨ ¬ O(x)) (6) (Ax5)
10. (¬V(x) ∨ ¬A(x)) (8, 9) R. Corte
11. (¬ O(x) ∨ ¬A(x)) (11) (Ax5)
12. (¬A(x) ∨ ¬ O(x)) Bx4, x := x
13. (C(x) ∧ D (J, x) → A(x)) (12) T. 4.28.1 ϕ = A(x) y ψ = ¬ O(x)
14. (A(x) → ¬ O(x)) (13, 14) R. Transitividad
15. (C(x) ∧ D (J, x) → ¬ O(x)) (15) R. Generalización
16. ∀x (C(x) ∧ D (J, x) → ¬ O(x))
Suposicion

Ejercicio 5
C (x, y): “x confía en y”

P (x, y): “x paga a y”

F (x, y): “x es familia de y”

∀y (∀z (¬ ∃x (C (x, y) ∧ ¬ P (y, z)))), ∀y (∀x (F (y, x) → C (y, x)))

∀y (∀z (¬ ∃x (C(x, y) ∧ ¬ P(y, z))))

∀z (¬ ∃x (C(x, y) ∧ ¬ P(y, z))) (Bx4 y MP, [z := x])

¬ ∃x (C(x, y) ∧ ¬ P(y, x)) (Bx4 y MP)

¬ ¬ ∀x ¬ (C(x, y) ∧ ¬ P(y, x)) (Bx5)

∀x ¬ (C(x, y) ∧ ¬ P(y, x)) (T 4.15.6)

∀x (¬ C(x, y) ∧ ¬ ¬ P(y, x)) (T 4.25.2)

∀x (C(x, y) → ¬ ¬ P(y, x)) (T 4.28.1)

∀x (C(x, y) → P(y, x)) (T 4.15.6)

(C(x, y) → P(y, x)) (Bx4) Lema 1

 **∀y (∀x (F(y, x) → C(y, x)))

**(∀x (F(y, x) → C(y, x)) (Bx4)

**F(y, x) → C(y, x) (Bx4) Lema 2

1. C (x, y) → P (y, x) Lema 1

2. F (y, x) → C (y, x) Lema 2
3. F (y, x) → P (y, x) Silogismo Hipotético, 1, 2
4. F (y, x) → P (y, x) ≡ ¬ P (y, x) → ¬ F (y, x) T 4.31.1)
5. ¬ P (y, x) → ¬ F (y, x) Ecuanimidad entre 3 y 4
6. ¬ P (y, x) → ¬ F (y, x) ≡ ¬¬ F (y, x) → ¬¬ P (y, x) T 4.31.1
7. ¬ ¬ F (y, x) → ¬ ¬ P (y, x) Ecuanimidad entre 5 y 6
8. ¬ ∀y ¬ F (y, x) → ¬ ¬ P (y, x) (6) R Generalización
9. ¬ ∀y ¬ F (y, x) → ¬ ∀z ¬ P (y, x) (7) R Generalización
10. (∃y F (y, x) → ∃z P (x, z)) (Bx5)
11. ∀x (∃y F (y, x) → ∃z P (x, z)) (10) R. Generalización

|- DS ∀x (∃y F(y, x) → ∃z P(x, z))

Ejercicio 4
J = Jordy (yo)

Todo el que piensa existe

(∀x | P(x) : E(x))

Yo pienso, luego existo

P(j) → E(j)

(∀x | P(x) : E(x)), P(j) → E(j)

∀x (P(x) → E(x)), P(j) → E(j) (azúcar sintáctico)

1. ∀x (P(x) → E(x)) Supposition

2. ¬P(j ) Suposición
3. ∀x (¬P(x) → S(x)) ≡ (¬P(j) → S(j )) Bx4, [x := x]
4. (¬P(j) → S(j )) Ecuanimidad entre 1 y 3
5. S(j ) (2, 4) Modus ponens

1. ∀x (H(x) → P(x)) 12 (¬P(x)) ∨ ¬G(x))

2. ∀x ¬ (G(x) ∧ P(x)) 13. (¬H(x) ∨ ¬G(x))
3. ∀x (H(x) → P(x)) ≡ (H(x) → P(x)) 14. (¬G(x) ∨ ¬H(x))
4. (H(x) → P(x)) 13. (¬G(x) ∨
5. ∀x ¬ (G(x) ∧ P(x)) ≡ ¬ (G(x) ∧ P(x)) ¬H(x)) ≡(G(x)
6. ¬ (G(x) ∧ P(x)) → ¬H(x))
7. ¬ (G(x) ∧ P(x)) ≡ (¬G(x) ∨ ¬P(x)) 15. (G(x) → ¬H(x))
8. (¬G(x) ∨ ¬P(x)) 16. ∀x (G(x) → ¬H(x)
9. (H(x) → P(x)) ≡ (¬H(x) ∨ P(x))
10. (¬H(x) ∨ P(x)) 11. (P(x) ∨ ¬H(x))