Professional Documents
Culture Documents
∀𝑥: 𝑃(𝑋)
c. Traduzca la frase "hay alguien que conoce a todo el mundo" al lenguaje de cálculo de
predicados. Para hacerlo, utilice P(x, y) para expresar el hecho de que x conoce a y.
∀𝑦: 𝑃(𝑥,𝑦)
∃ 𝑥⁄∀𝑦: 𝑃(𝑥,𝑦) .