Sentença aberta

De Professor Global

função sentencial ou função proposiocional, s. (Lógica) uma expressão bem formada contendo uma ocorrência livre de uma variável, que pode ser substituída por um nome, produzir uma senteça; por exemplo,x é sábio (wise), ou x deu y a z. Em uma formulação do Cálculo de predicados inferiores em que nomes e sentenças atômicas são primitivas, uma sentença aberta é obtida a partir de uma sentença bem formada substituindo um nome, uniformemente, por uma variável . Uma sentença aberta não tem um valor-verdade, mas uma sequência irá satisfazê-la se a substituição de suas variáveis pelos respectivos elementos da sequência produz uma sentença verdadeira; se cada uma das variáveis for limitada por um quantificador, a sentença aberta resultante também terá valor verdade.