Dicionário de Termos Linguísticos

Em lógica de predicados, uma proposição elementar pode ser composta por um predicado e um certo número de termos. Um predicado pode ter um, dois, n (finito) lugares e é representado por letras maiúsculas. Quando um predicado se combina com uma ou mais variáveis, chama-se função proposicional e pode transformar-se numa proposição se se prefixar o número adequado de quantificadores. Tudo isto e os cinco conectores do cálculo proposicional constitui o vocabulário deste sistema lógico. A sua sintaxe contém um conjunto de regras e a sua semântica consiste em atribuir um valor de verdade que é determinado pelos valores semânticos (representado [[α]] ) em conjunção com o domínio do discurso. Assim, uma proposição é verdadeira ou falsa relativamente a um modelo n .