Lógica de Predicados

• Marcos era homem

  • homem(Marcos)

• Marcos nasceu em Pompéia

  • pompeano(Marcos)

• Todos que nasceram em Pompéia eram romanos

  • Vx : pompeano(x) --> romano(x)

Previous slide

Next slide

Back to first slide

View graphic version