Usuario:Juansbotero/ejercicio 7
7. GENERAR UN MODELO PARA (P(x) → Q(y)) ^ (￢Q(y) ^ P(y))
SOLUCION
Asignar x=a, y=b, P(a)=F, P(b)=V, Q(a)=V, Q(b)=F
Quedando así:
(F → F) ^ (V ^ V)
V ^ V
V
7. GENERAR UN MODELO PARA (P(x) → Q(y)) ^ (￢Q(y) ^ P(y))
SOLUCION
Asignar x=a, y=b, P(a)=F, P(b)=V, Q(a)=V, Q(b)=F
Quedando así:
(F → F) ^ (V ^ V)
V ^ V
V