Usuario:Turok/ejercicio 10

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

Sea el conjunto U de las personas. Sean los predicados P(x): x habita en el primer mundo, Q(x): x tiene una renta mensual superior a 500 dólares, R(x): x está sin alfabetizar.

Escribir en lenguaje formal los siguientes predicados.

A)Para cada persona se verifca que si habita en el primer mundo entonces su renta mensual es superior a 500 dólares

B)hay personas en el primer mundo cuya renta es superior a 500 dólares y sin alfabetizar

C)Toda persona del primer mundo está alfabetizada.

SOLUCION

a) ∀x (P(x) → Q(x))

b)Эx (P(x) ^ Q(x) ^ R(x))

c) ∀x (P(x)→ ¬R(X))