Lógicas Clássicas
Resolução
EXEMPLO:
10. ? Romano(Marco) v LealA(Marco,Cesar) (SUBST(Marco,x2) em 5 e 9)
11. ? Pompeiano(Marco) v LealA(Marco,Cesar) (SUBST(Marco,x1 em 3 e 10)
12. LealA(Marco,Cesar) (2 e 11)
13. ? Homem(Marco) v ? Soberano(Cesar) v ?TentarAssassinar(Marco,Cesar)
(SUBST(Marco,x4) e SUBST(Cesar,y1) em 7 e 12)
14. ? Soberano(Cesar) v ?TentarAssassinar(Marco,Cesar) (1 e 13)
15. ?TentarAssassinar(Marco,Cesar) (4 e 14)
16. VAZIA (8 e 15)