César era um soberano

• César era um soberano

  • soberano(César)

• Todos os romanos eram leais a César ou então odiavam-no

  • Vx : romano(x) --> leal-a(x,César) V odeia(x, César)
  • Vx : romano(x) --> [(leal-a(x,César) V odeia(x, César)) ^ -- (leal-a(x,César) ^ (odeia(x,César))]

Previous slide

Next slide

Back to first slide

View graphic version