Introduo Lgica

Cezar Mortari
Departamento de Filosoa
UFSC
2013
Cezar Augusto Mortari
MATERIAL EM PREPARAO FAVOR NO CIRCULAR E NO CITAR
Captulo 16
Identidade e smbolos funcionais
Neste captulo, vamos considerar duas maneiras de estender o CQC, acrescentando no-
vos tipos de smbolos a sua linguagem. Vamos tratar primeiro da relao de identidade
e, a seguir, veremos os smbolos funcionais.
16.1 Identidade
16.1.1 Um novo smbolo lgico
Para incio de conversa, considere as quatro sentenas abaixo, as quais, suponhamos,
voc deve formalizar no CQC:
Miau um gato. (1)
A abelha um animal til. (2)
Diana rtemis. (3)
Scrates no Plato. (4)
O que elas tm em comum a presena da palavra (no caso da ltima, precedida
de negao, no ).
As duas primeiras no oferecem diculdades de representao no CQC; voc j est
acostumado com elas. Por exemplo, usando G para x um gato e m como nome de
Miau, temos
Gm.
Trata-se aqui de um caso de predicao, ou seja, da atribuio de um certo predicado
a um certo indivduo. J (2) um pouco diferente: ao armar essa sentena muito
provavelmente no estamos falando de alguma abelha em particular, mas queremos
dizer que as abelhas todas elas so animais teis. Assim, nossa representao no
CQC seria uma frmula como
x(Bx Ax),
238 Captulo 16. Identidade e smbolos funcionais
usando B para x uma abelha e A para x um animal til. Nesse exemplo, a palavra
est tendo a funo de indicar a incluso de um conjunto (o das abelhas) em outro
(o dos animais teis).
Com (3) e (4), contudo, a situao diferente. Para transcrever corretamente essas
sentenas para a linguagem do CQC, necessitamos de algum smbolo de predicado que
nos permita armar, de dois indivduos quaisquer supostamente diferentes, que eles
so, anal, o mesmo indivduo; por exemplo, que Diana e rtemis so a mesma pessoa
(ou a mesma gura mitolgica, para ser mais exato). Note que armar (3) diferente
de dizer, por exemplo, que Diana grega. Neste caso, x grega uma propriedade,
e estamos armando que Diana tem essa propriedade (assim como dissemos em (1)
que Miau tem a propriedade de ser um gato). Contrariamente a isso, ca estranho
dizer que x rtemis uma propriedade que Diana tem, e escrever algo como Ad.
O que ocorre que temos dois nomes, Diana e rtemis, e, com a sentena Diana
rtemis, queremos dizer que esses dois nomes se referem a um mesmo indivduo.
De modo semelhante, com (4) pretendemos dizer que Scrates e Plato so indivduos
distintos.
O smbolo que vamos introduzir, para permitir a formalizao de sentenas como
(3) e (4) acima, o da relao binria de identidade, =, que, costumeiramente, lido
como idntico a, ou igual a, ou o mesmo que. Como = um smbolo de relao
binria, a sentena (3) poderia ser, ento, formalizada como
=da,
seguindo nossa prtica de escrever o smbolo de predicado antes dos termos (como em
Rab, por exemplo). J a sentena (4), por sua vez, caria assim:
=sp,
ou seja, no verdade que = sp.
Entretanto, embora a identidade seja um predicado binrio, = , entre os smbolos
de relao, um smbolo especial, sendo usualmente includo entre os smbolos lgicos
de uma linguagem (diferentemente dos outros smbolos de predicado). Voc se recorda
de que, ao construir uma estrutura, associamos a cada smbolo de predicado binrio
uma relao binria qualquer baseada no universo da estrutura. Assim, nada probe
que associemos a =, em uma estrutura, uma relao qualquer, como x pai de y. O
smbolo =, contudo, tem uma interpretao xa: ele denota, nas estruturas chamadas
normais, a relao de identidade, isto , aquela que relaciona todo indivduo consigo
mesmo, e com mais ningum.
Com relao gramtica, uma vez que = um smbolo de predicado binrio, no
precisamos fazer alterao nenhuma na denio de frmula. Assim, se t
1
e t
2
so ter-
mos (i.e., constantes ou variveis), =t
1
t
2
uma frmula atmica. Contudo, o costume
colocar o smbolo = entre os termos. Ou seja, em vez de escrevermos, como seria
usual para predicados, =da (isto , primeiro o smbolo de predicado, e, sua direita, os
smbolos individuais), o costume o de escrever d = a. No h problema algum quanto
16.1. Identidade 239
a essa prtica; basta convencionarmos algumas abreviaes. Sejam t
1
e t
2
dois termos
quaisquer: a frmula
=t
1
t
2
ser abreviada por
t
1
= t
2
,
ou mesmo
(t
1
= t
2
),
caso queiramos usar parnteses para deixar mais clara a leitura de alguma frmula.
(Por exemplo, x(x = x) parece ser mais fcil ler do que x x = x, e assim por diante.)
Alm do mais, no caso de negaes, como em =sp acima, podemos tambm usar
a abreviao
s = p,
ou ainda
(s = p).
Com respeito s estruturas, a interpretao de =, como dissemos, est xada com
relao s estruturas normais: sempre a relao de identidade. Assim, se A = U, I
uma estrutura, temos que
I (=) =

x, x | x U

,
ou seja, o conjunto de todos os pares de indivduos do universo em que o primeiro e o
segundo elementos do par so o mesmo indivduo. (A propsito, note que na expres-
so acima temos duas ocorrncias de =. Na primeira delas, = um smbolo de nossa
linguagem do clculo de predicados. Na segunda ocorrncia, = um smbolo de nossa
metalinguagem. Alguns autores preferem usar smbolos diferentes para esses dois em-
pregos de =, mas no creio que v haver confuso se usarmos um nico smbolo, e
sugiro que faamos isso aqui.)
A extenso do CQC formada pela adio de =, usualmente chamada de clculo de
predicados com identidade, ser denotada por CQC
=
.
Alm de permitir a formalizao de sentenas como (3) e (4), o smbolo de iden-
tidade tem outros usos. Considere as sentenas abaixo, e suponha que eu lhe pedisse
para formaliz-las.
Duendes existem. (5)
Scrates existe. (6)
A sentena (5) acima no traz nenhum problema: voc introduz um smbolo de pro-
priedade D, representando x um duende, e escreve xDx. Note, contudo, que essa
soluo no pode ser aplicada sentena (6). Como vimos acima, ao falar de Diana
isto , rtemis , seria muito estranho introduzir um smbolo de propriedade S repre-
sentando x Scrates, e ento escrever xSx. Claro que isso pode, formalmente, ser
feito, mas no l muito intuitivo: Scrates o nome de algum, no uma propriedade
que algum pode ter. (E alm do mais, xSx diz que h pelo menos um indivduo que
tem a propriedade S, o que no exclui que haja outros.)
240 Captulo 16. Identidade e smbolos funcionais
Por outro lado, uma outra soluo, como s, obviamente no permitida: as regras
de formao, para comear, exigem que imediatamente aps um smbolo de quanti-
cador como ocorra alguma varivel, e em seguida alguma frmula onde esta varivel
ocorra. Introduzir uma nova regra de formao, permitindo coisas como s, nos obriga-
ria a alterar bastante nossa leitura intuitiva de , bem como a denio de verdade.
Uma terceira sada seria introduzir um smbolo de propriedade adicional, tal como
E, para representar x existe. Nesse caso, Es teria o signicado que queremos: Scrates
existe. Contudo, isso constituiria, no mnimo, uma duplicao de esforos, uma vez
que, na verdade, armar a existncia j funo do quanticador existencial. De mais a
mais, isso traria a implicao de que a existncia uma propriedade que indivduos tm
ou podem deixar de ter, e a interpretao clssica do CQC no v com bons olhos
indivduos que no existem, mas, de alguma forma, esto a.
1
Para resumir, a maneira de resolver esse problema, no CQC
=
, consiste em usar o
smbolo de identidade. Assim, (6) caria formalizada como
x(x = s),
que arma, simplesmente, que existe um indivduo que (idntico a) Scrates isto
, Scrates existe.
Bem, talvez voc no goste dessa soluo, e tente achar algum defeito nela, dizendo,
por exemplo: Na verdade, o que estamos armando com x(x = s) que existe ao
menos um indivduo que Scrates; a semntica de x (isto , existe ao menos um x)
permitiria, em princpio, que houvesse outros indivduos idnticos a Scrates, enquanto,
ao armar que Scrates existe, estamos falando, claro, de um nico indivduo!.
Essa objeo que voc (supostamente) aponta parece razovel. Mas lembre-se de
que as constantes funcionam como nomes, e que nada impede que Scrates tenha outro
nome, como o mestre de Plato. Desse ponto de vista, uma frmula como
m = s
diz apenas que m e s so nomes do mesmo indivduo. No h problema nenhum em
armar, portanto, que
xy((x = s y = m) x = y). (7)
Isso no quer dizer que haja dois indivduos diferentes que sejam Scrates (o que
seria absurdo): diz apenas que h, na linguagem, mais de um nome para Scrates.
Para nalizar esta primeira seo, e antes de passar aos exerccios, vamos conversar
mais um pouco sobre o uso de parnteses. Talvez voc se pergunte, com relao
frmula (7) acima, por que eu a escrevi daquele modo, e no assim:
xy(x = s ( y = m x = y)).
1
Por outro lado, nas lgicas livres, em que podemos ter constantes que no denotam nenhum indivduo
existente, introduz-se um smbolo de propriedade adicional, E, para armar que certos indivduos existem:
Es, por exemplo, diria que Scrates existe. Para Pgaso, teramos Ep ele no existe. Mas no nos
ocuparemos aqui dessas lgicas.
16.1. Identidade 241
Bem, relativamente fcil mostrar que os seguintes esquemas de frmulas so vli-
dos no CQC:
( ( )) (( ) ),
( ( )) (( ) ),
( ( )) (( ) ).
Ou seja, podemos mostrar que os operadores , e so associativos. Isso signica
que, se tivermos uma sequncia de frmulas ligadas apenas por conjunes, ou por
disjunes, ou equivalncias, no vai importar muito onde os parnteses so colocados.
Pa (Qb Rac), por exemplo, logicamente equivalente a (Pa Qb) Rac.
Esse fato nos sugere mais uma conveno para limitar o uso de parnteses: no
caso de sequncias de frmula ligadas por , ou por , ou , podemos simplesmente
eliminar os parnteses correspondentes a , , ou . Assim, em vez de escrevermos
Pa ((Qb Rab) Sc),
por exemplo, podemos escrever simplesmente
Pa Qb Rab Sc.
E, em vez de escrevermos, digamos,
((Pa Qb) ((Pa Qb) (Qb Pa))) x(Px Qx),
escrevemos simplesmente
Pa Qb (Pa Qb) (Qb Pa) x(Px Qx).
claro que, se no quisermos, no precisamos eliminar os parnteses como sugerido
acima. Mas, de um modo geral, as coisas cam mais simples se o zermos, e o que vai
acontecer, de vez em quando, daqui para a frente.
Voltando ao nosso exemplo (7), poderamos ento dispensar alguns parnteses e
escrever simplesmente:
xy(x = s y = m x = y).
Para nalizar, um aviso importante: esta nova regra para eliminar alguns parnte-
ses no se aplica a sequncias de frmulas ligadas por , j que a implicao no
associativa, ou seja, frmulas como ( ) e ( ) no so logicamente
equivalentes.
Exerccio 16.1. Transcreva as sentenas abaixo para a linguagem do CQC
=
, usando = sempre
que necessrio, e a notao sugerida:
(a) Alberto Caeiro Fernando Pessoa. (a: Alberto Caeiro; f : Fernando Pessoa)
(b) Scrates no Aristteles. (a: Aristteles; s: Scrates)
(c) Claudia Schiffer no Scarlett Johansson, mas ambas so lindas. (c: Claudia Schiffer; s:
Scarlett Johansson; L: x linda)
242 Captulo 16. Identidade e smbolos funcionais
(d) Plato existe. (p: Plato)
(e) Scrates e Plato existem. (s: Scrates; p: Plato)
(f) Plato existe, mas no um jogador de futebol. (J: x um jogador de futebol)
(g) Algum, que no Plato, um jogador de futebol.
(h) Se Joo o Bandido da Luz Vermelha, ento Joo um criminoso. (b: o Bandido da Luz
Vermelha; j: Joo; C: x um criminoso)
(i) Ou a Estrela da Manh a Estrela da Tarde, ou os astrnomos babilnicos estavam enga-
nados. (m: a Estrela da Manh; t: a Estrela da Tarde; A: x um astrnomo babilnico; E:
x estava enganado)
(j) Existe algo.
(k) Existe algum que no Scrates.
(l) Existe algum que no Scrates nem Plato.
(m) Se Diana no rtemis, ento existe algum que no rtemis. (d: Diana; a: rtemis)
(n) Todo objeto idntico a si mesmo. [O princpio de identidade. Ou, a relao de identidade
reexiva]
(o) Se uma coisa igual a uma segunda coisa, ento esta igual primeira. [A relao de
identidade simtrica]
(p) Se uma coisa igual a uma segunda, e esta a uma terceira, ento a primeira igual
terceira. [A relao de identidade transitiva]
(q) Se Hegel incompreensvel, ento existe um indivduo idntico a Hegel que incompre-
ensvel. (h: Hegel; I : x incompreensvel)
(r) Se dois indivduos quaisquer so idnticos, e um deles um poeta, ento o outro tambm
poeta. (P: x um poeta)
(s) Se um indivduo qualquer poeta, e outro no, ento eles no so idnticos.
16.2 Outros usos para a identidade
Suponhamos agora que voc quisesse dizer que Scrates o nico lsofo (ou seja, que
Scrates um lsofo e ningum mais lsofo alm dele). A relao de identidade d
a voc meios para isso. Temos ento:
Fs x(x = s F x).
Ou seja, Scrates um lsofo, e no existe ningum, diferente de Scrates, que seja
lsofo. O que signica, como queramos, que Scrates o nico lsofo que existe. Eis
uma outra frmula que diz a mesma coisa:
Fs x(F x x = s).
Isto , Scrates lsofo, e qualquer um que seja lsofo Scrates.
Note que, em qualquer uma das verses acima (com quanticador existencial ou
universal) tivemos que escrever explicitamente Fs . . . na frmula. A razo disso
que estamos mesmo armando, em portugus, que Scrates um lsofo. Se fssemos
transcrever a sentena em questo apenas por
x(F x x = s),
16.2. Outros usos para a identidade 243
no teramos garantia alguma de que Scrates lsofo: estaramos apenas dizendo,
de qualquer x, que, se ele for lsofo, ento Scrates. Mas claro que podemos ter
uma estrutura em que no haja lsofos onde nem mesmo s seja um lsofo e
nesse caso a frmula seria verdadeira.
Uma outra maneira de resolver o problema, claro, sem usar explicitamente Fs na
frmula, a seguinte:
x(F x x = s).
Isso garante que Scrates um lsofo, j que podemos mostrar, primeiro, que s = s.
(Como veremos depois, x(x = x) uma frmula vlida, da qual se segue, pelas con-
dies de verdade de frmulas universais, que s = s.) Analogamente, podemos concluir,
se x(F x x = s) verdadeira, que Fs s = s tambm (usando s no lugar da
varivel x). Como s = s vlida, conclumos que Fs verdadeira. Ou seja, s tem a
propriedade F; Scrates um lsofo.
O exemplo comentado acima, em que h um nico indivduo com uma certa pro-
priedade, sugere um outro tratamento das descries denidas. Voc se recorda de que,
ao ser introduzida a linguagem do CQC, vimos que as constantes individuais podem ser
usadas tanto para representar nomes prprios, quanto para descries denidas, isto
, expresses como o mestre de Plato e o descobridor da Amrica. Eu havia men-
cionado, contudo, que mais tarde veramos outras maneiras de representar descries
denidas. Uma delas envolve o uso do smbolo de identidade.
Comecemos com um exemplo:
(8) O mestre de Plato bebeu cicuta.
A maneira usual de representar isto seria empregar a constante m para o mestre de Pla-
to, o smbolo de predicado C para x bebe cicuta, e ter como resultado a frmula Cm.
Uma alternativa, contudo, devida a Bertrand Russell,
2
consiste em eliminar a expresso
o mestre de Plato atravs de uma parfrase.
Considere o seguinte: quando falamos sobre o mestre de Plato, o que queremos
dizer que h um nico indivduo que tem a propriedade de ser mestre de Plato (ou
que est na relao ser mestre de com Plato). Em outras palavras, h pelo menos
um indivduo, e no mximo um indivduo com essa propriedade. Assim, se usarmos a
constante p para Plato, e o smbolo de predicado M para a relao x mestre de y,
poderamos simbolizar a sentena (8) da seguinte maneira:
x(Mxp y(M yp x = y) Cx).
Ou ento, com o quanticador universal:
x(Mxp y(M yp x = y) Cx).
Em portugus: h ao menos um indivduo x que mestre de Plato, qualquer indivduo
que tambm seja mestre de Plato idntico a x, e x bebeu cicuta.
2
A anlise proposta por Russell para as descries denidas encontra-se em seu clebre artigo Sobre a
denotao, de 1905, cuja leitura eu recomendo (Russell, 1956).
244 Captulo 16. Identidade e smbolos funcionais
O que zemos com este exemplo foi uma parfrase da sentena original, parfrase
na qual a descrio denida o mestre de Plato no mais aparece.
Contudo, perguntaria voc, esta no uma maneira mais complicada de fazer as
coisas? O que temos a ganhar com essa complicao adicional?
Esta uma boa pergunta felizmente eu tenho uma boa resposta. Considere os
exemplos a seguir:
O crculo quadrado um tringulo. (9)
O crculo quadrado no existe. (10)
A primeira dessas sentenas j um pouco problemtica dentro do CQC. claro que
podemos supor que, no nosso universo de discurso, existe um objeto que um crculo
quadrado, e usar, digamos, a constante c para falar desse objeto. O problema que
ele, sendo tambm um quadrado, acaba sendo um crculo que no crculo, e mas
tambm no um tringulo uma contradio.
O problema com a sentena (10), contudo, ainda pior. Digamos que usemos a
constante c para representar o crculo quadrado. Aparentemente, a simbolizao dessa
sentena seria o seguinte:
x(x = c).
Contudo, fcil ver que a frmula acima invlida: ela falsa em toda e qual-
quer estrutura! Recorde que a semntica do CQC exige que toda constante tenha uma
denotao. Assim, se c representa algum indivduo no universo, automaticamente
verdadeiro que x(x = c) e automaticamente falso que x(x = c).
A consequncia parece ser a de que contraditrio armar que no existe o crculo
quadrado. Em outras palavras, parece que no h como negar a existncia do crculo
quadrado sem cair em contradio. E isso se aplica a qualquer objeto: como negar a
existncia de Pgaso, se a frmula x(x = p) automaticamente falsa? Signica isso
ento que existe, anal, o crculo quadrado? Pgaso? Ou (o exemplo original de Russell)
o atual rei da Frana? Este um velho problema losco: parece que, para armar que
algo no existe, temos que admitir que este algo existe, anal.
A anlise de Russell, por meio de uma parfrase, permite que solucionemos este
problema no que diz respeito a descries denidas. Ao invs de empregar uma cons-
tante para representar a expresso o crculo quadrado, vamos simplesmente elimin-la
como vimos anteriormente. Usemos K para o predicado x um crculo quadrado, e T
para x um tringulo. A sentena (9) seria formalizada assim:
x(Kx y(Ky x = y) T x).
Essa, contudo, uma sentena falsa, pois no existe algo que seja um crculo qua-
drado. De modo similar, teramos o seguinte, ao formalizar (10):
x(Kx y(Ky x = y)).
16.2. Outros usos para a identidade 245
Que , obviamente, uma sentena verdadeira, visto que no h crculos quadrados.
Assim, podemos sem problemas armar a no existncia de objetos aparentemente re-
feridos por descries denidas.
3
Ainda um outro exemplo de como usar a identidade est na formalizao de sen-
tenas onde algum o mais de alguma classe. Por exemplo, uma sentena como
(11) Claudia Schiffer a mais bonita de todas as mulheres.
Digamos que c denote Claudia Schiffer, e que tenhamos os smbolos de predicado M e
B, representando, respectivamente, x uma mulher e x mais bonita que y. Uma
soluo seria:
(12) Mc x((Mx x = c) Bc x).
Isto , Claudia Schiffer uma mulher e mais bonita que qualquer indivduo que seja
mulher e que no seja Claudia Schiffer! Note que esse ltimo requisito essencial. Se
tivssemos escrito apenas
Mc x(Mx Bc x),
teramos como consequncia que Claudia Schiffer mais bonita que ela mesma (o que
no verdade, nem mesmo para a dama em questo). Note ainda que uma sentena
ligeiramente diferente, como
(13) Claudia Schiffer mais bonita que todas as mulheres,
poderia ter uma outra formalizao, alm de (12), dependendo de como se interpreta
o que a sentena pretende dizer. Ou seja:
(14) x(Mx Bc x).
No caso de (12), estamos armando que Claudia Schiffer uma mulher, o que
parece ser correto em virtude da armao de que ela a mais bonita de todas as
mulheres (ca implcito que ela uma mulher, tambm). Contudo, isso no ocorre
com (13): diz-se apenas que ela mais bonita que todas as mulheres. A frmula (14)
reete isso, parecendo dar a entender que ela no mulher (seria talvez uma fada, ou
algo assim), uma vez que, pela interpretao intuitiva de B, ningum mais bonita que
si mesma. (Note, contudo, que, para derivar Mc, precisamos colocar, explicitamente,
essa premissa implcita de que ningum mais bonita que si mesma: xBx x).
Para nalizar esta seo, uma ltima aplicao do smbolo de identidade: ele nos
permite ter um certo controle sobre o nmero de indivduos no universo de uma estru-
tura. Por exemplo, podemos armar no apenas que Scrates existe, mas que somente
Scrates existe, o que pode ser feito como abaixo:
x(x = s) x(x = s).
3
Note que camos ainda com o problema de como armar a no existncia de Pgaso isto , o
problema de constantes que no denotam , mas no vamos continuar essa discusso aqui. Voc pode
conferir a soluo de Russell, ou ver ainda o igualmente clebre artigo de Quine, Sobre o que h (Quine,
1980).
246 Captulo 16. Identidade e smbolos funcionais
Ou, ainda, usando o quanticador universal,
x(x = s) x(x = s).
Como, entretanto, exige-se que o universo de uma estrutura tenha pelo menos um
indivduo, a frmula acima equivalente, na lgica clssica, a
x(x = s).
Se todos so Scrates, e se o universo tem ao menos um indivduo, como deve ter,
ento esse indivduo Scrates.
Para um outro exemplo, considere a frmula abaixo:
xy(x = y).
O que ela est armando que existem dois indivduos distintos. Isto , ela s ser
verdadeira em uma estrutura cujo universo tenha pelo menos dois indivduos. Por outro
lado, considere agora sua negao:
xy(x = y).
Obviamente, essa frmula s ser verdadeira em uma estrutura cujo universo no
contenha dois indivduos distintos: ou seja, s h um indivduo.
Na verdade, a frmula acima, que equivalente (via intercmbio de quanticado-
res) a
xy(x = y),
arma que h, no mximo, um indivduo. Porm, como o universo de uma estrutura
precisa conter ao menos um indivduo, o resultado que a frmula acima s ser ver-
dadeira em uma estrutura que tenha exatamente um indivduo em seu universo.
De modo similar, a frmula a seguir exige que o universo de uma estrutura tenha,
no mximo, dois indivduos:
xyz(x = y y = z x = z).
O que equivalente a
xyz(x = y y = z x = z),
como fcil de demonstrar. Agora, para ter uma frmula que diga que h exatamente
dois indivduos no universo, basta fazer a conjuno da frmula acima (no mximo
dois indivduos) com xy(x = y) (no mnimo dois indivduos). Mais simples, po-
rm, a formulao seguinte:
xy(x = y z(z = x z = y)).
Ou seja, existem dois indviduos, x e y, que so distintos, e qualquer outro z que pos-
samos considerar ou (idntico a) x, ou (idntico a) y. Assim, o universo de uma
16.3. Tabls semnticos para o CQC
=
247
estrutura na qual a frmula acima verdadeira contm exatamente dois indivduos
nem mais, nem menos.
Evidentemente, se quisermos agora dizer que h exatamente dois indivduos que
tenham uma certa propriedade digamos, h exatamente dois poetas basta acres-
centar isso frmula anterior:
xy(x = y z(z = x z = y) Px P y).
A tcnica acima pode, claro, ser generalizada para qualquer nmero natural n: h
pelo menos (ou no mximo, ou exatamente) n indivduos x tal que. . . . Assim, voc pode
dizer, do seu universo, que h pelo menos 27 indivduos, ou no mximo 648, ou, ainda,
que h exatamente 333 jogadores de futebol nascidos em Rio das Antas.
Exerccio 16.2. Transcreva as sentenas abaixo para a linguagem do CQC
=
, usando = sempre
que necessrio, e a notao sugerida:
(a) Colombo descobriu a Amrica. (a: a Amrica; c: Colombo; D: x descobriu y)
(b) Somente Colombo descobriu a Amrica.
(c) O descobridor da Amrica era genovs. (G: x genovs)
(d) O descobridor do Brasil era portugus. (b: Brasil; P: x portugus)
(e) Cabral o descobridor do Brasil. (c: Cabral)
(f) Scrates o lsofo mais conhecido. (s: Scrates; F: x um lsofo; C: x mais conhe-
cido que y)
(g) O inventor da plvora nasceu na China. (I : x inventou a plvora; C: x nasceu na China)
(h) O inventor da plvora no existe.
(i) Existem exatamente dois indivduos.
(j) Existem ao menos trs indivduos.
(k) Existem no mximo trs indivduos.
(l) H pelo menos dois gatos. (G: x um gato)
(m) Todas as crianas, exceto Pedrinho, gostam de sorvete. (p: Pedrinho; C: x uma criana;
G: x gosta de sorvete)
(n) Pelo menos duas crianas gostam de sorvete.
(o) Se existe exatamente um indivduo, ento Scrates Plato. (s: Scrates; p: Plato)
(p) Todo lsofo tem ao menos dois discpulos. (F: x um lsofo; D: x discpulo de y)
(q) Alguns lsofos tem um nico discpulo.
(r) Ningum que seja discpulo de Scrates Scrates.
(s) H um papagaio que vermelho, e um outro que azul. (P: x um papagaio; R: x
vermelho; B: x azul)
(t) H exatamente dois papagaios vermelhos.
16.3 Tabls semnticos para o CQC
=
Assim como a noo de consequncia lgica (semntica) no sofreu alteraes bas-
tando que modicssemos a denio de estrutura, as noes de prova por tabls e
consequncia lgica por tabls no CQC
=
sero as mesmas que tnhamos antes. As di-
ferenas, claro, esto nas regras utilizadas. Em primeiro lugar, como a identidade est
248 Captulo 16. Identidade e smbolos funcionais
sendo considerada um smbolo lgico, teremos que ter um par de regras para identi-
dade, semelhana de operadores e quanticadores.
16.3.1 Regras para identidade
As regras para identidade so apresentadas na gura 16.1. Como de costume no caso
de tabls, para cada smbolo h duas regras: uma em que a frmula em que esse sm-
bolo o principal aparece precedida de V, e outra em que aparece precedida de F. A
primeira regra diz que, se em um ramo de um tabl ocorre uma expresso como Ft = t
(alternativamente, Vt = t), esse ramo do tabl fecha-se imediatamente. A razo disto
bvia, pois, como estamos supondo que a relao de identidade vale para qualquer
indivduo, armar, sobre um certo t, que t = t seria contraditrio.
Quanto segunda regra, ela tem duas verses, mas a ideia bsica que, tendo uma
frmula verdadeira que assevere a identidade de dois termos quaisquer, ou seja, Vt
1
=
t
2
, ou Vt
2
=t
1
, e tendo alguma frmula onde t
1
ocorre no importa se essa frmula
seja precedida por V ou F (o que estamos representando na gura 16.1 pelo smbolo
#) voc pode substituir uma ou mais ocorrncias de t
1
em por ocorrncias de t
2
. O
valor # de aps a substituio mantido: se era verdadeira, continua verdadeira; se
falsa, continua falsa.
F t = t

onde # V ou F :
# (t
1
)
V t
1
= t
2
ou V t
2
= t
1
# (t
1
/t
2
)
Figura 16.1: Regras de tabl para identidade.
Um exemplo para comear. Vamos mostrar que a = b |= Rab Rba. O tabl fe-
chado resultante apresentado logo a seguir. Note que, na terceira linha do tabl, de
cima para baixo, o que zemos foi substituir, em Rab Rba, as ocorrncias de b por
a (gerando Raa Raa), j que temos, no ramo, Va = b. O passo seguinte foi reduzir
FRaa Raa, obtendo imediatamente uma contradio.
V a = b
F Rab Rba
F Raa Raa
V Raa
F Raa

Um segundo exemplo: vamos mostrar que Pa, Pb a = b. O tabl o seguinte:

V Pa
16.3. Tabls semnticos para o CQC
=
249
V Pb
F a = b
?
Note que nada mais podemos fazer no caso acima. Como no temos uma identidade
verdadeira, nenhuma substituio possvel. E, como as frmulas envolvidas so atmi-
cas, nada h que reduzir. O tabl ca aberto, e a = b no consequncia lgica de Pa
e Pb.
Para um terceiro e ltimo exemplo, vamos mostrar que (Raa Rbb) a = b
vlida. Comeando o tabl, camos com o seguinte:
F (Raa Rbb) a = b
V Raa Rbb
F a = b
V Raa
V Rbb
F Rbb
O que podemos fazer agora, j que o tabl no fechou e, alm das frmulas atmicas
que aparecem (como VRaa) todas as moleculares aparentemente foram utilizadas? Mas
um momento: todas?
Na verdade no: temos ainda Fa = b. Note que a = b no uma frmula atmica!
Ela de fato uma negao; a = b apenas a abreviao de (a = b). Assim, se Fa = b
ou seja, F(a = b) podemos acrescentar Va = b ao tabl. O que nos permite
fechar o tabl, trocando a por b em V Raa para car com V Rbb, por exemplo. Assim:
F (Raa Rbb) a = b
V Raa Rbb
F a = b
V Raa
V Rbb
F Rbb
V a = b
V Rbb

O tabl fechou, e a frmula mesmo vlida.

E agora, mais alguns exerccios!
Exerccio 16.3. Determine, usando tabls, se as frmulas abaixo so vlidas ou no.
(a) x(x = x)
(b) (Pa Pb) a = b
(c) x(x = x)
(d) xy(x = y)
(e) xy(x = y y = x)
(f) xy((Gx y x = y) Gy x)
250 Captulo 16. Identidade e smbolos funcionais
(g) xy((Px P y) x = y)
(h) xy(x = y)
(i) xy(x = y y = x)
(j) xyz((x = y y = z) x = z)
(k) xy(x = y)
(l) xy(x = y (Px P y))
(m) x(Ax y(x = y Ay))
(n) (xyRx y xRx x) xy(x = y Rx y)
(o) (Fa x(x = a F x)) xF x
(p) xy(x = y) (xF x xF x)
Exerccio 16.4. Determine, usando tabls, se as concluses abaixo so consequncia lgica
das premissas indicadas, ou no.
(a) a = b |= x(x = a x = b)
(b) Lab, Lcd, b = d |= a = c
(c) x(x = a x = b) |= y( y = c ( y = a y = b))
(d) x(x = a x = b), xQx, Qb |= Qa
(e) x(F x Gx), Fa |= x(x = a)
(f) xyRx y |= xy(Rx y x = y)
(g) x(x = a Qx) |= xQx (Qa xy(x = y (Qy Qx)))