predicados

Predicado

O Predicado em uma termo usado para a descrição de um atributo em relação a algum sujeito algo ou situação, que contem uma sentença com números finito de variáveis ,definições de predicado:
-Predicado :[gramática]: parte da sentença que fornece informação sobre o sujeito.

_ Predicado [lógica]: pode ser obtido removendo substantivos de uma proposição. Exemplo:
– P: “é um estudante na Udesc”
– Q: “é um estudante (a) nota 10”

P e Q são símbolos de predicados. que podem ser reescritos com variáveis:

– P(x): “x é um estudante na Udesc”
– Q(x; y): “x é um estudante Udesc nota 10 y”

x e y são variáveis dos predicados.
Variável se torna uma proposição quando as variáveis são substituídas por valores específicos. Os valores das variáveis de predicados são definidos por conjuntos chamados domínios. Por exemplo, R, Z*, Q.

Sintaxe de predicados.

Uma fórmula é construída pela composição de símbolos de sentenças simples (A, B, ...)e de conetivos lógicos binários (∧,∨,→ e ↔) e unários (~,‘). Também podem ser usados parênteses.
1. Fórmulas dentro de parênteses (os mais internos primeiro)
2. ~, ‘ (a negação)
3. ∧ (conjunção)
4. ∨ (disjunção)
5. → (implicação material)
6. ↔ (bi-implicação ou equivalência lógica)
7.
8.
9.
10. Variáveis

Conceitos Na lógica proposicional, a maioria dos elementos básicos são átomos. Através dos átomos se constrõem fórmulas. Então, usa-se as fórmulas para expressar várias idéias complexas. Como discutido no Capítulo 2, nesta lógica simples, um átomo representa uma sentença declarativa que pode ser V ou F, mas não ambos. Um átomo é tratado como uma entidade única. Seus atributos e componentes são desprezados. Entretanto, existem muitas idéias que não podem ser tratadas desta maneira simplista. Por exemplo, considere a seguinte declaração: Todo homem é mortal. Uma vez que Confúcio é um homem, ele é mortal. O raciocínio acima é intuitivamente correto, porém se for aplicada a