El documento presenta tres afirmaciones y sus correspondientes expresiones lógicas. La primera afirmación es "todo el mundo tiene suerte de vez en cuando" y su expresión lógica es ∀x: p(x). La segunda afirmación es "todos los perros tienen cola" y su expresión lógica es ∀x: (perro(x) ⇒ tiene cola(x)). La tercera afirmación es "hay alguien que conoce a todo el mundo" y su expresión lógica es ∃x |∀y : P(x,y).