Usuario:Juansbotero/ejercicio 4

4. SEA UN UNIVERSO DE DISCURSO QUE CONSTA DE TRES PERSONAS, JUAN, MARIA Y JUANA. LOS TRES SON ALUMNOS, Y NINGUNO DE ELLOS ES RICO. JUAN ES VARON, MIENTRAS MARIA Y JUANA SON HEMBRAS. S, F, M Y R DENOTAN RESPECTIVAMENTE LAS PROPIEDADES ALUMNO; HEMBRA; VARON Y RICO

a) Presentar la asignación de los predicados S, F, M y R

b) Calcular ∀xS(x), ∀xF(x) v ∀xM(x), ∀x(F(x) v M(x)), ∃xR(x) y ∃x(F(x) →R(x))

SOLUCION

a)

S(x) F(x) M(x) R(x)

Juan V F V F

Maria V V F F

Juana V V F F

b) - ∀xS(x)

S(x)

Juan V

Maria V

Juana V

- ∀xF(x) v ∀xM(x)

F(x)

Juan F

Maria V

Juana V

M(x)

Juan V

Maria F

Juana F

Q(x,y) Juan Maria Juana

Juan V F F

Q(x,y) Juan Maria Juana

Maria V V V

Q(x,y) Juan Maria Juana

Juana V V V

- ∀x(F(x) v M(x))

F(x) M(x) F(x) v M(x)

Juan F V V

Maria V F V

Juana V F V

- ∃xR(x)

R(x)

Juan F

R(x)

Maria F

R(x)

Juana F

- ∃x(F(x) →R(x))

F(x) R(x) F(x) →R(x)

Juan F F V

F(x) R(x) F(x) →R(x)

Maria V F F

F(x) R(x) F(x) →R(x)

Juana V F F