Lgica Matemtica, 2016-2, Linguagem da Lgica de Primeira Ordem, 1

Data
Marcelino Pequeno

Linguagem da Lgica de Primeira Ordem

Frmulas Atmicas: Predicados e Termos
As frmulas atmicas so a unidade bsica de representao da lgica para as
proposies da linguagem. Elas so constitudas de Predicados (propriedades,
relaes) aplicadas a objetos (indivduos, coisas, unidades). Em realidade, so
nomes de predicados aplicados a nomes de objetos.
Os predicados sero nomeados simplesmente atravs de uma lista de nomes
disponveis. J os objetos recebem uma estrutura complexa para formar seus
nomes, que sero tecnicamente conhecidos como termos. Atente-se que os
predicados possuem aridade, a depender do nmero de objetos para os quais se
aplica. Assim temos predicados de aridade 1 (propriedade de um objeto); de
aridade 2 (uma relao binria); aridade 3 (relao ternria); e assim por diante,
em geral falamos de predicados de aridade n, aonde n o nmero de objetos
(termos) para os quais o predicado se aplica.

Nomes dos Objetos: Termos

Os objetos sero nomeados tecnicamente pelo que chamamos de termos. H dois
tipos de termos: os termos atmicos e os termos compostos. Os termos atmicos
so nomes simples para os objetos e so representados apenas por constantes e
variveis. As constantes representam, dentro de um contexto, apenas um objeto
determinado. J s avariveis, dentro de um mesmo contexto, podem ser
atribudos vrios objetos (ou mesmo a todos os objetos). Vamos detalhar um
pouco mais adiantando os prximos passos de nossos estudos.
Os contextos dentro da lgica sero chamados de estrutura, e em uma estrutura,
os objetos designados por uma constante so nicos e fixos. Ou seja, os valores
das constantes (o objeto a que ela designa fixado pela estrutura). J os valores
das variveis continuam em aberto, mesmo aps dada a estrutura, somente uma
nova atribuio a que chamamos de interpretao, vai determinar, o valor (o
objeto designado) da varivel. Uma estrutura comporta uma multiplicidade de
interpretaes, capturando a noo de que o valor de uma varivel pode variar
de acordo com a interpretao.
Estruturas e interpretaes fazem parte do que chamamos semntica da lgica
de primeira ordem, e sero estudados nas prximas unidades do curso. Por
enquanto, o nosso objetivo apenas motivar a intuio sobre os conceitos da
lgica, deixando sua formalizao detalhada para as prximas aulas.

Termos Compostos

Para construir nomes complexos para os objetos introduzimos o conceito de

funo. Uma funo se aplica a termos (nomes de objetos) para gerar novos
termos (nomes de objetos). Por exemplo, uma funo unria se aplica a um
termo e gera um novo termo que pode ser atribudo a outro objeto. J uma
funo binria se aplica a dois termos, e gera um terceiro termo, e assim por
diante.
Est na hora de vermos alguns exemplos para clarear estas noes.

Exemplos de Termos
1. Observe a diferena.
(1) Joo pai.
(2) O pai de Ana irmo de Maria.
Na primeira sentena, pai um predicado e junta-se ao termo Joo para
formar uma sentena.
Constante: Joo
Predicado unrio: pai
Frmula da Lgica:

j
P
P(j)

Na segunda sentena, pai de Ana um termo (designa um indivduo), e pai de

um smbolo funcional e Ana uma constante. Irmo um predicado binrio
que se aplica aos termos pai de Ana e Maria, uma constante.
Constante: Ana
Constante: Maria
Smbolo funcional: pai de
Predicado Binrio: Irmo
Termo: Pai de Ana
Frmula da Lgica:

a
m
p
I
p(a)
I(p(a), m)

Exemplos de sentenas atmicas

1. Clara mais alta do que a me de Ana.
2. Clara a dona de Puffy.
3. Clara possui Puffy.
4. Clara possui Puffy s 14h.
5. Clara possui alguma coisa.
6. Max um estudante.
7. 2h mais cedo do que 3h.
8. 2h mais tarde do que 1h.
9. x est com raiva.
10. Algum est com raiva de Clara.
11. Max apertou as mos de Clara.
12. Samuel o tio de Joo.

Lgica Matemtica, 2016-2, Linguagem da Lgica de Primeira Ordem, 3

Data
Marcelino Pequeno

13. 2 + 2 = 4.
14. Rockfeller possui todo o ouro do forte Knox.
Vamos escrever estas sentenas como frmulas da lgica.
1. Clara mais alta do que a me de Ana.
Constante: Clara
Constante: Ana
Smbolo funcional unrio: me de x
Predicado binrio: x mais alta do que y.
Frmula Atmica:

c
a
m(x)
A(x, y)
A(c, m(a))

OBS.: O predicado binrio -mais-alta apenas o smbolo A.

Escrevemos A(x,y) para esclarecermos a funo dos argumentos: o
primeiro que possui o segundo e no vice-versa. J a frmula atmica
A(c, m(a)) o predicado A aplicado aos termos c constante, e m(a),
termo composto.
Esta observao para os demais exemplos abaixo.
2. Clara a dona de Puffy.
Constante: Puffy
Predicado binrio: x dono de y.
Frmula Atmica:

u
D(x,y)
D(c, u)

3. Clara possui Puffy.

Todas constantes e predicados j apareceram antes, basta escrever a
frmula. Observe que possui e ser dona de denotam o mesmo
predicado neste contexto, portanto no preciso criar um novo
predicado. De fato, a frmula tambm ser a mesma.
Frmula Atmica:

D(c, u)

4. Clara possui Puffy s 14h.

Agora o elemento tempo adicionado criando um predicado ternrio:
x -dono-de y s t horas, representado por D(x,y,t). Utilizaremos a
constante a1 para representar 14h.
Constante: 14h
Frmula Atmica:

a1
D(c, u, a1)

5. Clara possui alguma coisa.

Como Clara possui algo que no sabemos o que vamos represenatr
este objeto atravs de uma varivel.

Constante: Clara
Varivel: x
Predicado binrio: x dono de y
Frmula atmica:

c
x
D(x,y)
D(c, x)

6. Max um estudante.
Constante: Max
Predicado unrio: x estudante
Frmula Atmica:

m
E(x)
E(m)

7. 2h mais cedo do que 3h.

Constante: 2h
Constante: 3h
Predicado binrio: x mais cedo do que y
Frmula Atmica:

a2
a3
C(x,y)
C(a2, a3)

8. 2h mais tarde do que 1h.

Utilizaremos o predicado anterior trocando a posio de seus
argumentos, representando a sentena equivalente: 1h mais cedo do
que 2h.
Constante: 2h
Constante: 1h
Predicado binrio: mais cedo
Frmula Atmica:

a2
a1
C
C(a1, a2)

9. x est com raiva.

Aqui aparece a varivel x como um termo.
Varivel: x
Predicado unrio: est com raiva
Frmula Atmica:

x
R
R(x)

10. Algum est com raiva de Clara.

Utilizaremos a varivel x para representar algum que no se
conhece. E agora o predicado est com raiva binrio.
Varivel: x
Predicado binrio: x est com raiva de y
Frmula Atmica:
11. Max apertou as mos de Clara.

x
R(x,y)
R(x, c)

Lgica Matemtica, 2016-2, Linguagem da Lgica de Primeira Ordem, 5

Data
Marcelino Pequeno

mos de x um smbolo funcional unrio.

Smbolo funcional unrio: mos de x
Predicado binrio: x apertou y
Frmula Atmica:

h(x)
A(x,y)
A(m, h(c))

12. Samuel o tio de Joo.

Vamos utilizar o predicado binrio x irmo de y e o smbolo
funcional pai de x.
Constante: Joo
Constante: Samuel
Smbolo funcional: pai de x
Predicado binrio: x irmo de y
Frmula Atmica:

j
s
p(x)
I(x,y)
I(s,p(j))

13. 2 + 2 = 4
Esta bem curiosa.
Devemos entender que 2 e 4 so constantes; + um smbolo
funcional binrio e = um predicado binrio.
Estritamente teramos a seguinte representao em linguagem da
lgica:
Constante: 2
a2
Constante: 4
a4
Smbolo funcional binrio: +
m
Predicado binrio: =
I
Frmula Atmica:
I(m(2,2),4)
Observe que a frmula fica quase ininteligvel em lgica. Por isso
abrimos vrias excees:
Permitimos os usos de nmeros como constantes, assim 2 e 4
sero representados como eles mesmos.
Permitimos que + seja um smbolo funcional binrio infixo, isto ,
representamos x + y ao invs de +(x,y).
Permitimos que a igualdade seja um predicado binrio infixo
representado pelo smbolo .
Assim,
A frmula atmica em lgica ser representada por: 2 + 2 4.
14. Rockfeller possui todo o ouro do Forte Knox.
Esta ilustra algo bem comum, tanto podemos escolher um
predicado unrio como um binrio para fazermos a representao
em lgica.
Representao 1.

Constante: Rockfeller
Predicado unrio: possuir todo o ouro do Forte Knox
Frmula Atmica:

r
K
K(r)

Representao 2.
Constante: Rockfeller
Constante: todo o ouro do Forte Knox
Predicado binrio: x possui y
Frmula Atmica:

r
k
P
P(r,k)

Resumo Frmulas Atmicas

Essencialmente frmulas atmicas so constitudas de predicados aplicados a
termos. Os predicados podem ser n-rios conforme o nmero de termos a que se
aplica: 1, 2, ... n, ...
Os termos so os nomes dos indivduos ou objetos aos quais os predicados se
aplicam. Os termos podem ser atmicos ou compostos conforme explicados
acima.
Nas prximas aulas daremos definies formais para a linguagem da lgica de
primeira ordem que inclui predicados e termos. O importante por agora
notarmos que predicados designam propriedades e relaes entre objetos e que
os objetos so denominados por termos. Todas as frmulas atmicas dos
exemplos acima tm esta estrutura: P(t1,...,tn); onde P um predicado de aridade
n aplicado a n termos.

Exerccio
Utilizando como modelo os exemplos acima escreva frmulas lgicas para
representar as sentenas abaixo.
1. Ana o sobrinha de Clara.
2. 2 menor do que 3.
3. 6 o dobro de 3.
4. Aids menos contagiosa do que gripe.
5. Rockfeller um sujeito de ouro.
6. Joo ama Ins.
7. O cego tem um chapu vermelho.
8. Lincoln foi assassinado.
9. Nova York a maior cidade dos EUA.
10. O sucessor de Henry V foi derrotado na batalha de Tewkesbury em
1471.