Assinatura de primeira ordem

• Caso homogêneo (um único gênero de objetos)

  [VIDEO]

• 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

Links externos

• Assinatura (lógica)