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

lógica de predicados

Classificação:Semântica
Equivalentes:
Inglês:predicate logic
Francês:logique des predicats
Termos Sinónimos:cálculo de predicados de primeira ordem

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