Fórmulas de primeira ordem

• Caso homogêneo

• Caso heterogêneo

  [AGUARDE!]

Para reflexão

• Como tirar proveito da estrutura interna das fórmulas atômicas?

Veja também

• Assinatura de primeira ordem
• Introdução Computacional à Lógica Matemática