Lógica aplicada à
Computação
Unidade V: A Sintaxe da lógica de primeira ordem
Agenda
• Introdução
• Linguagem da Lógica de Primeira Ordem
• Enunciados Categóricos
• Regras de Inferência
Introdução
• Nos capítulos anteriores estudamos uma parte da
Lógica chamada Lógica das Proposições, ou
Cálculo Proposicional, na qual aprendemos
técnicas que nos permitiram verificar se um
determinado tipo de argumento é válido ou
inválido.
• Nos argumentos estudados, os enunciados
simples eram combinados através dos conectivos,
formando enunciados compostos, e a validade
desses argumentos dependia, essencialmente, da
forma pela qual os enunciados compostos se
apresentavam.
Introdução
• Na lógica proposicional, a maioria dos
elementos básicos são átomos.
• Através dos átomos se constrõem fórmulas.
• Usa-se as fórmulas para expressar várias idéias
complexas.
• 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.
Introdução
• Existem muitas idéias que não podem ser
tratadas desta maneira simplista vista na LP,
ou seja, a linguagem da lógica proposcional
não é adequada para representar relações
entre objetos.
Introdução
• Exemplo1:
• Todo homem é mortal. Uma vez que Confúcio é
um homem, ele é mortal .
• O raciocínio acima é intuitivamente correto,
porém se for aplicada a seguinte
representação:
P: Todo homem é mortal,
Q: Confúcio é um homem,
R: Confúcio é mortal,
Introdução
• Exemplo1:
• O raciocínio acima é intuitivamente correto, porém se for
aplicada a seguinte representação:
P: Todo homem é mortal,
Q: Confúcio é um homem,
R: Confúcio é mortal,
{P, Q} |≠ R
• R não é conseqüência lógica de P e Q dentro do contexto
da lógica proposicional , os atributos de P, Q e R não são
utilizados na lógica Proposicional.
• os atributos (predicados ou características) de P, Q e R não são
considerados
Introdução
• Exemplo2: considere o uso da LP para
representar:
João é pai de Maria e José é pai de João
• Usaríamos duas letras sentenciais diferentes
para expressar ideias semelhantes:
• P para simbolizar "João é pai de Maria “
• Q para simbolizar "José é pai de João”
Introdução
• Exemplo2: considere o usoda LP para
representar:
João é pai de Maria e José é pai de João
• O problema consiste em que não estaríamos
captando com esta representação o fato de
que as duas frases falam sobre a mesma
relação de parentesco entre João e Maria e
entre José e João .
Introdução
• Exemplo3: representar em linguagem
proposicional "Qualquer objeto é igual a si
mesmo " e "3 é igual a 3”.
• Novamente usaríamos letras sentenciais
distintas para representar cada uma das frases,
sem captar que a segunda frase é uma
instância particular da primeira:
• P para simbolizar ”Qualquer objeto é igual a si “
• Q para simbolizar ”3 é igual a 3”
Introdução
• Então:
• Se por algum processo de dedução chegássemos à
conclusão que um indivíduo arbitrário de um
universo tem uma certa propriedade, seria razoável
querermos concluir que esta propriedade vale para
qualquer indivíduo do universo.
• Porém, a linguagem proposicional para expressar
"um indivíduo arbitrário de um universo tem uma
certa propriedade " e "esta propriedade vale para
qualquer indivíduo do universo" usaríamos dois
símbolos proposicionais distintos e não teríamos
como concluir o segundo do primeiro.
Introdução
Lógica de predicados
• A lógica de primeira ordem (LPO), conhecida
também como cálculo de predicados de
primeira ordem (CPPO) ou lógica de
predicados, é um sistema lógico que estende a
lógica proposicional (lógica sentencial) .
Lógica de predicados
• As sentenças atômicas da lógica de primeira ordem têm o
formato P (t1,…, tn) (um predicado com um ou mais
"argumentos") ao invés de serem símbolos sentenciais
sem estruturas.
• Exemplo 1: Suponha que se deseja representar:
"x é maior que 3".
• Predicado (relação possível) seria:
MAIOR(x,y) .
• Então a sentença "x é maior que 3" é representada por
MAIOR(x,3).
Lógica de predicados
• Exemplo2: representar "x ama y"
predicado AMA(x,y).
• Então a frase "João ama Maria" pode ser
representada :
AMA(João, Maria).
Lógica de predicados
• Exemplo3: "x + y" e "o pai de x” podem ser
representadas por:
adição(x,y)
pai(x)
• E as sentenças "x + 1 é maior que x" e "O pai de
João o ama" como podem ser simbolizadas?
Lógica de predicados
• As sentenças "x + 1 é maior que x" e "O pai de
João o ama" podem ser simbolizadas por:
MAIOR(adição(x,1),x)
AMA(pai(João),João)
Lógica de predicados
• Nos exemplos anteriores, são exemplos de átomos na
lógica de predicados :
• MAIOR(x,3),
• AMA(João, Maria),
• MAIOR(adição(x,1),x)
• AMA(pai(João),João)
• Onde:
• MAIOR e AMA são predicados;
• x é uma variável;
• 3, João e Maria são constantes; e
• pai e adição são funções.
Lógica de predicados
• Um átomo na lógica de predicado permite quatro tipos de
símbolos:
• Predicados: são escritos, normalmente, em letras maiúsculas,
P, Q, R, ... ou cadeias significativas como MAIOR e AMA
• Variáveis: são escritos, normalmente, em letras minúsculas ou
letras sublinhadas: x, y, z,...
• Constantes: são, geralmente, nomes de objetos, tais como: 3,
João e Maria .
• Funções: são escritos, normalmente, em letras minúsculas, f,
g, h, ... ou cadeias significativas como pai e adição
Lógica de predicados
• Exemplo de função (termos)
• Considere os números naturais "1", "2", "3", ...
• "1" vai ser denotado por suc(0)
• "3" vai ser denotado por suc(suc(suc(0)))
• Seqüências de símbolos tais como suc(0) e
suc(suc(suc(0))) são chamadas termos.
• EX: "Todo número natural diferente de zero é sucessor
de um número natural" pode ser simbolizada por :
• ∀x(¬x≈0 →∃ysuc(y)≈x).
Lógica de predicados
• Exemplo de predicados
• podemos dizer que o bloco a está sobre o bloco b usando o
predicado sobre e escrevendo:
Sobre(a, b);
• para dizer que o bloco b é azul, podemos usar o predicado cor e
escrever:
Cor(b, azul);
• para dizer que o bloco b é maior que o bloco c, podemos usar o
predicado maior e escrever:
Maior(b,c)
Lógica de predicados
• Variáveis e Quantificadores
• Grande parte da expressividade da lógica de
predicados é devida ao uso dos conectivos
lógicos, que nos permitem formar senteças
complexas a partir de sentenças mais simples.
Lógica de predicados
• Variáveis e Quantificadores
• Ex: podemos dizer que o bloco a está sobre o
bloco b e que este está sobre a mesa
escrevendo:
Sobre(a, b) ∧ Sobre(b, mesa)
Lógica de predicados
• Variáveis e Quantificadores
• A lógica de predicados tem poder expressivo
suficiente para formalizar praticamente toda a
matemática.
• O ingrediente novo da lógica de predicados não
encontrado na lógica proposicional é
a quantificação e a noção de variáveis.
Lógica de predicados
• Variáveis:
Estabelecem fatos a respeito de objetos de um
determinado contexto de discurso, sem ter
que nomear explicitamente esses objetos.
Cor(b, azul)
MAIOR(x,3)
Lógica de predicados
• Quantificadores:
• Estabelecem fatos a respeito de todos os
objetos de um contexto, sem termos que
enumerar explicitamente todos eles.
• quantificador universal (∀)
• "para todo”, “para cada” ou “para qualquer”
• quantificador existencial (∃)
• “existe”, “há pelo menos um”, “existe algum” ou
“para algum”
Lógica de predicados
• Variáveis e Quantificadores
• Ex: Podemos dizer que todo bloco está sobre
alguma coisa (bloco ou mesa) escrevendo:
∀x[Bloco(x) → ∃y [Sobre(x, y )]]
Lógica de predicados
• Quantificadores e predicados
• “x > 0”, é o predicado e descreve uma
propriedade da variável x, a de ser positiva;
Lógica de predicados
• Quantificadores e predicados
• Podemos representar alguma propriedade ou
predicado não-explicitado que a variável x
possa ter. Assim, a sentença mais geral é:
Lógica de predicados
• Quantificadores e predicados
Como interpretar uma formula na lógica de predicados?????
Lógica de predicados
• Quantificadores e predicados
• Na lógica proposicional, uma interpretação é uma
atribuição de valores verdade aos átomos.
• Na lógica de predicados, uma vez que existem variáveis
envolvidas, tem-se que especificar duas coisas: o
domínio e uma atribuição de valores para as constantes,
funções e predicados ocorrendo na fórmula.
Lógica de predicados
• Quantificadores e predicados
• EX: Qual valor lógico da expressão ∀x (x > 0)?
• Depende do domínio dos objetos sobre os quais
estamos nos referindo, isto é, a coleção de
objetos entre os quais x pode ser escolhido.
Essa coleção de objetos é chamada de conjunto
universo.
Lógica de predicados
• Quantificadores e predicados
• EX: Qual valor lógico da expressão ∀x (x > 0)?
• Se o conjunto universo consistisse de todos os
números positivos. Qual seria o valor lógico?
Resposta: Verdadeiro
• Se o conjunto universo consistisse de todos os
números inteiros, qual seria o valor lógico :
Resposta: falso
Lógica de predicados
• Quantificadores e predicados
• EX: Considere a expressão: ∀x P(x)
• Onde:
• Conjunto universo: todos os livros da biblioteca
municipal;
• P(x) é a propriedade de se ter a capa vermelha;
• ∀x P(x) diz que todos os livros da biblioteca
municipal têm capa vermelha.
Lógica de predicados
• Quantificadores e predicados
• EX: Considere a expressão:
∀x P(x)
• Qual o valor lógico?
• R: falso
Lógica de predicados
• EX: Considere a expressão: ∃x (x > 0) . Qual valor
lógico?
• Depende do conjunto universo;
• Se o conjunto universo contiver um número positivo.
• Resposta: verdadeiro
• Se o conjunto universo consistir dos números
negativos.
• Resposta: falso
Lógica de predicados
Quantificadores
• Teorema: Generalização da Lei de De Morgan para
os quantificadores
¬∀ x P(x) ≡ ∃ x ¬ P(x)
¬ ∃ x P(x) ≡ ∀ x ¬ P(x)
• Um exemplo intuitivo seria:“Não é todo homem
que é egoísta” equivale a “Existe pelo menos um
homem que não é egoísta”
Lógica de predicados
Prioridade dos Quantificadores
• Os quantificadores ou têm prioridade maior
que todos os operadores lógicos do cálculo
proposicional.
Lógica de predicados
Prioridade dos Quantificadores
Lógica de predicados
Prioridade dos Quantificadores
Lógica de predicados
Prioridade dos Quantificadores
Quando um quantificador é usado na variável x,
dizemos que essa ocorrência da variável é ligada.
Lógica de predicados
Prioridade dos Quantificadores
• Uma ocorrência de uma variável que não é ligada por
um quantificador ou não representa um conjunto de
valores particulares é chamada de variável livre (y).
Lógica de predicados
Quantificadores
• ESCOPO: É a parte da expressão lógica à qual um
quantificador é aplicado.
