Lógica de predicados

Leituras

• Notas de aula.
• Do livro texto:
  • Predicados e quantificadores: capítulo 1.3
  • Quantificadores aninhados: capítulo 1.4

Terminologia

A lógica de predicados é também conhecida como lógica de primeira ordem.