Assinatura de primeira ordem

• Caso homogêneo (um único gênero de indivíduos)

• Caso heterogêneo (ou multi-gênero)

  [AGUARDE!]

Veja também

• Termos de primeira ordem
• Fórmulas de primeira ordem
• Sintaxe da Lógica de Primeira Ordem
• Semântica formal para a Lógica de Primeira Ordem Clássica

Links externos

• Assinatura (lógica)