Introdução à Lógica de Predicados de Primeira Ordem

Prof. Daniel Callegari

Introdução
Como você representaria frases como ‘todos os alunos são estudiosos’, ‘alguns
alunos são estudiosos’, ou ainda ‘nenhum aluno é estudioso’ ?

Agora, além dos conectivos que já estávamos trabalhando, acrescentaremos os

chamados quantificadores:

∀ é o quantificador Universal
∃ é o quantificador Existencial

Introduzimos esses quantificadores para poder expressar frases usando os

fragmentos “todos”, “algum”, “nenhum”.

Quantificadores e Variáveis

Usaremos os quantificadores e também variáveis, que representam indivíduos no

mundo que estamos representando. Os predicados sempre devem ser grafados
com letras maiúsculas, enquanto que as variáveis deverão ser grafadas em letras
minúsculas. Usaremos as letras do fim do alfabeto para designar as variáveis, por
exemplo: x, y, z, w. Usaremos as letras do início do alfabeto para designar
indivíduos, por exemplo: a, b, c, d, etc.

Exemplos
Vamos formalizar algumas frases:
• “Jones é um ladrão”
Primeiro devemos criar um predicado para designar que algo é (ou possui a
propriedade de ser) ladrão: P(x) : “x é um ladrão”
Agora vamos usar uma letra do início do alfabeto para designar o indivíduo
Jones: j
Então podemos formalizar a frase toda:
P(j) ... ou ainda pode-se remover os parênteses para simplificar: Pj
Esse é um predicado dito unário (possui apenas um argumento).

• “Bob ama Cathy”

Vamos criar o predicado para o verbo amar: A(x,y) : “x ama y”
Note que a ordem (x,y) ou (y,x) é importante.
b : Bob
c : Cathy
A(b,c)
Esse é um predicado binário (possui dois argumentos).
Você pode criar predicados com qualquer aridade (número de
argumentos).

[Fazer exercício 1 de formalização]

Agora vamos ver quatro formas comuns para expressar conhecimentos
relacionados:

Exemplos:
“Todos os homens são mortais”
“Alguns políticos são corruptos”
“Ninguém torce para o Guarambituba”
“Existem pessoas que não gostam de futebol”

Primeira forma:
“Todo S é P”
“Qualquer que seja x, se x é S, então x é P”
∀x (Sx ⇒ Px) note que não se deve usar ∀x (Sx ∧ Px)

Segunda forma:
“Nenhum S é P”
“Qualquer que seja x, se x é S, então x não é P”
∀x (Sx ⇒ ¬Px)

Terceira forma:
“Algum S é P”
“Para pelo menos um x, x é S e x é P”
“Existe um x tal que x é S e é P simultaneamente”
∃x(Sx ∧ Px)

Quarta forma:
“Algum S não é P”
“Para pelo menos um x, x é S e x não é P”
“Existe um x tal que x é S e x não é P”
∃x(Sx ∧ ¬Px) note que não se deve usar ∃x(Sx ⇒ Px)

[Fazer exercício 2 de formalização]

-x-