Usuario:Fernando~eswikibooks/ejercicio 4
== CáLCULO DE PREDICADOS ==
editar
Problemas 2.1
editarejercicio 4
Suponga que el universo del discurso en un conjunto de personas. Traduzca la frase "Todos los presente hablan inglés o francés" al calculo de predicados.
∀x(x habla inglés o francés)
i(x) = x habla inglés
f(x) = x habla francés
∀x {i(x) ∨ f(x)}
editar.