La unidad 2 resume 3 expresiones lógicas: 1) Todo el mundo tiene suerte de vez en cuando, expresado como ∀x: P(x). 2) Todos los perros tienen cola, expresado como ∀x: (perro(x) → tiene cola(x)). 3) Hay alguien que conoce a todo el mundo, expresado como ∃x | ∀y: P(x,y).

1. Introducción a la Informática Ramirez, Carlos
Unidad2 - Resoluciónde laActividad5:
a- FijamosPde forma que sea “tiene suerte de vezencuando”. Así P(x) significaque x tiene
suerte de vezencuando.La primeraparte “todoel mundo”revelaque todoesciertopara
todoslosx. Porlo tantola expresiónquedaasí:  x : P(x)
b- Si fijamosx esun perro,porlo tantox tiene cola.
La expresiónes x : (perro(x)  tiene cola(x))
c- Traduciendola frase queda x |x conoce a todo el mundo.
X conoce a todo el mundo  y : P(x,y)
x |  y : P(x,y)
-------------0000000000000------------