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
• Introdução Computacional à Lógica Matemática

Links externos

• Assinatura (lógica)