Anda di halaman 1dari 1

ACTIVIDAD 5

a. Exprese "todo el mundo tiene suerte de vez en cuando" en cálculo de predicados.

𝑥 = 𝑡𝑖𝑒𝑛𝑒 𝑠𝑢𝑒𝑟𝑡𝑒 𝑑𝑒 𝑣𝑒𝑧 𝑒𝑛 𝑐𝑢𝑎𝑛𝑑𝑜

∀𝑥: 𝑃(𝑋)

b. Exprese "todos los perros tienen cola" en cálculo de predicados.

𝑥 𝑒𝑠 𝑢𝑛 𝑝𝑒𝑟𝑟𝑜, 𝑥 𝑡𝑖𝑒𝑛𝑒 𝑐𝑜𝑙𝑎

∀𝑥: (𝑝𝑒𝑟𝑟𝑜(𝑥) ⇒ 𝑡𝑖𝑒𝑛𝑒𝑛 𝑐𝑜𝑙𝑎(𝑥))

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.

𝑥 𝑐𝑜𝑛𝑜𝑐𝑒 𝑎 𝑡𝑜𝑑𝑜 𝑒𝑙 𝑚𝑢𝑛𝑑𝑜

∃ 𝑥⁄𝑥 𝑐𝑜𝑛𝑜𝑐𝑒 𝑎 𝑡𝑜𝑑𝑜 𝑒𝑙 𝑚𝑢𝑛𝑑𝑜.

∀𝑦: 𝑃(𝑥,𝑦)

∃ 𝑥⁄∀𝑦: 𝑃(𝑥,𝑦) .