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

cálculo de predicados de primeira ordem

Classificação:Semântica
Equivalentes:
Inglês:first-order predicate calculus
Francês:calcul des prédicats du premier ordre
Termos Sinónimos:lógica de predicados
Termos Relacionados:cálculo proposicional
predicado
quantificador
termo

Definição:

Em lgica de predicados, uma proposio elementar pode ser composta por um predicado e um certo nmero de termos. Um predicado pode ter um, dois, n (finito) lugares e representado por letras maisculas. Quando um predicado se combina com uma ou mais variveis, chama-se funo proposicional e pode transformar-se numa proposio se se prefixar o nmero adequado de quantificadores. Tudo isto e os cinco conectores do clculo proposicional constitui o vocabulrio deste sistema lgico. A sua sintaxe contm um conjunto de regras e a sua semntica consiste em atribuir um valor de verdade que determinado pelos valores semnticos (representado ) em conjuno com o domnio do discurso. Assim, uma proposio verdadeira ou falsa relativamente a um modelo n .
Volume II

Fonte: LYONS (1977).


Pesquisa Dicionário:
ILTEC