Usuario:Turok/ejercicio 14

De Wikilibros, la colección de libros de texto de contenido libre.

sea P(x): x es un profesor; Q(x): x es ignorante ; R(x): x es un vago si el universo del discurso son todas las personas, expresa lo siguiente usando conectivos y cuantificadores logicos.

a) ninguno de los prefesores son ignorantes

b) toda la gente ignorante son vagas

c) ninguno de los profesores son vagos

solucion

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

b) ∀x(Q(x) → R(x))

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