Pesquisa avançada
O Portal da Língua Portuguesa é um repositório organizado de recursos linguísticos. Pretende ser orientado tanto para o público em geral como para a comunidade científica, servindo de apoio a quem trabalha com a língua portuguesa e a todos os que têm interesse ou dúvidas sobre o seu funcionamento. Todo o conteúdo do Portal é de livre acesso e está em constante desenvolvimento.  ler mais

Dicionário de Termos Linguísticos

voltar ao índice

função

Classificação:Semântica
Equivalentes:
Inglês:function|FR
Termos Relacionados:relação

Definição:

Em termos de teoria dos conjuntos, uma função é um tipo especial de relação. Uma relação R de A para B é uma função se e só se a cada elemento no domínio corresponde um só elemento na imagem e o domínio de R é igual a A. Escreve-se Y=F(X) em vez de XFY. Os elementos no domínio de uma função chamam-se, por vezes, argumentos e os seus correspondentes na imagem, valores. Em lógica intensional, "(λx) A" denota uma função que representa objectos do tipo sobre os quais X "percorre" em objectos do tipo de A. Exemplo: [ (λx) (X é careca)] (Aristóteles) = (Aristóteles é careca).
Volume II


Pesquisa Dicionário:
ILTEC