Pontificia Universidad Católica del Perú

Estudios Generales Letras

Curso: Lógica Horario: 202

Docente: Sandro D’nofrio

Jefes de Prácticas: Marlon Rivas, Karl Palomino, Sebastián Bouroncle

Parte I

Realice el diagrama semántico de las siguientes fórmulas bien formadas y muestre si

son o no son tautologías.

1. ∀x(Fx → Gx) → ∀x(~Gx → Fx)

2. ∀x(Px → Fx) → (Pa → Fa)
3. ∀x(Px) ∨ ∀x(Qx) .→. ∀x(Px ∨ Qx)
4. ∀x(Px → Qx) ∧ (Pa ∧ Pb) .→. (Qa ∧ Qb)
5. ∀x(Fx → Gx) ∧ Fa .→. ∃x(Fx ∧ Gx)
6. ∀y[∃x(~Fx ∧ Gy)] .∨. ~∀z(Fz ∨ Gz)
7. ∀x(Fx ↔ Gx) ∧ Ha ∧ Hb .→. Ga ∨ Gb
8. ~[∃x(Fx) ∧ ∃x(Gx)] .∨. ∃x(Fx ∧ Gx)
9. ∀x((Fx → Gx) ∧ ~~Fa) ∧ Fa .→. ~∃x(Fx ∧ Gx)
10. ∃x(~Cx ∧ Mx) ∧ ∀x(Mx → Px) .↔. ~∀x(~Cx ∧ Px)
11. ∃x(Fx ∧ Gx) ∧ ∀x(Gx → ~Hx) .∧. ∀x(Fx → Hx)
Parte II

A continuación presentamos las siguiente fórmulas bien formada cerrada en lógica

cuantificacional:

∀x((Fx∨Qx)→Cx)∧∼Ca.→.∼Fa∧∼Qa

[∃x(Fx ∨ Gx) ∨ Ga] ∧ ∀x(Gx ↔ Hx) .∨. ~Fb

Fa ∧ Ga ∧ ~∃x(Fx ∧ Hx) ∧ ∃x(Gx ∧ Hx) .→. Hb ∧ Gb ∧ ~Fb

Construya:

i) Un texto en lenguaje natural por cada fbf cerrada presentada

ii) ii) Léxico.

Por último, a través de los diagramas semánticos evalúe si la fbfs presentadas son
tautologías.