Usuario:Turok/ejercicio 14

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))