Escolar Documentos
Profissional Documentos
Cultura Documentos
Lógica de Predicados
Predicados
Estudamos até agora a lógica proposicional
Predicados
Estudamos até agora a lógica proposicional
A lógica proposicional têm possibilidade
limitada de expressão.
Predicados
Estudamos até agora a lógica proposicional
A lógica proposicional têm possibilidade
limitada de expressão.
Exemplo: Devemos
usar a
“Todo computador conectado à rede da lógica de
predicados
universidade está funcionando para
adequadamente” expressar
adequada
mente
Lógica de Predicados
Expressa adequadamente o significado das
proposições em matemática e em linguagem
natural.
Exemplo:
“Existe um computador na rede da
universidade que está sob o ataque de um
hacker.”
Predicados
A frase “ x>0 ” descreve uma propriedade da
váriavel x.
Predicados
A frase “ x>0 ” descreve uma propriedade da
váriavel x.
Propriedade: x é positivo.
Predicados
A frase “ x>0 ” descreve uma propriedade da
váriavel x.
Propriedade: x é positivo.
Uma propriedade também é denominada um
predicado.
Predicados
A frase “ x>0 ” descreve uma propriedade da
váriavel x.
Propriedade: x é positivo.
Note que essa declaração não é Verdadeira
nem Falsa quando o valor da variável não é
especificado.
Predicados
A frase “ x>0 ” descreve uma propriedade da
váriavel x.
Propriedade: x é positivo.
A notação P(x) é usada para representar
alguma propriedade, ou predicado, não
explicitada que a variável x possa ter.
Predicados
X > 3
Predicado P
Exemplo:
P(x) = “x > 3”
P(4) é Verdadeiro
P(2) é Falso
Predicados
Podemos ter predicados com mais de uma
variável.
Q(x,y) = “x = y + 3”
Q(1,2) é Falso
Q(3,0) é Verdadeiro
Predicados
Predicados ocorrem em programas
Exemplo:
P(x) = “x + 1 > 8”
Domínio: conjunto dos números naturais
Conjunto Verdade: { x | x pertence a N ^ x + 1 > 8}
{8, 9, 10, ....}
Exercícios
Determinar o conjunto verdade em N dos
predicados.
P(x) = “2x = 6”
P(x) = “x – 1 < 4”
P(x) = “5x + 6 = 0”
Exercícios
Determinar o conjunto verdade em N dos
predicados.
P(x) = “2x = 6” CV={3}
P(x) = “x – 1 < 4”
P(x) = “5x + 6 = 0”
Exercícios
Determinar o conjunto verdade em N dos
predicados.
P(x) = “2x = 6” CV={3}
P(x) = “x – 1 < 4” CV={0,1,2,3,4}
P(x) = “5x + 6 = 0”
Exercícios
Determinar o conjunto verdade em N dos
predicados.
P(x) = “2x = 6” CV={3}
P(x) = “x – 1 < 4” CV={0,1,2,3,4}
P(x) = “5x + 6 = 0” CV={ }
Operações Lógicas Sobre
Predicados
As operações lógicas que usamos para
proposições estendem se a predicados.
M(x) = “x é médico”
P(x) = “x é professor”
P(x) = “x>2”
Q(x) = “x<8”
CV = ??? em N
Operações Lógicas sobre
Predicados
Conjunção
P(x) = “x > 2”
Q(x) = “x < 8”
CV = {3,4,5,6,7}
Operações Lógicas sobre
Predicados
Disjunção
P(x) = “x < 2”
Q(x) = “x > 8”
CV em N ??? 0? 1? 2? 5?
Operações Lógicas sobre
Predicados
Negação
O conjunto verdade
P(x) = “x é par”
de um é o
~P(x) = ??? complemento do
conjunto verdade
do outro.
Operações Lógicas sobre
Predicados
Negação
O conjunto verdade
P(x) = “x é par”
de um é o
~P(x) = “x é impar” complemento do
conjunto verdade
do outro.
Operações Lógicas sobre
Predicados
Negação
O conjunto verdade
P(x) = “x é par”
de um é o
~P(x) =“x é impar” complemento do
conjunto verdade
Q(x) = “x < y” do outro.
~Q(x) = ???
Operações Lógicas sobre
Predicados
Negação
O conjunto verdade
P(x) = “x é par”
de um é o
~P(x) = “x é impar” complemento do
conjunto verdade
Q(x) = “x < y” do outro.
~Q(x) = “x y”
Operações Lógicas sobre
Predicados
Condicional
Temos:
P(x) = “x2 – 5x + 6 = 0”
Q(x) = “x2 – 9 = 0”