a) Algunos estudiantes estudian francés en la primavera de 2001.

¬∀𝑥 𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 → 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝐹𝑟𝑎𝑛𝑐𝑒𝑠(𝑥)

b) Cada estudiante que estudia francés lo aprueba.

∀𝑥 𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠(𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝐹𝑟𝑎𝑛𝑐𝑒𝑠) → 𝑎𝑝𝑟𝑢𝑒𝑏𝑎(𝑥)

c) Sólo un estudiante estudia griego en la primavera de 2001.

∃𝑥 𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒 ∧ 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝐺𝑟𝑖𝑒𝑔𝑜(𝑥, 𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒)

d) La mejor puntuación en griego siempre es mayor que la mejor puntuación en francés.

𝐸𝑠𝑀𝑎𝑦𝑜𝑟(𝑝𝑢𝑛𝑡𝑢𝑎𝑐𝑖𝑜𝑛(𝐺𝑟𝑖𝑒𝑔𝑜)) → 𝑝𝑢𝑛𝑡𝑢𝑎𝑐𝑖𝑜𝑛(𝐹𝑟𝑎𝑛𝑐𝑒𝑠)

e) Todas las personas que compran una póliza son inteligentes.

∀𝑥 𝑐𝑜𝑚𝑝𝑟𝑎𝑛𝑃𝑜𝑙𝑖𝑧𝑎(𝑝𝑒𝑟𝑠𝑜𝑛𝑎𝑠(𝑥)) = 𝑒𝑠_𝑖𝑛𝑡𝑒𝑙𝑖𝑔𝑒𝑛𝑡𝑒(𝑥)

f) Nadie compra una póliza cara.

¬∀𝑥 ∃𝑦 𝑐𝑜𝑚𝑝𝑟𝑎_𝑝𝑜𝑙𝑖𝑧𝑎_𝑐𝑎𝑟𝑎(𝑥, 𝑦))

g) Hay un agente que vende pólizas sólo a la gente que no está asegurada.

∃𝑥 𝑎𝑔𝑒𝑛𝑡𝑒(𝑥) ∧ 𝑣𝑒𝑛𝑑𝑒_𝑝𝑜𝑙𝑖𝑧𝑎𝑠(𝑥, 𝑔𝑒𝑛𝑡𝑒_𝑛𝑜_𝑎𝑠𝑒𝑔𝑢𝑟𝑎𝑑𝑎)

h) Hay un barbero que afeita a todos los hombres de la ciudad que no se afeitan ellos mismos.

∀𝑦 [∃𝑥 𝑏𝑎𝑟𝑏𝑒𝑟𝑜(𝑥)] ∧ 𝑎𝑓𝑒𝑖𝑡𝑎_ℎ𝑜𝑚𝑏𝑟𝑒𝑠_𝑞𝑢𝑒_𝑛𝑜_𝑠𝑒_𝑎𝑓𝑒𝑖𝑡𝑎𝑛_𝑒𝑙𝑙𝑜𝑠_𝑚𝑖𝑠𝑚𝑜𝑠(𝑥, 𝑦)

i) Una persona nacida en Reino Unido, cuyos padres sean ciudadanos de Reino Unido o residentes en
Reino Unido, es un ciudadano de Reino Unido.

∃𝑦 ∃𝑥 𝑝𝑒𝑟𝑠𝑜𝑛𝑎(𝑛𝑎𝑐𝑖𝑑𝑜[𝑈𝐾] ∧ 𝑐𝑖𝑢𝑑𝑎𝑑𝑎𝑛𝑜[𝑈𝐾])
= 𝑟𝑒𝑠𝑖𝑑𝑒𝑛𝑡𝑒_𝑈𝐾(𝑝𝑎𝑑𝑟𝑒𝑠[𝑦]) ∨ 𝑐𝑖𝑢𝑑𝑎𝑑𝑎𝑛𝑜_𝑈𝐾[𝑝𝑎𝑑𝑟𝑒𝑠[𝑦]]
j) Una persona nacida fuera de Reino Unido, que tenga uno de los padres ciudadano de Reino Unido o
residente en Reino Unido, es ciudadano de Reino Unido por ascendencia

∃𝑦 ∃𝑥 𝑝𝑒𝑟𝑠𝑜𝑛𝑎(𝑛𝑎𝑐𝑖𝑑𝑜_𝑓𝑢𝑒𝑟𝑎[𝑈𝐾] ∧ 𝑐𝑖𝑢𝑑𝑎𝑑𝑎𝑛𝑜_𝑝𝑜𝑟_𝑎𝑠𝑐𝑒𝑛𝑑𝑒𝑛𝑐𝑖𝑎[𝑈𝐾])
= 𝑟𝑒𝑠𝑖𝑑𝑒𝑛𝑡𝑒_𝑈𝐾(𝑝𝑎𝑑𝑟𝑒[𝑦]) ∨ 𝑐𝑖𝑢𝑑𝑎𝑑𝑎𝑛𝑜_𝑈𝐾[𝑝𝑎𝑑𝑟𝑒𝑠[𝑦]]

k) Los políticos pueden mentir a algunos todo el tiempo, y pueden mentir a todos algún tiempo, pero no
pueden mentir a todos todo el tiempo.

∀𝑥 ¬𝑚𝑒𝑛𝑡𝑖𝑟_𝑠𝑖𝑒𝑚𝑝𝑟𝑒(𝑝𝑜𝑙𝑖𝑡𝑖𝑐𝑜𝑠[𝑥])
→ 𝑚𝑒𝑛𝑡𝑖𝑟_𝑎𝑡𝑜𝑑𝑜𝑠(𝑝𝑜𝑙𝑖𝑡𝑖𝑐𝑜𝑠[𝑥]) ∨ 𝑚𝑒𝑛𝑡𝑖𝑟_𝑎𝑙𝑔𝑢𝑛𝑜𝑠(𝑝𝑜𝑙𝑖𝑡𝑖𝑐𝑜𝑠[𝑥])

1. Represente la sentencia «Todos los alemanes hablan los mismos idiomas» en cálculo de predicados.
Utilice Habla(x, l) para indicar que una persona x habla el idioma l.

𝑙(𝑖𝑑𝑖𝑜𝑚𝑎1 , 𝑖𝑑𝑖𝑜𝑚𝑎2 , … , 𝑖𝑑𝑖𝑜𝑚𝑎𝑛 ) → ∀𝑥 𝐻𝑎𝑏𝑙𝑎(𝑎𝑙𝑒𝑚𝑎𝑛[𝑥], 𝑙)

Hernández Pérez Esteban 9CV11 Ejercicios Lógica Primer Orden

2. ¿Qué axioma se necesita para inferir el hecho Femenino(Laura) dados los hechos Masculino(Jim) y
Esposo(Jim, Laura)?

∃𝑥 𝐸𝑠𝑝𝑜𝑠𝑜(𝐽𝑖𝑚, 𝐿𝑎𝑢𝑟𝑎) ↔ ¬𝑀𝑎𝑠𝑐𝑢𝑙𝑖𝑛𝑜(𝐿𝑎𝑢𝑟𝑎)

Hernández Pérez Esteban 9CV11 Ejercicios Lógica Primer Orden