Usuario:Alvaro Otero/ejercicio 17

     Formalizar el siguiente enunciado

     ALGUNOS VAMPIROS SON HEMOFÍLICOS

     SOLUCION

     ∃x(P(x) ^ Q(x))

Mediante esta formalización, lo que se quiere decir es que si, el universo de los vampiros está formado por cuatro elementos: {a, b, c, d }, entonces, 'a' es un vampiro y es hemofílico, o bien lo es 'b', o 'c' o lo es 'd'; o lo que es lo mismo, estamos presentando la siguiente disyunción (Pa ^ Qa) V (Pb ^ Qb) V (Pc ^ Qc) V (Pd ^ Qd)