Lógicas Clássicas

EXEMPLO 2

?x ?y ((? z (P(x,z) ^ P(y,z)) ? ? u Q(x,y,u)) =

• ?x ?y (? (? z (P(x,z) ^ P(y,z))) v ? u Q(x,y,u)) =
• ?x ?y (?z (? P(x,z) v ? P(y,z))) v ? u Q(x,y,u)) =
• ?x ?y ?z? u (? P(x,z) v ? P(y,z) v Q(x,y,u))

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico