Todo mundo é leal a alguém

• Todo mundo é leal a alguém

  • Vx y : leal-a(x,y)

• As pessoas só tentam assassinar soberanos aos quais não são leais

  • Vx : V y : pessoa(x) ^ soberano(y) ^ tenta-assassinar(x,y) --> -- leal-a(x,y)

• Marcos tentou assassinar César

  • tenta-assassinar(Marcos, César) 

Previous slide

Next slide

Back to first slide

View graphic version