Usuario:Fernando~eswikibooks/ejercicio 4




== CáLCULO DE PREDICADOS ==

editar


Problemas 2.1

editar

ejercicio 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

.