Você está na página 1de 123

LIES DE LGICA

Fascculo I

Andra Loparic

Sumrio
1.Nota Introdutria.................................................................. 4
2. Gramtica de L (Parte 1) ..................................................... 6
2.1 Vocabulrio de L.................................................................... 6
2.2. Expresses de L.................................................................... 10.
2.3. Termos de L......................................................................... 10
2.4. Frmulas de L ...................................................................... 12
3. Semntica de L (Parte 1)...................................................... 14
3.1. Interpretaes para L............................................................ 14
3.2. Denotao de um termo fechado............................................. 17
3.3. Valor de verdade das sentenas atmicas................................. 21
4. Gramtica de L (Parte 2) ......................................................24
4.1. Definio de frmula de L.......................................................24
4.2. Complexidade de uma frmula................................................ 27
4.3. rvore de gerao de .......................................................... 29
4.4. rvores moleculares ............................................................. 31
4.5. Ocorrncia ligada ou livre de uma varivel numa frmula ...........32
4.6. Sentenas de L..................................................................... 33
4.7. Componentes sentenciais bsicos de uma sentena................... 34
4.8. Sentenas CS....................................................................... 35
5. Semntica proposicional....................................................... 37
5.1. Conceitos fundamentais da semntica proposicional................... 47
5.2. Aplicao dos conceitos proposicionais linguagem L................ 56
6. Semntica de L (Parte 2) ..................................................... 59
6.1 Definio de verdade para sentenas de L................................. 61
6.2. Conjunto Soluo de uma frmula........................................... 63
6.3. Significado formal de uma frmula...........................................69
6.4. Diagramas para uma frmula (com uma s varivel livre) ....... 71
6.5. Diagramas para frmulas compostas por duas frmulas
nas quais ocorre uma mesma varivel livre.............................. 74
6.6. Algumas conseqncias da extensionalidade da designao........ 84
6.7. Conjunto soluo para frmulas contendo sentenas
como subfrmulas................................................................. 85
6.8. Algumas equivalncias e algumas implicaes........................... 87
6.9. Relaes: frmulas com duas variveis e ............................ 89
6.10. Com duas variveis quantificadas s possvel
expressar 12 significados formais distintos............................... 98
6.11. Algumas equivalncias entre sentenas.................................. 102

6.12.
6.13.
6.14.
6.15

Sentenas universais alguns paradigmas............................. 105


Expresso de universos e conjuntos finitos............................. 106
Expresso de outras propriedades de relaes binrias............. 109
Conceitos semnticos fundamentais da
lgica de primeira ordem..................................................... 111
6.16. Tradues da linguagem natural para
a linguagem formal e vice-versa........................................... 117

Nota introdutria
Este o primeiro fascculo de uma srie de trs. Foi concebido como um
primeiro curso de Lgica Formal destinado a estudantes da rea de
Humanas, em especial, a estudantes de Filosofia. A lgica aqui estudada
o Clculo de Predicados com Identidade e Smbolos Operacionais . Neste
primeiro texto, estudamos a gramtica e a semntica desse sistema lgico.
Como se pode bem observar, nosso texto se aproxima em vrios pontos do
livro Lgica Elementar de Benson Mates, que adotamos por vrios anos
como livro texto de cursos que ministramos: com efeito, definies bsicas
da gramtica e da semntica seguem as mesmas linhas que as encontradas
no captulo 9 do livro de Mates.

Procuramos desenvolver no nosso texto

conceitos e mtodos que complementem, aprofundem ou facilitem tanto a


compreenso da construo da linguagem como a do alcance de sua
semntica. Em particular, acreditamos serem especialmente interessantes
as construes das rvores de formao e das rvores moleculares, na
parte da sintaxe, e o desenvolvimento da temtica do significado formal e
dos conjuntos-soluo, bem como o uso de diagramas, na compreenso da
semntica de primeira ordem.

Dois outros fascculos das Lies de Lgica esto sendo escritos. No


segundo, apresentaremos alguns sistemas dedutivos para o Clculo de
Predicados com Identidade. Pretendemos, inicialmente, apresentar um
sistema de deduo natural. O sistema o de Mates, mas, acreditamos,

pudemos

dar-lhe

uma

apresentao

mais

fcil

de

ser

aceita

compreendida. Alm disso, o significado de cada regra discutido assim


como o papel que cada uma delas exerce, enquanto integrante de um
sistema que completo, com respeito semntica estudada no captulo I.
Ao lado desse sistema, apresentaremos tambm um sistema do tipo
axiomtico; um terceiro, que usa tableaux analticos; e, finalmente, um
sistema que trabalha com seqentes.
apresentaremos

alguns

No terceiro fascculo, inicialmente

metateoremas;

entre

eles,

teorema

da

extensionalidade dos termos, os teoremas da correo e completude,


compacidade e uma forma simples do teorema de Lwenheim Skolem.
Finalmente, estudaremos algumas propriedades de teorias de primeira
ordem e examinaremos alguns exemplos particularmente interessantes,
entre os quais, algumas aritmticas de primeira ordem.

Gramtica de L (parte 1)

A linguagem L que iremos estudar a linguagem da Lgica de Predicados


de Primeira Ordem, com identidade e smbolos operacionais. Ela ser
introduzida da seguinte maneira: em primeiro lugar, apresentaremos um
vocabulrio, especificando todos os smbolos que integram as expresses
da linguagem.
Os

smbolos

sero

apresentados

juntamente

com

suas

categorias

gramaticais por essa razo dizemos que se trata de um vocabulrio


categorial.

Note-se

que

esse

vocabulrio

ter

uma

caracterstica

especialmente importante: a de ser um vocabulrio decidvel ; isso significa


que dado um smbolo, pode-se verificar, de forma mecnica e em tempo
finito, se se trata de um smbolo desse vocabulrio e, em caso positivo, a
que categoria gramatical o smbolo pertence. Apresentemos, ento, o
vocabulrio da linguagem L.

Vocabulrio de L
O vocabulrio de L formado pelas seguintes categorias de smbolos:
a) variveis;
b) smbolos interpretveis
nominais,
verbais;
c) smbolos lgicos
predicado de igualdade,
conectivos,
smbolos de quantificao;
d) smbolos auxiliares de pontuao.
a) As variveis so letras minsculas entre u e z, com ou sem ndices
inferiores (subscritos).

Exemplos: x, y, z1, x2, w7, x123

b) Temos aqui dois grandes grupos:


i) Os smbolos interpretveis nominais so minsculas de a a t, com
ou sem ndices inferiores (subscritos) e com ou sem ndices superiores
(sobrescritos).
Os smbolos interpretveis nominais sem sobrescritos so ditos
saturados e so chamadas constantes individuais.
Exemplos: a, b, a1, c2, m, n5 etc..

Os smbolos interpretveis nominais com sobrescritos so ditos


insaturados; o sobrescrito indica o seu grau de insaturao ou
carncia. Eles so chamados smbolos funcionais de carncia n
(onde n o seu sobrescrito) ou operadores de carncia n.
Exemplos: f1, g21, h31, so operadores de carncia 1;
f2, g2, h12, h22, operadores de carncia 2;
f3, g3 etc., operadores de carncia 3;
etc..

ii) Os smbolos interpretveis verbais so maisculas com ou sem


subscrito e com ou sem sobrescrito.
Os smbolos interpretveis verbais sem sobrescritos so ditos
saturados e so chamados letras sentenciais, ou ainda predicados
de carncia 0.
Exemplos: P, Q, R1, A, B3, S15, etc..

Os smbolos interpretveis verbais com sobrescrito so ditos


insaturados; o sobrescrito indica o seu grau de insaturao ou sua
carncia. Ele so chamados predicados de carncia n, onde n
seu sobrescrito.
Exemplos: F1, G1, S11, H21 so predicados de carncia 1;
F2, B2, H32, G192so predicados de carncia 2;
A3, F23, H13, G53, R3 so predicados de carncia 3; etc..

Observaes:
1. Os subscritos e sobrescritos que podem afetar smbolos das categorias a),
e b) so nmeros inteiros positivos. Eles no so considerados smbolos,

mas sim, partes de smbolos. Dessa forma, x1 um nico smbolo, assim


como a12,, f21, h13 etc..
2. Os subscritos cumprem unicamente a funo de aumentar a quantidade de
smbolos disponveis em cada categoria. Assim, h uma quantidade infinita
de smbolos em cada uma delas. Alm disso, eles induzem uma ordem
alfabtica em cada categoria ou subconjunto:
ordens alfabticas segundo as categorias
- das variveis: u, v, x,, z, u1, v1,, z1, u2,
- das constantes individuais: a, b,, t, a1, b1,, t1, a2,
- das letras sentenciais: A, B,, Z, A1, B1,, Z1, A2, ...
- dos operadores de carncia 1: a1, b1,, t1, a11, b11,, t11, a21,
- dos predicados de carncia 1: A1, B1,, Z1, A11, B11,, Z11, A21
- dos operadores de carncia 2: a2, b2,, t2, a12, b12,, t12, a22,
etc..
3. As variveis e as constantes individuais formam um grupo de smbolos
chamados smbolos individuais.

c) Os smbolos lgicos so oito:


o predicado de igualdade = ; tambm chamado de smbolo lgico
da identidade;
cinco conectivos, a saber: o conectivo unrio da negao:
quatro conectivos binrios:
conjuno: ,
disjuno: ,
condicional: ,
bi-condicional: ;
dois smbolos de quantificao, a saber:
o smbolo da quantificao universal: ,
e o smbolo da quantificao existencial: .

Observao:
As notaes usadas para os smbolos lgicos no so unificadas na literatura.
Apresentamos, abaixo, alguns exemplos de notaes alternativas para os
conectivos, usadas por vrios autores:

Conectivos

Notaes alternativas

Negao

,~

Conjuno

.,&

Condicional
Bi-condicional

(Esses smbolos, no entanto, no fazem parte do nosso vocabulrio; assim,


no pertencem linguagem aqui apresentada.)

d) Os smbolos de pontuao so os dois parnteses: ( , ) . H como


constituir uma linguagem de primeira ordem que no os utiliza, mas
no o que faremos aqui.

EXERCCIO
Classifique os smbolos abaixo, com respeito ao vocabulrio de L.
a) f2
b) z1

f) h2 1v
g) x2

l) F2
m) h1

q) 1
r) m

c) a1
d) A1
e) F12

h) >
i) +
j) Q

n) y2
o) y2
p)

s) b3
t)
u) P

10

Expresses de L
Uma expresso do vocabulrio de L uma seqncia finita de
smbolos do vocabulrio de L. Assim, se 1, 2, , n so smbolos do
vocabulrio de L, a seqncia formada pelo smbolo 1, seguido do smbolo
2, seguidos ... , seguidos do smbolo n uma expresso do vocabulrio
de L.
Mais rigorosamente, podemos definir as expresses de L assim: se
um smbolo de L, ento uma expresso de L e o resultado de
acrescentarmos ao final de uma expresso de L expresso de L.
Se 12n uma expresso e para algum i, 1in, i , dizemos
que ocorre em 12n . Se ocorre mais de uma vez numa dada
expresso, as diferentes ocorrncias de so contadas da esquerda para a
direita: falamos na primeira, na segunda, na terceira ocorrncia de na
expresso, e assim por diante.
Nem todas as expresses do vocabulrio de L so expresses
gramaticais ou expresses bem formadas de L. As expresses bem
formadas de L compem 2 grupos: os termos e as frmulas.

Termos de L.
O conjunto dos termos de L pode ser assim definido:
a) um smbolo individual um termo de L,
b) se n um operador de carncia n e 1,,n so termos de L,
ento a expresso n1,,n um termo de L.
Exemplos: a, x, f1a, g2ax, h1f1a, g2f1ah1b, x1, y, f11x, h3f1ah1g2xyg2ab so
termos.

Observao:
A definio de termo, assim como a segunda definio de expresso de L,
so exemplos de um tipo de definio muito comum em lgica: a definio
por induo. Um conjunto indutivamente definido contm dois tipos de
elementos: os elementos originais ou bsicos; e os elementos que so
gerados por meio de um nmero finito de aplicaes de um certo nmero de
regras de gerao. Assim, podemos associar aos elementos gerados um
nmero que corresponde quantidade de aplicaes de regras necessrio

11

para a sua gerao; e, aos elementos originais, associamos o nmero 0. O


nmero assim associado a cada elemento de um conjunto indutivamente
definido , ento, dito o grau de complexidade do elemento ou gerao do
elemento.
No caso dos termos:
a, x, b1 so exemplos de termos originais ou bsicos, ou seja, termos de
complexidade 0 ou de gerao 0;
f1a, g2ab, h3xbc so termos de complexidade 1;
g2f1ab, h3abg 2xy so termos de complexidade2;
f2g2abh1a, f1f1f1b, h2g2abf3xby tm complexidade 3;
etc..
Observe-se que, na definio de termo, h uma nica regra de gerao dos
termos complexos. Como essa regra prescreve que se tome um operador de
carncia n seguido de n termos para formar um novo termo, e como os
termos bsicos [condio a)] no contm operadores, a complexidade de um
termo pode ser medida pelo nmero de ocorrncia de operadores nesse
termo.

Os termos podem ser ainda classificados em dois grupos: termos


abertos ou fechados.
Os termos abertos so aqueles que contm ocorrncias de variveis
(pelo menos uma ocorrncia de varivel); os termos fechados no
contm ocorrncias de variveis.

EXERCCIO
Quais das expresses so termos do Clculo de Predicados? Quais so
termos fechados?
a) f2a1 f1b

f) g2xh3abf1c

b) g3abf3abc

g) a2b2abc

c) g3af1f2bc

h) af1 b

d) f2ab

i) h3af1xh2ab

e) f2aP1x

j) x f1x=f1y

12

Frmulas de L
A outra classe de expresses bem formadas de L constituda pelas
frmulas. A definio completa de frmula tambm uma definio por
induo. Primeiramente, definimos um conjunto bsico de frmulas, ditas
frmulas atmicas. Essas so as frmulas de complexidade 0. Em seguida,
so dadas regras de obteno de frmulas mais complexas a partir de
frmulas menos complexas.

Frmulas atmicas
Nessa primeira fase de estudo da gramtica, vamos nos limitar a
apresentar a definio de frmula atmica. A definio indutiva completa
de frmula ser introduzida posteriormente.
H 3 tipos de frmula atmica, a saber:
i. uma letra sentencial uma frmula atmica;
ii. um predicado de carncia n seguido de n termos uma frmula
atmica;
iii. uma expresso formada pelo predicado lgico da igualdade entre
dois termos uma frmula atmica.
Assim, se representa uma letra sentencial, n, um predicado de
carncia n e 1, 2,, n, termos de L, uma frmula atmica tem uma das
seguintes formas:
i. ;
ii. n1,, n ;
iii. 1=2.
Como os termos, as frmulas atmicas tambm se subdividem em
abertas e fechadas. Frmulas atmicas abertas so as que contm
ocorrncia de variveis, as fechadas so as que no contm tais
ocorrncias. As frmulas atmicas fechadas so chamadas sentenas
atmicas.

13

Observe-se que se uma varivel ocorre numa frmula atmica, essa


ocorrncia se d dentro de um termo que figura como parte dessa frmula.
Assim:
frmulas atmicas do tipo i so sentenas atmicas;
frmulas do tipo n1,, n so sentenas se e s se 1,,n forem
termos fechados;
frmulas atmicas do tipo 1=2 so sentenas se e s se 1 e 2
forem termos fechados.

Observe-se, ainda, que o smbolo = um predicado lgico; assim,


um smbolo do tipo verbal e, nesse sentido, integra a classe dos smbolos
verbais ou predicativos, juntamente com as letras sentenciais e predicados
de carncia n. A seguinte caracterstica distingue, ento, os termos das
frmulas atmicas: enquanto os termos so formados exclusivamente por
smbolos nominais, uma frmula atmica conter necessariamente uma
ocorrncia de um smbolo verbal. Do ponto de vista grfico, enquanto um
termo uma seqncia de letras minsculas, a frmula atmica conter
um smbolo que no uma letra minscula: poder ser uma maiscula ou
o sinal de igualdade.

EXERCCIO
Classifique as expresses abaixo em termos (fechados ou abertos),
frmulas atmicas (fechadas ou abertas) ou expresses mal formadas.
2 1

a) F g xh ab
2

b) g ab=x

i) F G x
j) F=G

c) R

l) x=a
2

d) h bh bh bb
2

3 2

e) F ab=x

n) a+b=c

f) xy=z

o) x

g) f xy=z
1 2

h) F f xy

m) G h abf bb
2

p) F x1
1

q) f1x

14

Semntica de L (parte 1)
Vamos interromper, nesse momento, o estudo da sintaxe para introduzir
alguns conceitos que nos possibilitaro atribuir significados a algumas
expresses de L j introduzidas sintaticamente. As expresses de L
ganharo significados quando associadas a interpretaes e de acordo com
regras que formularemos em seguida.

1. Interpretaes para L

Uma interpretao I para L dada por:


um conjunto no-vazio de objetos quaisquer, UI, dito universo de
discurso de I;
uma funo que associa significados aos smbolos interpretveis
de L, conforme as seguintes estipulaes:
i) a cada constante individual , associa um objeto de UI ou
seja: () UI;
ii) a cada operador de carncia n, n, associa uma operao nria em UI ou seja: (n): UIn UI;
iii)a cada letra sentencial, , associa um dos dois valores de
verdade, o verdadeiro (V) ou o falso (F) ou seja:
() {V, F};
iv)a cada predicado de carncia n, n, associa uma relao nria entre objetos de UI ou seja: (n) UIn.

Como se v, infinitas interpretaes podem ser dadas para a


linguagem L; a escolha de uma interpretao arbitrria e poder atender a
interesses e convenincias nas aplicaes e usos de L.
As interpretaes podem ser ditas completas ou incompletas. Uma
interpretao completa se a cada objeto do universo uma constante estiver
associada; caso contrrio, incompleta. Em outras palavras, como as
constantes individuais desempenham o papel de nomes de objetos, numa
interpretao incompleta h objetos no universo de discurso que no so

15

nomeados por constantes individuais. Em universos de cardinal finito ou


enumervel, as interpretaes podem ser completas (embora nem sempre
devam ser), pois o conjunto das constantes individuais enumervel; mas,
em universos de cardinal maior que o dos nmeros naturais, as
interpretaes so necessariamente incompletas.
Observe-se, ainda, que um princpio fundamental na construo de
interpretaes: cada smbolo interpretvel associado a uma nica
significao; no entanto, nada impede que dois distintos smbolos sejam
associados a uma mesma significao. Resumindo: numa mesma
interpretao, pode haver sinonmia; o que no pode haver equivocidade.
Exemplo de uma interpretao: I
UI: conjunto dos nmeros naturais {0, 1, 2, ... }
(a) = 0; (b) = 5; (c) = 7;
as demais constantes individuais denotam o nmero 1.
(f1) = funo sucessor; (g1) = funo quadrado;
(h1) = funo dobro;
(s2) = funo soma; (p2) = funo produto;
(d2) = funo que associa a cada par <m,n>:
m-n, se mn;

0, se m < n;

as demais funes n-rias so interpretadas pelas funes projeo do


primeiro argumento, i.e. (n (m1, ..., mn)) = m1, para todo smbolo funcional
n-rio n outro que os acima relacionados.
(A) = V; (B1) = V;
as demais letras sentenciais so associadas ao F.
(F1) = {0, 2, 4, 6,} (conjunto dos nmeros naturais pares);
(G1) = conjunto dos nmeros naturais primos;
(H1) = {2, 71, 245, 1024, 3258, 10999};
(R2) = relao menor que;
(D2) = relao divisvel por;
Os demais smbolos de predicado so associados ao conjunto vazio; i.e., para
cada predicado n no mencionado acima, (n) = .

Claramente, a interpretao acima uma interpretao incompleta pois h


objetos no seu universo que no so designados por constantes por
exemplo, o nmero 2. Uma interpretao completa com o mesmo universo
poderia ser obtida a partir da interpretao acima, alterando a interpretao
das constantes individuais de modo que as constantes individuais sem

16

ndices inferiores denotem o 0; e que cada constante com ndice inferior


denote o nmero correspondente a esse ndice.

Outro exemplo de interpretao: I


UI = conjunto das pessoas humanas
(a) = Aristteles; (n) = Napoleo Bonaparte; (p) = Dom Pedro II; (k)
= Kant; as demais constantes so associadas Princesa Isabel.
(f1) = funo que associa a cada primeiro humano, ele prprio; e a cada um
dos demais, o seu pai; vamos nos permitir dizer: funo pai;
(m1) = funo me, definida analogamente funo pai, acima.
(F1) = conjunto dos filsofos; (B1) = conjunto dos brasileiros;
(M1)

conjunto

(S ) = relao

das

casado

(R2) = relao

mulheres;

(C ) = relao

com;

mais

velho

que;

conterrneo

de;

(P2) = relao professor de.


Todas as letras sentenciais so associadas ao V; todos os smbolos funcionais
no mencionados so associados funo projeo do primeiro argumento;
todos os smbolos de predicado no mencionados so associados ao conjunto
vazio.

Um terceiro exemplo de interpretao: I


UI = conjunto dos pases e cidades do mundo
(a) = Argentina;
(e) = Espanha;
(b3) = Porto

(b) = Brasil;
(f) = Frana;

Alegre;

(c) = Cuba;
(b1) = Braslia;

(b4) = Rio

de

Janeiro;

(d) = Dinamarca;
(b2) = So

Paulo;

(b5) = Campinas;

(b6) = Recife; (f1) = Paris; (o1) = Buenos Aires. As demais constantes


individuais so associadas Inglaterra.
(f1) = funo que associa: a cada cidade, ela prpria, e
a cada pas, sua capital;
1

(g ) = funo que associa a cada cidade, o pas a que pertence, e a cada


pas, ele prprio;
Todos os demais smbolos funcionais so associados funo projeo do
primeiro argumento.
Todas as letras sentenciais sem ndices inferiores so associadas ao V; todas as
letras sentenciais com ndices inferiores so associadas ao F.

17

(F1) = conjunto

dos

pases;

(G1) = conjunto

das

capitais;

(H ) = conjunto das cidades com mais de 1.000.000 de habitantes;


(B1) = conjunto das cidades brasileiras; (R2) = ser mais populoso que;
(C2) = ser uma cidade de. Todos os demais smbolos de predicado so
associados a .

EXERCCIOS
1) Construa uma interpretao I cujo universo seja { 1, 2, 3, 4 },
destacando:
I(a)
I(b)

I(f1)
I(g2)

I(F1)
I(G2)

I(A)
I(B)

2) D exemplo de interpretao, destacando I(a), I(c), I(m), I(f1), I(g2),


I(F1), I(G1).
a) Tomando como universo UI = {1, 2, 3, 4, 5}.
b) Tomando como universo o conjunto dos seres humanos.
c) Tomando como universo o conjunto dos brasileiros.

3) D exemplo de:
a) uma interpretao completa;
b) uma interpretao incompleta.

2. Denotao de um termo fechado


O conjunto dos termos fechados j foi definido anteriormente. No entanto,
ele pode ser indutivamente obtido pelas condies que se seguem:
1)uma constante individual um termo fechado;
2)se 1, ,n so termos fechados e n um smbolo funcional de carncia
n, ento n1n um termo fechado.

18

Para definir a denotao de um termo fechado , de acordo com uma


interpretao qualquer I, usaremos a estratgia sugerida pela definio
acima: definiremos a denotao de um termo fechado simples, obtido pela
clusula 1) e, em seguida, diremos como calcular a denotao de um termo
n1n , obtida pela clusula 2), a partir das denotaes de 1, , n . Para
abreviar a expresso a denotao de segundo I, usaremos a notao:
I().
Definio da denotao de um termo fechado
1) se uma constante individual, I()=();
2) se n1n , I()=(n)[I(1), , I(n)].
Exemplos:
Seja I a primeira interpretao dada como exemplo. Ento:
I(a)=0
1

I(b)=5

I(c)=7

I(d)=1

I(f a)= (f )[I(a)] = o sucessor de 0 =1


I(s2bc)= (s2)[I(b), I(c)] =5+7=12
I(h1s2bc)= (h1)[I(s2bc)] = o dobro de 12 =24
I(p2ch1b)= (p2)[I(c),I(h1b)] = I(c) I(h1b)= 7(h1)[I(b)] =
= 7 o dobro de 5 = 7 10 = 70
Seja, agora, I a interpretao anteriormente denotada por I. Ento:
I(a)= a Argentina

I(b)= o Brasil

I(f1b)= (f1)[I(b)] = (f1)[Brasil]= Braslia


Analogamente,
I(f1a)=Buenos Aires
1

I(g b5)=Brasil

I(b5)=Campinas
I(f1g1b5)=Braslia

Observe-se que cada termo fechado denota, segundo uma interpretao,


um nico objeto do universo. Isso se prova facilmente por uma induo
baseada na definio de denotao de termos fechados; examinemos as
duas clusulas:

19

1)

uma constante individual; ento I()=(); ora ()


necessariamente um objeto do universo de ();
n
n
2) 1n ; ento I()=( )[I(1), , I(n)]; ora, se I(1), ,
I(n), que so termos de menor complexidade, denotarem objetos
do universo de , digamos, tomados nessa ordem, eles constituem
uma n-upla de objetos do universo, <o1, , on>; ora, (n) uma
operao n-ria; portanto, quando aplicada n-upla de objetos do
universo, resulta em um objeto do universo; assim a denotao de
n1n segundo sempre um objeto do universo de .
A propriedade que acabamos de demonstrar responde por duas
caractersticas importantes dessa linguagem: em primeiro lugar, quando
associada a uma interpretao, os termos denotam de forma unvoca; em
segundo lugar todos os termos denotam: no h termos que se comportem
como o atual rei da Frana para citar o famoso exemplo de Russell.

EXERCCIOS
1) Seja I uma interpretao tal que:
UI = {1, 2, 3, ...}
1

I(f ) = funo sucessor


1

I(g ) = funo quadrado


1

I(h ) = funo cubo


2

I(g ) = funo soma


2

I(h ) = funo produto

I(a) = 1
I(b) = 2
I(c) = 3
I(d) = 5

1.1) Determine:
1

a) I(f b)
1 1
b) I(f g b)

f) I(h ah ah aa)
1 2 1
g) I(g g af b)

c) I(f h bd)
2 1
d) I(h af b)

h) I(g f g g ab)
1 1 2 1
i) I(g h g af c)
2 1
1
j) I(g g af1g b)

1 2

1 1 1 2

e) I(g f h g ab)

1 1 1 2

1.2) Nesta interpretao seria correto escrever, por exemplo: I(s ) =


funo antecessor? Por qu?

20

2) Seja I uma interpretao tal que:


UI = {1, 2, 3, 4, 5, 6, 7, 8}
1

I(g ) = x+2, se x<5; 6, nos demais casos;


1

I(h ) = x-1, se x 5; 8, nos demais casos


I(a) = 7

I(b)=2

2.1) D exemplo de termo cuja denotao, segundo I, seja:


a) 5

b) 8

c) 1

d) 4

2.2) Qual a denotao, segundo I, de:


1

a) h h g h a
b) g h g h b

3) Seja I uma interpretao tal que:


UI = conjunto dos pases e cidades
1

I(h ) = funo que associa a cada cidade, o pas a que pertence, e, a cada
pas, sua capital
I(a) = Argentina

I(l) = Londres

I(b) = Brasil

I(n) = Nova York

I(c) = China

I(p) = Paris

I(f) = Frana

Determine a denotao, segundo I, de cada um dos termos abaixo:


a) h1f

b) h1h1b

c) h1h1n

21

Valor de verdade das sentenas atmicas


J vimos o que uma sentena atmica: uma frmula atmica que
no contm variveis. Mas podemos alternativamente definir as sentenas
atmicas da seguinte maneira:
uma sentena atmica se e s se:
1) uma letra sentencial;
2) n um predicado de carncia n, 1,,n so termos fechados e n
1n ;
3) 1 e 2 so termos fechados e 1=2 .
Quando associadas a interpretaes, as sentenas so as expresses
destinadas a expressar declaraes verdadeiras ou falsas dizemos que uma
sentena receber, numa interpretao, um valor de verdade, o verdadeiro
ou o falso. Apresentamos, agora, as regras que estabelecem como associar
valores de verdade a sentenas atmicas de acordo com uma interpretao
I.1
1) Se a letra sentencial , I()=();
2) se n 1n , I()=V se e s se <I(1), , I(n)>(n); ou seja: se
e s se a n-upla formada pelas denotaes de 1,,n , tomadas nessa
ordem, pertence relao que I associa a n;
3) se 1=2, I()=V se e s se I(1)=I(2); ou seja, se as denotaes
segundo I dos termos 1 e 2 so o mesmo objeto.

Exemplos - Considere a interpretao abaixo:


UI = conjunto das pessoas humanas
(a) = Aristteles; (b) = Kant; (n) = Napoleo Bonaparte; (p) = Dom
Pedro II; as demais constantes so associadas Princesa Isabel.
(p1) = funo que associa a cada primeiro ancestral humano, ele prprio; e a
cada um dos demais, o seu pai; vamos nos permitir dizer: funo pai;
(m1) = funo me, definida analogamente funo pai, acima.

A expresso o valor de verdade de segundo I abreviada por I().

22

(F1) = conjunto dos filsofos; (B1) = conjunto dos brasileiros; (M1) =


conjunto das mulheres; (R2) = relao mais velho que; (S2) = relao
casado com; (C2) = relao conterrneo de; (P2) = relao professor
de.
Todas as letras sentenciais so associadas ao V; todos os smbolos funcionais
no mencionados so associados funo projeo do primeiro argumento;
todos os smbolos de predicado no mencionados so associados ao conjunto
vazio.
De acordo com essa interpretao, vejamos quais so os valores de verdade de
algumas sentenas:
I(P)=V

I(B1)=V

I(F a)=V, pois I(a)=Aristteles, (F1)=conjunto dos filsofos, e Aristteles


pertence ao conjunto dos filsofos.
I(B1c)=V, pois (c)=Princesa Isabel, (B1)=conjunto dos brasileiros, e a
Princesa Isabel era brasileira.
1

I(B n)=F, pois Napoleo no pertence ao conjunto dos brasileiros.


I(C2an)=F,

pois

<Aristteles,

Napoleo>

no

pertence

relao

conterrneo de.
I(R2pq)=V, pois < Pedro II, Princesa Isabel > pertence relao mais
velho que.
1 1

I(F p p q)=F, pois I(p1p1q) (F1); ou seja, o av paterno da Princesa


Isabel no era filsofo.
1

I(p q=p)=V, pois os termos p1q e p tm em I a mesma denotao; ou seja,


I(p1q)=I(p)=Pedro II.
I(m1p1a=m1b)=F, pois a av paterna de Aristteles no a mesma pessoa
que a me de Kant.

Como vemos, o valor de verdade de uma sentena atmica segundo


uma interpretao fica perfeitamente determinado pela interpretao, uma
vez que estabelecido por meio de regras precisas formuladas em funo
das denotaes dos termos envolvidos e dos conjuntos e relaes atribudos
aos predicados pela interpretao em causa.

23

EXERCCIO

Sejam I e I' interpretaes tais que :

UI = conjunto dos nmeros naturais

UI = {0,1, 2, 3, 4, 5, 6, 7, 8, 9}

I(a) = 1

I(a) = 6

I(b) = 2

I(b) = 7

I(c) = 0

I(c) = 2

I(d) = 5

I(d) = 3

I(f ) = funo sucessor


1

I(g ) = funo quadrado


1

I(h ) = funo cubo


2

I(g ) = funo soma


2

I(h ) = funo produto


1

I(F ) = conjunto dos primos


1

I(G ) = conjunto dos pares


2

I(R ) = relao ser divisvel por


2

I(M ) = relao menor que

I(f ) = x-1, se x mpar; x+1, se par


1

I(g ) = 2, se x<7; 8, se x7
1

I(h ) = funo identidade


2

I(g ) = funo projeo do primeiro


2

I(h ) = funo projeo do segundo


1

I(F ) = {1, 3, 5}
1

I(G ) = {2, 3, 4, 5, 6}
2

I(R ) = relao menor que


2

I(M ) = {4,3, 2,5, 7,8}

Calcule o valor de verdade, segundo I e segundo I, das sentenas abaixo:


a) F1a

g) a=f1 b

b) R2ab

h) f1a=h2ab

c) R ba

i) h2f1bb=g1g1g2ab

d) M2 af1b

j) g2bb=h2bb

e) M2g1ah2ab

l) F1g2h1f1bb

f) G1h2ab

24

Gramtica de L (parte 2)
Retornamos gramtica para apresentar a definio de frmula de L.
Veremos que essa ser tambm uma definio indutiva, dada em dois
passos:
1 passo: especificao de um conjunto bsico ou original;
2 passo: formulao das regras que permitem obter elementos mais
complexos a partir de elementos menos complexos.

Definio de frmula
1) As frmulas atmicas so frmulas;
2) Se e so frmulas e uma varivel, ento,
a) uma frmula;
b) ( ), ( ), ( ), ( ) so frmulas;
c) e so frmulas.

Dizemos que:
a negao de ;
( ) a conjuno de e ; e so ditos os conjuntivos de ( );
( ) a disjuno de e ; e so ditos os disjuntivos de ( );
( ) a implicao de por ; dito o antecedente, o conseqente
de ( );
( ) a equivalncia entre e .

Observao:
A implicao tambm chamada condicional; e a equivalncia
tambm chamada bi-condicional ou bi-implicao.

25

Exemplos:
Como sabemos, as expresses abaixo so frmulas atmicas:
F2ab

G2f1ay1

a=x

H3x2g2aby

y = f1z

Portanto, so frmulas. Aplicando reiteradamente as regras de obteno de


frmulas mais complexas, construmos as frmulas abaixo:
F2ab
a = x

z (a = x y = f1z)

a = x

(P a = x)

a = x

y (G2f1ay1 y = f1z)

(F2ab a = x)

x y (P H3xg2aby)

(P H3x2g2aby)

x a = x

(a = x y = f1z)

x a = x

(P a = x)

y (G2f1ay1 y = f1z)

((F2ab a = x) P)

(P y = f1z)

(a = x (F2ab a = x))

y P

2 1

(G f ay1 y = f z)

((P a = x) F2ab)

y (P H3xg2aby)

etc.

As expresses da forma Q, onde Q {, } e uma varivel, so ditas


quantificadores. um quantificador universal com respeito varivel
e , um quantificador existencial com respeito a .
Exemplos: x

x1

Ateno: Quantificadores no so frmulas!!!

Observao:
Na prtica, os smbolos auxiliares de pontuao s vezes no so escritos, quando
pertencem a um conetivo binrio que foi o ltimo usado na composio da
frmula; mas isso se trata apenas de um recurso de abreviao de escrita.
Teoricamente, os parnteses pertencem frmula mais complexa formada a partir
de duas mais simples por um dos conectivos binrios [, , , ]. Assim, cada
conectivo binrio usado com um par prprio de parnteses.

26

EXERCCIO
Classifique as expresses abaixo como termos, frmulas ou
expresses mal formadas. No caso das frmulas, diga se so atmicas,
gerais ou moleculares.
j) (a=a x=x)

a) x=y
1

l) P P

b) F x=F y
2

m) x y z (x=y x=z)

c) h xy=f a
2

d) (F ax (x=a y F h y))
1

n) x y x=y
1

e) f x=h xy

o) x f x=x

f) ( P y P)

p) (x x=f a y F y)

g) x y (x=y z (z=x z=y))

q) x = y

h) x y x=y

r) z (F az (P P))

i) a (a=x a=b)

Na leitura de uma frmula complexa, pode ser de especial importncia a


identificao de cada par de parnteses e de cada conectivo binrio
correspondente ao par. Para tanto, podemos usar o algoritmo abaixo
descrito:

Algoritmo de ordenao e emparelhamento dos parnteses


numa frmula.
1) Numere, da esquerda para a direita em ordem crescente cada um dos
parnteses que abrem que ocorrem em . Se n o nmero mais alto
obtido, ento repita n vezes o procedimento 2, abaixo:
2) Da esquerda para a direita, procure o primeiro dos parnteses que
fecham ainda no numerados; no segmento que antecede este smbolo,
procure o nmero mais alto ainda no usado; numere o smbolo com
este nmero; no interior do par de parnteses com este nmero deve
haver um nico conectivo binrio ainda no-numerado; numere-o
tambm com este nmero.

27

Por meio deste algoritmo, procedemos a um emparelhamento dos


parnteses, assim como a uma associao de cada par deles ao conectivo
binrio correspondente.
Observemos que se esse algoritmo no puder ser corretamente levado
a termo, a expresso em questo no uma frmula. Assim, a boa
aplicao desse algoritmo constitui uma condio necessria (mas no
suficiente) da correo gramatical de uma frmula que contm conectivos
binrios.

Complexidade de uma frmula


Como vimos, as frmulas podem ser atmicas ou geradas a partir de
atmicas por meio da aplicao sucessiva de regras de introduo de
quantificadores e/ou conectivos.
Podemos ordenar o conjunto das frmulas de acordo com o nmero de
aplicaes das regras de gerao das mesmas, ou seja de acordo com a
sua complexidade. Como cada aplicao introduz um conectivo ou um
smbolo de quantificao, dizemos que a complexidade de uma frmula
o nmero de ocorrncias de conectivos e/ou quantificadores em ; se n
esse nmero, escrevemos: Cpl [] = n. Assim:
a) as frmulas atmicas tm complexidade 0 (zero); e
b) Cpl [] = Cpl [] + 1
c) Cpl [ * ] = Cpl [] + Cpl [] + 1, para * {, , , }
d) Cpl [Q] = Cpl [] + 1, para Q {, }
Se tem complexidade maior que 0 (zero) ento de uma das
seguintes formas: , (1 * 2), Q; ou seja, o smbolo mais esquerda
de um dos seguintes quatro: , (, , . Nos primeiros dois casos,
dizemos que molecular; nos ltimos dois, que geral.

28

Exemplos:
a) Estas trs frmulas so moleculares:
F1x , (P (xF1x Q)),

xyR2xy

b) E estas so gerais:
xF1x,

y(H2xy R2ay),

xyR2xy

Introduzimos, agora, a noo de subfrmula de uma frmula.


Dizemos que subfrmula de uma frmula se:
a prpria ;
existe uma subfrmula de de uma das seguintes formas:
a)
b) ( * )
c) ( * )
d) Q;
onde * {, , , } e Q {, }.

Exemplo: seja : x (y (H2xy R2ax) F1x). As subfrmulas de so as


seguintes:
(1)
(2)
(3)
(4)

x (y (H2xy R2ax) F1x)


(y (H2xy R2ax) F1x)
y (H2xy R2ax)
F1x

(5)
(6)
(7)
(8)

y (H2xy R2ax)
(H2xy R2ax)
H2xy
R2ax

Explicao: (1) subfrmula de porque a prpria ; como (1) da forma


(2), (2) subfrmula de ; como (2) da forma ((3) (4)), (3) e (4) so
subfrmulas de ; como (3) da forma (5), (5) subfrmula de ; como (5)
da forma (6), (6) subfrmula de ; como (6) da forma ((7) (8)), (7) e (8)
so subfrmulas de .

Veremos, em seguida, como construir o que chamamos rvore de gerao


ou rvore de subfrmulas de uma frmula .

29

rvore de gerao ou rvore de subfrmulas de


Seja uma frmula. Para construir a rvore de subfrmulas (rvore
de gerao) de , procedemos da seguinte maneira:
1) Emparelhamos todos os parnteses que porventura ocorram em ,
associando-os a seus respectivos conectivos binrios.
2) O n inicial da rvore formado pela prpria ;
3) Seja a frmula que ocorre em um n da rvore; ento: se atmica,
o n dito terminal; se no atmica, ento, se o primeiro smbolo que
ocorre em :
3.1) : adicionamos mais um n com a expresso que se segue;
3.2) ( : acrescentamos dois novos ns com as expresses que se
encontram entre ( e o conectivo * e entre * e ) ( , *, ) so
associados ao mesmo nmero.
3.3) Q : acrescentamos um novo n com o que se segue varivel que
est imediatamente depois de Q.
A rvore estar terminada aps n passos, onde n a complexidade da
frmula . Observe-se que as condies 3.1), 3.2) e 3.3) so regras de
decomposio que correspondem exatamente ao inverso das regras de
complexificao da definio de frmula.
Exemplo: rvore de gerao de x (F1x (G1x P))

Os ns terminais da rvore so: F1x, G1x, P.

30

Outro exemplo: rvore de ((x a = x R2ax) y (a = y R2xy))

Note-se que uma expresso uma frmula se e s se tiver uma rvore de


subfrmulas assim construda, contendo frmulas atmicas nos seus terminais.
Note-se, ainda, que a rvore de uma dada frmula tem uma certa
configurao grfica que corresponde estrutura gramatical de . Assim a rvore
do exemplo acima tem a seguinte configurao:

1
2
3
5

4
6

7
9

10

11

Nessa rvore, os ns (8), (6), (10) e (11) so ns terminais. Como em qualquer


rvore, (1) o n inicial.

Um ramo de uma rvore uma seqncia de ns que vai do n inicial


a um n terminal. Dessa forma, uma rvore ter tantos ramos quantos
sejam os seus terminais. No exemplo, os quatro ramos so:
a) (1),
b) (1),
c) (1),
d) (1),

(2),
(2),
(2),
(2),

(3),
(3),
(4),
(4),

(5), (8)
(6)
(7), (9), (10)
(7), (9), (11)

31

Observemos, ainda, que, se uma ocorrncia de e uma ocorrncia de


estiverem num mesmo ramo, subfrmula de se e s se a
ocorrncia de preceder a de no ramo.
Assim, no exemplo anterior, observa-se claramente que: (8)
subfrmula de (5), mas no de (6); (5) e (6) so subfrmulas de (3), mas
(7) no subfrmula de (3); e todas as onze frmulas so subfrmula de
(1).

EXERCCIO:
Construa a rvore de gerao de cada uma das frmulas abaixo:
1

a) x (F x G x)
1
1
2
b) (x (F x G x) y xy)
2

c) (x F xy (z (H zx G xz) G xz))
2
2 1
2
2
2
d) x (y (H xy F h ab) (Q (F xz H ag xb)))

rvores moleculares
Um outro tipo de rvore que pode ser definida a rvore molecular de
uma frmula. A rvore molecular difere da rvore de subfrmula por no
admitir decomposio por quantificadores; assim, seus terminais sero
atmicos ou gerais.
A definio da construo de uma rvore molecular pode ser obtida a
partir da definio da construo de rvore de subfrmulas, eliminando-se
a clusula 3.3. Portanto, a seguinte a rvore molecular de
((x a = x R2ax) y(a = y R2yx)):

E a rvore molecular de x (F1x (G1x P)) tem apenas um n,


constando, assim, apenas dessa mesma frmula.

32

EXERCCIO:
Construa a rvore molecular de:
1

a) ((x F x F a) x (F a F x))
1
1
1
1
1
b) ((F a G b) ( x F x (F a G b)))
1

c) (((F a x G x) (G a x G x)) x (G a F x))


2
1
1
1
2
d)( (x y R xy x (F a F x)) (F a x y R xy))

Vamos agora analisar os dois distintos modos segundo os quais uma


varivel pode ocorrer numa frmula.

Ocorrncia ligada ou livre de uma varivel numa frmula


Dizemos que uma ocorrncia de uma varivel numa frmula
ligada se ela se d numa subfrmula de da forma ou . Se a
ocorrncia de em no ligada, ela se diz livre.
Exemplos: Na frmula (x(F2xy G1x) yR2yx), a varivel x tem quatro
ocorrncias. As trs primeiras so ligadas porque se do dentro da subfrmula
x(F2xy G1x) e a ltima livre; a varivel y tem trs ocorrncias; a primeira
livre, as demais so ligadas, pois se do dentro da subfrmula yR2yx.

Observemos que uma ocorrncia de uma varivel numa frmula


ligada (ou livre) se e somente se ela for ligada (ou livre) no respectivo
terminal da rvore molecular de .
Analisemos mais um exemplo:

As duas primeiras ocorrncias de x se do no terminal x(R2xa F1y);


portanto, so ligadas; a ltima se d no terminal z(R2xz yG1y); portanto,
livre. A primeira ocorrncia de y se d em x(R2xa F1y); assim, livre; as
demais se do em z(R2xz yG1y); ora essa frmula tem a subfrmula yG1y,
onde se do as ocorrncias; ento elas so ligadas. Claramente, as ocorrncias de
z so todas ligadas.

33

EXERCCIO:
Nas frmulas abaixo, classifique as ocorrncias das variveis como livres ou
ligadas.
2

a) x (F xy y (y=a (z F z h zy=x)))
2

b) ( h xy=a z (y h yz=x y z=y))


c) ((x a = x R2ax) y(a = y R2yx)):

Sentenas de L
Podemos, agora, definir o conceito de sentena de L
Uma sentena de L uma frmula de L onde nenhuma ocorrncia de
varivel livre. Toda sentena tambm chamada de frmula fechada.
Observao
Nas frmulas atmicas todas as ocorrncias de variveis so livres. Assim, as
sentenas atmicas so frmulas atmicas que no contm variveis. As
ocorrncias ligadas de variveis s aparecem em frmulas complexas que
contm quantificadores.

Exemplos de sentenas:
P

F1a

R2ab

R2cb

xF1x

x(F1x G1x)

xyR2xy

(xF1x F1a)

(P Q)

(xFx y(zR2yz wR2wy))

z(P Q)

Uma relao importante entre as sentenas de L e suas rvores


moleculares a seguinte: uma frmula uma sentena se e somente se
todos os terminais de sua rvore molecular so sentenas. Essa
propriedade decorre claramente do fato de que na decomposio molecular
nenhum quantificador eliminado.

34

EXERCCIO:
2

1 1

1) Seja a frmula x (y (F af y z f z=a) H f a). Indique:


a) os termos fechados que ocorrem em ;
b) as subfrmulas atmicas que ocorrem em ;
c) as subfrmulas de que so sentenas gerais.

2) Identifique, entre as expresses abaixo, as frmulas; a seguir, (i)


classifique-as como atmicas, gerais ou moleculares, e (ii) identifique as
que so sentenas.
a) F1x
b) F1xa
c) G2af1b
d) x F1 x
e) x F1 a
f) x F1x F1a
g) (x F1 x F1 a)
h) (x=y)
i) x F1y
j) (h1 x g1y)
l) x (x=y f1x=z)

m) F1x=F1 y
n) (x y G2xy y x G2xy)
o) (x F1x F1x)
p) x (F1 x F1x)
q) ( P x P)
r) (x F1x) (x G1x)
s) (x=y f1x=f1y)
t) (h2xy=z (x F1x y y=z))
u) x y (h2xf1y=x H2yx)
v) x y (F2xy f1x=h2yx)
x) 5+4=9

Componentes sentenciais bsicos de uma sentena


Seja uma sentena. Dizemos que um componente bsico de se
ocorre pelo menos uma vez como terminal da rvore molecular de .
Exemplo:
Tomemos a rvore molecular de (xF1x (yR2ya (xF1x F1a)))

Os componentes bsicos so: xF1x, yR2ya, F1a

35

Tomemos, como novo exemplo, a rvore molecular de


((x(G1a F1x) y(F1a G1y)) (yG1y (F1a xG1x))).

Os componentes bsicos so: x(G1a F1x), y(F1a G1y), yG1y, F1a,


1

xG x.
Observe-se que, embora a sentena G1a seja uma subfrmula de que
uma sentena, G1a no um componente bsico de , pois no ocorre nem uma
vez como terminal da rvore molecular de .

Sentenas CS
Seja uma sentena formada apenas com letras sentenciais e/ou
conectivos. Ento dita uma frmula CS ou uma sentena CS. Nesse
caso, a noo de frmula e de sentena coincidem, uma vez que no pode
haver variveis em . A expresso CS abrevia clculo sentencial. O
clculo sentencial um subclculo do Clculo de Predicados e ser
estudado proximamente.
As sentenas CS foram aqui definidas a partir das frmulas do clculo
dos predicados. No entanto, podemos dar diretamente uma definio
indutiva para elas, como se segue:
1) As letras sentenciais so sentenas CS;
2) Se e so sentenas CS, ento
a) uma sentena CS;
b) ( * ) uma sentena CS, para * {, , , }.

36

Seja, agora, uma sentena qualquer. Dizemos que uma CSassociada de se pode ser obtida a partir de pela substituio de cada
componente bsico de por uma (distinta) letra sentencial.

Exemplos:
1) Seja a sentena ((xF1x yxR2xy) (xF1x R2ab)).
Seus componentes bsicos so: xF1x, yxR2xy, R2ab.
Substituindo-os pelas letras sentenciais: P, Q, R, obtemos a CS-associada:
((P Q) (P R)).
Obviamente, se houvssemos escolhido as letras A, B, C, obteramos uma outra
CS-associada: ((A B) (A C)).
2) Seja : x((F1x G1x) yR2xy). Como seu nico componente bsico,
qualquer letra sentencial uma CS-associada de .
3) Seja : (x(F1x (G1a H1a)) (G1a (G1a xF1x))). Os componentes
bsicos de so: x(F1x (G1a H1a)), G1a, xF1x. Ento, uma CS-associada de
a sentena: (P (Q (Q R))), por exemplo.

Observemos que se CS-associada de , as rvores moleculares de


e tm a mesma estrutura. De fato, podemos dizer que exibe a
estrutura molecular de .

EXERCCIO:
Para cada uma das sentenas abaixo:
1) construa sua rvore de composio molecular;
2) identifique seus componentes sentenciais bsicos;
3) construa uma CS-associada.
1

a) ((x F x F a) x (F a F x))
1
1
1
1
1
b) ((F a G b) ( x F x (F a G b)))
1

c) (((F a x G x) (G a x G x)) x (G a F x))


2
1
1
1
2
d) ( (x y R xy x (F a F x)) (F a x y R xy))
1

e) (x F x x F x)
2
1
1
2
1
f) ((x y R xy x (F x G x)) (x y R xy x F x))
1

g) ((x F x (R ab x F x)) (R ab ( x F x x F x)))

37

Semntica Proposicional

Vamos, por um momento, deixar de lado a linguagem L para


estudarmos a semntica de seu fragmento proposicional, i.e., a semntica
clssica do conjunto das sentenas CS.
Seja, ento, S o conjunto das sentenas CS; seja W2 um conjunto de
dois objetos distintos, doravante designados por V e F e chamados,
respectivamente, o Verdadeiro e o Falso. Uma valorao bivalente uma
funo qualquer do conjunto S no conjunto {V, F}. Assim, a funo que
associa o V a todas as sentenas de S uma valorao bivalente; assim
como aquela que associa o V a todas as atmicas e F s demais sentenas;
ou, ainda, a que associa o V a todas as sentenas nas quais P ocorre e F
s demais para apresentar apenas trs exemplos de valorao bivalente.
Observao: Neste livro estudamos a chamada lgica simblica clssica, que
trabalha apenas com um grupo especial de valoraes bivalentes. Outras lgicas,
ditas polivalentes, podem considerar outros tipos de valoraes e admitir um
conjunto maior, finito ou at mesmo infinito, de valores de verdade.

Podemos agora definir as valoraes bivalentes aceitas pela


semntica proposicional clssica: as valoraes booleanas. Uma valorao
booleana uma valorao bivalente tal que, para quaisquer , S,
temos que:
a) [] = V se e s se [] = F
b) [( )] = V se e s se [] = [] = V
c) [( )] = V se e s se [] = V ou [] = V
d) [( )] = V se e s se [] = F ou [] = V
e) [( )] = V se e s se [] = [].
Como vemos, as valoraes booleanas atribuem arbitrariamente
valores s letras sentenciais, enquanto os valores atribudos s sentenas
complexas so univocamente determinados pelos valores atribudos aos
componentes mais simples. Em vista disso, uma valorao booleana
totalmente determinada pelos valores que atribui s letras sentenciais de
S. Isso se deve ao fato de que, em vista da definio acima, cada uma das

38

cinco formas de frmulas complexas definida, por meio de condies


necessrias e suficientes, como uma funo (ou operao) cujos
argumentos e valores esto em {V, F}. Em outras palavras, cada um dos
conectivos definido como a expresso de uma funo de verdade
bivalente.
Observao: A definio de todos os conectivos como funes de verdade
bivalentes caracterstica da lgica proposicional clssica. Outras lgicas podem
definir alguns de seus conectivos como relaes de verdade que no dependem
funcionalmente apenas dos valores de verdade de suas subfrmulas. Assim, j
podemos destacar duas caractersticas bsicas da lgica proposicional clssica: 1)
trabalha apenas com dois valores de verdade; 2) seus conectivos expressam
funes de verdade.
Assim, a negao representa a funo de {V, F} em {V, F} definida pela tabela:
Argumento

V
F

Valor

F
V

Os quatro conectivos binrios expressam funes de {V, F}2 em {V, F}


definidas pelas tabelas abaixo:

Argumentos

V
V
F
F

V
F
V
F

( )
V
F
F
F

( )
V
V
V
F

Valores
( )
V
F
V
V

( )
V
F
F
V

Vamos, neste momento, abrir espao para uma pequena incurso na


teoria das funes de verdade. De modo geral, uma funo de verdade nria uma operao n-ria no conjunto {V, F} ou seja, uma funo
f: {V, F}n {V, F}.

39

Podemos verificar que h quatro funes de verdade unrias (abaixo


indicadas por f11, f21, f31, f41):

f11

f21

f31

f41

V F

F F

(tautologia)

(identidade)

(negao)

(contradio)

Essas quatro funes recebem os nomes que aparecem acima entre


parnteses. Podemos observar que, pelo que foi estabelecido
anteriormente, nas valoraes booleanas o conectivo expressa a funo
f31, acima.
As funes de verdade binrias so dezesseis, as ternrias so 256;
de modo geral, o nmero das funes de verdade n-rias dado por 22n.
Vamos relacionar, em seguida, as 16 funes de verdade binrias.
Para economizar espao, usaremos uma mesma tabela, com quatro linhas,
uma para cada combinao de valores dos argumentos e dezesseis colunas,
uma para cada funo binria, aqui denotadas por f12 ... f162:

f12

f22

f32

f42

f52

f62

f72

f82

f92

f102

f112

f122

f132

f142

f152

f162

Podemos observar que:

expressa a funo f122


expressa a funo f22
expressa a funo f42
expressa a funo f82
Entre as funes unrias e binrias, f31, f22, f42, f82, e f122 so as
funes diretamente expressveis na linguagem que adotamos aqui. As

40

outras, no entanto, so tambm expressveis por meio de composio, a


partir dessas cinco. Assim, por exemplo, a funo f52 obtida pela
composio de f31 com f122, como se v na tabela abaixo:
f122

f31 f122

Na verdade, possvel mostrar que qualquer funo de verdade n-ria


pode ser obtida por meio de composio reiterada, a partir de algumas
funes unrias e binrias, tomadas como primitivas. Um resultado
conhecido que, com a funo f52, possvel compor qualquer funo nria de verdade; e o mesmo vale para a funo f152. Tambm podemos
obter todas as funes de verdade usando os elementos do conjunto
{f31, f122}; o mesmo vale pare os conjuntos {f31, f22} e {f31, f42}. Como
podemos expressar f31, f122, f22, f42 na nossa linguagem, para cada funo
de verdade n-ria, teremos na nossa linguagem uma frmula, contendo n
letras sentencias, que expressa essa funo.
Observao: Quando uma linguagem tem a capacidade de expressar
qualquer funo de verdade, diz-se que ela funcionalmente completa. Uma
demonstrao da completude funcional da nossa linguagem pode ser encontrada
no Anexo I.
Para exemplificar, sejam , , frmulas quaisquer. Ento:
1) As quatro funes unrias podem ser expressas pelas frmulas ( ),
, , ( ), como mostra a tabela abaixo:

f21

V
F

f31

F
V

f11
( )
V
V

f41
( )
F
F

2) a) A funo f12 pode ser expressa por (( ) ( ));

41

b) As funes f122, f132, f142 e f152 podem ser expressas por ( ),


( ), ( ), ( ), como mostra a tabela:

V
V
F
F

V
F
V
F

F
F
V
V

f 122
()
V
F
F
F

F
V
F
V

f132
()
F
V
F
F

f142
()
F
F
V
F

f152
()
F
F
F
V

c) As funes f62, f72, f82, f92, f102, f112 podem assim ser expressas:

V
V
F
F

V
F
V
F

F
F
V
V

F
V
F
V

f 62
(())
V
V
F
F

f 72
(()))
V
F
V
F

f 82
()
V
F
F
V

f 92
()
F
V
V
F

f102
(())
F
V
F
V

f112
(())
F
F
V
V

d) As funes f22, f32, f42 e f52 podem ser expressas pelas negaes das
frmulas que expressem f152, f142, f132, f122, respectivamente.
e) A funo f162 pode ser expressa pela negao de uma frmula que
expresse f12.
3) No vamos aqui examinar cada uma das funes n-rias para n > 2.
Apenas como exemplo, consideremos duas funes ternrias, g e h, tais
que:
g recebe o valor V para a trinca {V, F, V} e recebe o F nos demais casos;
h recebe V para {V, F, V} e para {F, F, F} e recebe F nos demais casos.
Ento

(( ) )

((( ) ) (( ) ))

expressam,

respectivamente, as funes g e h, como se v na tabela abaixo:

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F


F
F
F
F
F
V
F
V
V
F
V
F
V
V
V
V

F
V
F
V
F
V
F
V

g
() () (())
F
F
F
F
F
F
V
F
V
V
F
F
F
F
F
F
F
F
F
V
F
F
V
F

(())
F
F
F
F
F
F
F
V

h
((())(()))
F
F
V
F
F
F
F
V

42

Observao:

Nos

exemplos

anteriores,

as

frmulas

apontadas

como

expresses das funes indicadas eram apenas algumas entre classes de


frmulas que cumprem o mesmo papel. Assim, a funo f122, por exemplo,
pode ser expressa por uma infinidade de diferentes frmulas, entre as quais
figuram: ( ), ( ), ( ) etc..

Nossa linguagem dispe, ento, de cinco conectivos que expressam


diretamente: uma funo unria, f31, e quatro funes binrias, f22, f42, f82,
f122. Mostremos, agora, que, embora teis, alguns desses conectivos no
seriam, em princpio, necessrios. Para isso, sejam:
1) L : a linguagem que contm letras sentenciais e os conectivos ,
;
2) L : a linguagem que contm letras sentenciais e os conectivos ,
;
3) L : a linguagem que contm letras sentenciais e os conectivos ,
.
Mostramos, a seguir, como, em cada uma dessas linguagens,
podemos definir os demais conectivos:
( )
( )
( )

=df
=df
=df

( )
( )
(( ) ( ))

2) Em L , ( )
( )
( )

=df
=df
=df

( )
( )
(( ) ( ))

3) Em L , ( )
( )
( )

=df
=df
=df

( )
( )
(( ) ( ))

1) Em L ,

A razo pela qual usamos os cinco conectivos est ligada ao fato de


que com eles abreviamos muitas frmulas (veja-se por exemplo o
comprimento das definies de uma bi-condicional nas linguagens acima!).

43

Pode, assim, ser mais cmodo trabalhar com um nmero maior de


conectivos. No entanto, em vez de tomar como primitivos os cinco
conectivos
ou
seja,
em
vez
de
adotar
a
linguagem
L ,,,,, poderamos ter preferido trabalhar com L , com L ou com L .

Retornemos s valoraes booleanas. Seja uma frmula CS com n


letras sentenciais, 1,..., n. Ento:
1) Como todos os conectivos se comportam como funes de verdade,
se conhecermos os valores que uma valorao booleana atribui s
letras sentenciais 1,...,n, podemos calcular o valor que ela atribui
a cada uma das frmulas e conectivos; conseqentemente,
podemos calcular o valor de nessa valorao.
Exemplo: Seja = (P (Q R)) e seja a valorao que atribui V
a P e a Q e F a R.

(Q R)

(P (Q R))

2) Notemos que esse ser tambm o comportamento de qualquer


outra valorao que concorde com nas letras sentenciais que
ocorrem em . Podemos, ento, enunciar um princpio geral:
Para quaisquer valoraes booleanas, , , se elas
concordam nos valores que atribuem a cada uma das letras
sentenciais que ocorrem em uma sentena CS , ento elas
concordam no valor que atribuem a .
3) Ora, toda frmula CS tem um nmero finito de letras sentenciais,
digamos, n. Como h apenas dois valores de verdade, existem
exatamente 2n combinaes de {V, F} em grupos de n, ou seja, h
exatamente 2n n-uplas formadas com os valores do conjunto
{V, F}. Se quisermos, portanto, estudar o comportamento de uma
frmula no conjunto de todas as valoraes booleanas, ser
suficiente considerarmos 2n valoraes que diferem entre si por
pelo menos um dos valores atribudos a uma letra sentencial de pois qualquer valorao booleana concordar nas letras sentenciais
de com alguma dessas 2n valoraes consideradas.

44

Por exemplo:
Tomemos = (P (Q P)). Como temos duas letras sentenciais
envolvidas, h 22 possibilidades distintas de atribuir os elementos de {V,
F} aos elementos de {P, Q}, esquematizados abaixo:
P

Cada uma das linhas, de 1 a 4, representa uma atribuio possvel dos


valores de {V, F} aos elementos de {P, Q}.
Com respeito ao conjunto {P, Q}, as valoraes booleanas dividem-se
portanto em quatro grupos (ou classes de equivalncia em {P, Q}), cada
um deles representado por uma das linhas da tabela acima. Nela, a linha 1
representa todas as valoraes que atribuem V a P e a Q; a linha 2,
todas as valoraes que atribuem V a P e F a Q; e assim por diante.

4) Podemos, ento, definir o que uma tabela de verdade para uma


frmula . Se todas as letras sentenciais de uma frmula CS
esto no conjunto {1, ..., n}, uma tabela de verdade para
uma construo contendo 1 + 2n linhas tais que: a primeira linha
leva a numerao 0 (zero) e contm as letras sentenciais 1, ...,
n; essa linha dita o cabealho da tabela. As demais linhas,
numeradas de 1 a 2n, contm as 2n n-uplas que podem ser
formadas com os elementos do conjunto {V, F}, obtidas pelo
seguinte mtodo:
a coluna correspondente a 1, preenchida por 2n-1
ocorrncias de V seguidas de 2n-1 ocorrncias de F;
a coluna correspondente a 2, por 2n-2 ocorrncias de V,
seguidas por 2n-2 ocorrncias de F, por 2n-2 ocorrncias de
V e por 2n-2 ocorrncias de F.
a coluna correspondente a n, por 2n-n ocorrncias de V,
seguidas por 2n-n ocorrncias de F, seguidas por 2n-n

45

ocorrncias de V, , seguidas por 2n-n ocorrncias de F;


ou seja, essa coluna formada por um V, seguido por um
F, por outro V, por outro F,..., at a linha de nmero 2n
que conter um F.
O procedimento acima poderia ainda ser resumido pela seguinte
receita: para obter a coluna da i-sima letra sentencial, i, onde 1
i n, preenchemos a coluna com 2n-i ocorrncias de V seguidas por
2n-i ocorrncias de F; aplicando 2i-1 vezes este procedimento,
preencheremos as 2n vagas da coluna.
Assim, por exemplo, se as letras sentenciais so os elementos do conjunto
{P, Q, R}, construmos:

A linha 0 o cabealho da tabela.


A coluna 1 foi obtida por 21-1 (i.e. 20, i.e. 1) aplicaes do procedimento:
escrever 23-1 vezes o V e 23-1 vezes o F.
A coluna 2 foi obtida por 22-1 (i.e. 21, i.e. 2) aplicaes do procedimento:
escrever 23-2 vezes o V e 23-2 o F.
A coluna de R foi obtida por 23-1 (i.e. 22, i.e. 4) aplicaes do
procedimento: escrever 23-3 (i.e. 1) vezes o valor V e 23-3 vezes o valor
F.

46

5) Numa tabela de verdade para podemos, ento, calcular o


comportamento de em todas as valoraes booleanas. Para tanto,
basta construir a tabela e ir estendendo o cabealho at que todas
as subfrmulas de nele constem. Em seguida, procedemos ao
clculo do comportamento das subfrmulas de segundo as regras
para os conectivos definidas pelas valoraes booleanas.
Exemplo: Seja a frmula (((P Q) (S R)) Q).
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

P
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

Q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

R
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

S
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

P
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

(P Q)
F
F
F
F
F
F
F
F
V
V
V
V
F
F
F
F

(S R) ((P Q) (S R))
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
V
V
V

(((P Q) (S R)) Q)
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

Analogamente, seja um conjunto finito de frmulas CS e T uma tabela de


verdade que contm em seu cabealho todas as letras sentenciais que
ocorrem nos elementos de . Ento dizemos que T uma tabela de verdade
adequada para ou, simplesmente, que T uma tabela para .

EXERCCIOS:
1) Construa, para cada um dos conjuntos de frmulas abaixo, uma tabela
adequada para ele.
a) {P ,Q, (P (PQ)) }
b) {(P (Q R)), (S v R), (P Q) }

2) s vezes dizemos que duas frmulas CS so equivalentes se elas


expressam a mesma funo de verdade. Segue-se da que Pe Q so
frmulas equivalentes? Explique a questo e as dificuldades envolvidas.

47

Introduziremos, a seguir, quatro conceitos bsicos para o clculo


sentencial: os conceitos de modelo verifuncional de um conjunto de
frmulas CS; o de tautologia; o de consistncia verifuncional; e o de
conseqncia tautolgica.

Conceitos fundamentais da semntica proposicional

Seja um conjunto de frmulas CS e uma sentena CS.


1) Dizemos que uma valorao booleana um modelo
verifuncional de se atribui o valor de verdade V a todos os
elementos de .
Exemplo:
Seja o conjunto {(P (Q R)), (P Q), (S R)}. Ento, qualquer
valorao booleana que d o valor V a P e a R, e o valor F a Q e a S
um modelo verifuncional de , como se pode ver no clculo abaixo:

Q R

(Q R)
V

(P (Q R))
V

(P Q)
V

(S R)
V

2) Dizemos que um conjunto de frmulas CS verifuncionalmente


consistente se tiver pelo menos um modelo verifuncional. Assim,
o conjunto do exemplo acima um conjunto verifuncionalmente
consistente.
Observe-se que h conjuntos que no so verifuncionalmente
consistentes, i.e. que no tm nenhum modelo, i.e.: no h
nenhuma valorao booleana que atribua o valor V a cada um dos
seus elementos
Exemplos:
O conjunto {P, P} no verifuncionalmente consistente, pois nenhuma
valorao booleana atribui V a P e V a P. Analogamente, o conjunto {P,

48

(P Q), Q} no verifuncionalmente consistente, pois toda valorao


booleana que atribui V a P e a Q atribui F a (P Q).

Se o conjunto finito, podemos usar uma tabela de verdade


adequada para com o intuito de testar a consistncia verifuncional
de : ser consistente se houver uma mesma linha da tabela na
qual todos os elementos de recebem V; uma linha como essa
representa uma classe de equivalncia de valoraes booleanas que
so modelos de .

Tomemos, por exemplo, o conjunto {(P Q), (Q R), (P R)}:

0 P Q R

(P Q)

(Q R)

(P R)

1 V V V

2 V V F

3 V F V

4 V F F

5 F V V

6 F V F

7 F F V

8 F F F

Como vemos, as linhas 2, 3, 4 satisfazem a condio estipulada; assim,


cada uma delas representa uma classe de modelos verifuncionais de .

Dizemos, ainda, que uma sentena verifuncionalmente


compatvel com o conjunto de sentenas , se verdadeira em
algum modelo de , ou seja, se o conjunto {}
verifuncionalmente consistente.

49

Observaes:
a) Para qualquer valorao booleana , a sentena abaixo verdadeira: para
todo , () = V. Ou seja, qualquer valorao booleana modelo
verifuncional do conjunto vazio. Assim, um conjunto consistente
verifuncionalmente.
b) O conjunto de todas as sentenas CS um conjunto inconsistente, uma
vez que contm frmulas e suas negaes.

3) Dizemos que uma frmula CS uma tautologia se recebe o


valor de verdade V em todas as valoraes booleanas. Assim,
uma tautologia se e s se a coluna correspondente a , numa
tabela de verdade que contenha todas as letras sentenciais de ,
formada apenas por ocorrncias de V.

H um resultado simples e importante concernindo s tautologias:


seja uma frmula, uma letra sentencial que ocorre em e seja
a frmula que resulta de pela substituio de todas as
ocorrncias de por ocorrncias de (indicamos essa ltima
condio escrevendo: = /); nesse caso:
se for uma tautologia, ento tambm ser uma tautologia.
fcil compreender por que essa afirmao vale. Se no fosse uma
tautologia, existiria uma valorao booleana que falsificaria ;
seja agora a valorao booleana que atribui a o valor que
atribui a e que concorda com nos valores atribudos s demais
letras sentenciais de ; ento, () = () = F. Assim, se existe
tal que () = F, ento existe tal que () = F. Portanto, se no
existe tal que () = F, tambm no existe tal que () = F, ou
seja: se tautologia, ento tambm tautologia.
Por causa do resultado que acabamos de expor, em vez de dar
exemplos de frmulas que so tautologias, costumamos apresentar
esquemas de frmulas tautolgicas, i.e. esquemas cujas
especificaes so, todas, tautologias. Assim, por exemplo, o
esquema ( ) um esquema tautolgico: todas as frmulas da
forma desse esquema, i.e. todas as frmulas obtidas pela
especificao da frmula , como (P P), ((P Q) (P Q))
etc., so tautologias.

50

H infinitos esquemas tautolgicos. Alguns deles, no entanto, por


serem simples e representarem leis lgicas fundamentais, recebem
nomes especiais. Vamos apresentar trs grupos de esquemas
tautolgicos.

Grupo I: Equivalncias Tautolgicas


( )

Dupla negao

(( * ) ( * ))

Comutao para * {, , }

((( * ) * ) ( * ( * ))

Associao para * {, , }

(( ) ( ))

Contraposio

(( * ) ( ))

de Morgan, onde se

* = ento =

e se

* = ento =

(( * ) ( ))
(( ( * )) (( ) * ( )))

Distributiva, onde se * = ento =

(( * ) )

Contrao onde * {, }

((( ) ) ( ( )))

Exportao/Importao

(( ) ( ))

Definio da implicao em L

(( ) ( ))

Definio da implicao em L

(( ) ( ))

Definio da conjuno em L

(( ) ( ))

Definio da disjuno em L

(( * ( * )) ( * ))

Absoro para * {, }

(( * ( )) )

onde se * = ento =

se * = ento =

se * = ento =
(( ) (( ) ( )))

Definies da equivalncia

(( ) (( * ) ( * )))

onde se * = ento =

(( ) (( * ) ( * )))

se * = ento =

(( ) ( ))
(( ) ( )

Negaes de equivalentes

51

Grupo II: Implicaes Tautolgicas


( ( ))

Prefixao por implicao

(( ) )

Eliminao do primeiro conjuntivo

(( ) )

Eliminao do segundo conjuntivo

( ( ))

Introduo do primeiro disjuntivo

( ( ))

Introduo do segundo disjuntivo

( ( ))

Lei de Duns Scott 1

( ( ))

Lei de Duns Scott 2

(( ) (( ) ))

Lei de Reduo ao Absurdo (Introd.)

(( ) (( ) ))

Lei de Reduo ao Absurdo (Elimin.)

( ( ( )))

Introduo da conjuno

(( ) (( ) (( ) )))

Eliminao da disjuno

(( ) )

Reduo de casos

(( ) )

Reduo de casos

Grupo III:
( )

Lei do Terceiro Excludo

( )

Lei da No Contradio

( )

Lei da Identidade Proposicional

Ao lado das tautologias, consideremos aquelas frmulas CS que so


falsas em qualquer valorao booleana (como, por exemplo, as
especificaes do esquema ( ). Tais frmulas so ditas
contradies.
Se, agora, representarmos por
um esquema tautolgico e por
um esquema contraditrio, teremos, ainda, a possibilidade de
formular os seguintes esquemas de leis proposicionais:

52

( )
(( ) )
(( ) )
(( ) )
(( ) )
(( ) )
(( ) )
(( ) )
(( ) )

4) Dizemos que uma frmula conseqncia tautolgica de um


conjunto de sentenas , se todo modelo verifuncional de atribui
o valor V a .

Exemplo:
Q uma conseqncia tautolgica do conjunto {P, (P Q)} pois: se
um modelo de {P, (P Q)}, ento (P) = V e ((P Q)) = V; nesse caso,
necessariamente, (Q) = V.
Contra-exemplo:
Q no uma conseqncia tautolgica de {P, (Q P)}, pois existe uma
valorao booleana tal que (P) = V e ((Q P)) = V, mas (Q) = F;
assim, modelo de {P, (Q P)}, mas falsifica Q.

Uma propriedade anloga que expressamos acima, quando


falamos das tautologias, vale para a relao de conseqncia
tautolgica. Seja / o resultado da substituio de todas as
ocorrncias da letra sentencial nos elementos de por ocorrncias
da frmula CS . Ento a seguinte propriedade vale para todo
conjunto de frmulas CS e quaisquer frmulas CS , :

53

se conseqncia tautolgica
conseqncia tautolgica de /.

de

ento

A justificao dessa propriedade semelhante justificao


apresentada no caso das tautologias. Ela nos motiva, igualmente, a
falar em esquemas da conseqncia tautolgica.

Enunciamos, abaixo, algumas propriedades


conseqncia tautolgica (usaremos a notao
sentena conseqncia tautolgica de ).

da relao de
para abreviar a

(1) se e s se uma tautologia;


(2) se ento ;
(3) se e ento ;
(4) ( ) se e s se verifuncionalmente inconsistente;
(5){} se e s se ( ) uma tautologia;
(6) {1, ..., n} se e s se (((1 ...) n) ) uma tautologia.

Em virtude da propriedade (6), podemos sempre decidir se uma


frmula conseqncia tautolgica de um conjunto finito {1, ...,
n} de frmulas. Para isso suficiente tomar a conjuno
generalizada dos elementos do conjunto como antecedente de uma
condicional cujo conseqente e testar esta frmula numa tabela
de verdade: se for tautolgica, conseqncia tautolgica de {1,
..., n}; se no for, cada linha em que a implicao falsa
corresponde a uma classe de valoraes que so modelos de
{1,...,n} e falsificam .
Casos importantes de relao de conseqncia tautolgica
a) Para cada um dos esquemas (

) de equivalncias
tautolgicas dadas na seo anterior temos: {E}
E e
{E} E;
b) Para cada um dos esquemas (E E) de implicaes tautolgicas
dadas na seo anterior temos: {E} E;
c) (E1 (E2 ... (En E) ...)) um esquema tautolgico se e
s se {E1, E2, ..., En} E.

54

Destaquemos alguns exemplos importantes:


{, ( )}

Modus Ponens

{, ( )}
{( ), ( )}

Modus Tollens
( )

Silogismos Hipottico

{( ), }

Silogismo Disjuntivo

{( ), }

Silogismo Disjuntivo

{, }

( ), ( ), ( )}

Duns Scott

Prova por Casos

Observaes:
Quando queremos saber se conseqncia tautolgica de um conjunto
finito de frmulas {1, ..., n}, se no quisermos construir toda a tabela para
{1, ..., n} {}, podemos proceder de uma das seguintes maneiras:
a) Considerar todas as linhas que verificam todos os elementos de
{1, ..., n} e verificar se verdadeira em todas elas (caso em que
ser conseqncia tautolgica de {1, ..., n});
c) Considerar todas as linhas que falsificam e verificar se alguma delas
modelo de {1, ..., n} (caso em que no conseqncia tautolgica
{1, ..., n}) ou se nenhuma delas modelo de {1, ..., n} (caso em que
conseqncia tautolgica de {1, ..., n}).

EXERCCIOS
1) Construa a tabela de verdade de:
a) (A ((B B) A))
b) ((A (B C)) B)
c) (((A B) (C D)) (A C))

55

2) Quais das sentenas abaixo so tautologias? Justifique a resposta.


a) ((A (B C)) (A B))
b) (( B A) (B A))
c) ((A B) (A C))
d) ((A B) A)
e) ((A B) (C (A B)))

f) (( A B) (A B))
g) ( (B (C B)) (C B))
h) ((( A B) (A B)) (B A))
i) ((P (R S)) (P (R S)))

3) Sejam:
1
2
3
4

=
=
=
=

((A (B C)) (A B))


(( B A) (B A))
((A B) (A C))
((A B) A)

5 = ((A B) (C (A B)))
6 = (( A B) (A B))
7 = (A (B C))
8 = ((A B) (A C))

3.1) Quais dos conjuntos abaixo so verifuncionalmente consistentes?


a) {1, 2, 4, 5}
b) {2, 3, 4, 6}

c) {3, 4, 5}
d) {6, 7, 8}

3.2) Verifique se:


a) 7 conseqncia tautolgica de {3, 6};
b) 4 verifuncionalmente equivalente a 2 ;
c) 8 verifuncionalmente incompatvel com 7 ;
d) 1 conseqncia tautologica de {1, 6}.

3.3) D exemplo de uma sentena no pertencente a {1, ..., 8} que


seja conseqncia tautolgica de {3, 4, 6}, mas no seja
conseqncia tautolgica de {1, 6}.

56

Aplicao dos conceitos proposicionais linguagem L


Vamos retornar linguagem L do Clculo de Predicados para aplicar
os conceitos proposicionais que acabamos de estudar. Para tanto, seja
um conjunto de sentenas de L, uma sentena de L e h uma funo de
sentenas bsicas (i.e. atmicas e gerais) em letras sentenciais. Ento:
h indicar o resultado da substituio de cada componente bsico
, de , por h();
h indicar o resultado da substituio de cada componente bsico
, que ocorra nos elementos de , por h().

Assim, h uma CS-associada de , pela associao h e h num


conjunto de CS-associadas dos elementos de , pela associao h.

Nessas condies:
- dizemos que uma valorao um modelo verifuncional de se
para alguma funo de sentenas bsicas em letras sentenciais, h,
[]=[h()] e um modelo verifuncional de h .
- dizemos que verifuncionalmente consistente se tem pelo
menos um modelo verifuncional;
- dizemos que tautolgica se para algum h (como acima) h
tautolgica;
- dizemos que conseqncia tautolgica de se, para algum h
(como acima), h h.

Observemos que:
Para algum h, h tautologia se e s se para toda h, h tautologia;
e
Para algum h, h conseqncia tautolgica de h se e s se para
todo h, h conseqncia tautolgica de h.

57

Assim, se quisermos saber se uma tautologia, tomamos uma CSassociada de e testamos essa sentena CS numa tabela de verdade. O
resultado obtido aplicvel a . Da mesma forma, se quisermos saber se
um conjunto finito {1, ..., n} tem como conseqncia tautolgica ,
encontramos um conjunto se sentenas CS-associadas de 1, ..., n,
(segundo uma mesma associao) e testamos se a associada de
conseqncia tautolgica das associadas de {1, ..., n}.

Dessa forma,
{(xF1x G1a), xF1x} G1a
pois {P, (P Q} Q
(xF1x xF1x) uma tautologia
pois (P P) uma tautologia.

Da mesma forma,
{(xF1x (F1a G1b)), F1a, (G1b xF1x)} verifuncionalmente
consistente,
pois {(P (Q R)), Q, (R S)} verifuncionalmente consistente,
uma vez que toda valorao booleana tal que (P) = (Q) = F e
(R) = (S) = V, por exemplo, verifica (P (Q R)), Q e (R S).

EXERCCIOS
1) Considere cada um dos seguintes conjuntos de sentenas:
2

1 = {((xy R xy x (R xa x=a)) xy R xy), x (y R xy y R yx),


2
xy R xy}
2
2
2 = {x y (R xy x=y), x y R xy, x y x=y}
2
1
1
1
1
2
3 = {x y (R xy (G x H y)), x (G x H x), x y R xy}
1
1
1
1
1
4
=
{(x
Fx

x
G x),
(x
Gx
x
(G x

H x)),
1
1
1
1
((x F x x G x) x (G x H x))}
2
2
2
2
5 = { x y (R xy R yx), x y ( x=y (R xy R yx))}

58

1.1) Quais deles so verifuncionalmente consistentes?


1.2) Quais das sentenas abaixo so conseqncias tautolgicas de 3 ?
1

a) ( x (G x H x) (x y (R xy (G x H y)) x y R xy))
2
2
1
1
b) (x y R xy x y (R xy (G x H y)))
1
1
2
c) ( x (G x H x) x y R xy)

1.3) D exemplo de sentena que no seja conseqncia tautolgica de 1.

59

Semntica de L (parte 2)

Para retornar semntica do clculo dos predicados e dar uma


definio de verdade para as sentenas da linguagem - isto , formular as
condies gerais para que uma sentena qualquer receba o valor de
verdade V numa interpretao qualquer - precisamos introduzir alguns
conceitos preliminares.
1. Constante especfica para . Seja uma frmula; dizemos que k a
constante especfica para se k a primeira constante individual, na
ordem alfabtica, que no ocorre em .

Exemplos:
Frmulas

Constante Especfica

F xa

b
2

x (R xb G a)
2

(yR xy G bc)

c
a

Observemos que a constante especfica uma funo, uma vez que a ordem
alfabtica fixa, que cada frmula finita (podendo, portanto, conter apenas
um nmero finito de constantes) e que h infinitas constantes individuais no
vocabulrio.

2. Seja uma frmula, uma varivel, um termo. Denotaremos que


/ o resultado da substituio de todas as ocorrncias livres de
em por ocorrncias de .

Exemplos:

(F1y zx (R2zy S2xy))

(F1a zx (R2za S2xa))

f1a

(xF1x yR2xy)

(xF1x yR2f1ay)

(xF1x yR2xy)

(xF1x yR2xy)

(F2zz xzR2xz)

(F2ww xzR2xz)

60

Observe-se que, no exemplo 3), / = , pois no h ocorrncias livres de em


. Assim, vacuamente, o resultado da substituio de todas as ocorrncias
livres de em por (em nada importa qual ).

3. Seja uma frmula contendo, no mximo, como varivel livre, seja k


a constante especfica para . Ento a sentena /k dita a instncia
especfica de . Note-se que:
a) o conceito de instncia especfica, uma vez que definido para as
frmulas com, no mximo, uma varivel livre, , uma funo: cada
frmula desse tipo tem uma e s uma instncia especfica.
b) As instncias especficas so necessariamente sentenas. Pois, se
tem, no mximo, como varivel livre, temos 2 casos:
- ocorre em ; ento no ocorre em /k , assim, /k no tem
variveis livres;
-

no

ocorre

em

ento

sentena

/k

Como vemos, nos dois casos, /k sentena.

4. Seja, agora, uma interpretao, uma constante individual. Dizemos


que uma -variante de se e diferem, no mximo no que
atribuem
a
.
Assim,
se

so
-variantes,
U = U; para toda letra sentencial , () = (); para todo
predicado n-rio n, ( n) = (n); para todo smbolo funcional n,
(n) = (n); para toda constante individual , se ,
() = ().

O conceito de -variante foi definido de tal forma que cada interpretao


seja -variante de si mesma; assim, dada uma interpretao , ele ter
tantas -variantes quantos so os objetos no seu universo. Alm disso,
se e so -variantes de , obviamente e so -variantes uma
da outra.
Podemos, agora, enunciar as condies gerais de verdade para as
sentenas de L.

61

Definio de Verdade para as sentenas de L


Seja uma interpretao. O valor de verdade associado por a uma
sentena , de L, em smbolos, v() definido por induo na
complexidade de , (indicada por Cx ()):
- (base) Cx () = 0; ento uma sentena atmica e v() j foi definido
na parte I.
- (passo indutivo) Cx () > 0. Ento, temos 7 casos:
= ;
ento v() = V se e s se v() = F;
se e s se v() = v() = V;
= (); ento v() = V
= (); ento v() = V
se e s se v() = V ou v() = V;
se e s se
v() = F ou v() = V;
= (); ento v() = V
= (); ento v() = V
se e s se
v() = v();
= ; ento v() = V
se e s se
v(/k) = V, para toda
k-variante de , onde k a constante especfica para ;
7) = ;
ento v() = V
se e s se v(/k) = V, para alguma
k-variante de , onde k a constante especfica para ;

1)
2)
3)
4)
5)
6)

Se v() V, ento v() = F.


Observaes gerais:
I - Pelas condies 1-5, verificamos imediatamente que as valoraes acima
definidas so valoraes booleanas. Ento, uma valorao induzida por uma
interpretao uma valorao booleana que respeita as condies de verdade para
as frmulas atmicas dadas na 1 parte e as condies de verdade 6-7 para as
frmulas gerais. Assim, toda v uma valorao booleana, mas nem toda
valorao booleana uma v. Esse fato pode ser representado pelo grfico :
valoraes quaisquer
valoraes booleanas
valoraes induzidas
por interpretaes

62

II-

Enquanto as condies 1-5 estabelecem que o valor de verdade de uma

sentena determinado pelos valores de verdade das suas subfrmulas imediatas,


no caso das condies 6-7 isso no se d. A razo para tal est no fato de que, por
um lado, se e ( ) so sentenas, e so sentenas (para {, , ,
}); mas, por outro, se e so sentenas, no se segue que seja uma
sentena: pode ocorrer livre em ! No entanto, se e so sentenas, /k
necessariamente uma sentena - e de menor complexidade!
III) Observemos o que ocorre com a sentena /k mencionada nas condies 6-7.
Como k a constante especfica para , k ocorre em /k onde e s onde a varivel
ocorre em . Quando passamos de uma interpretao k-variante para outra, k
o nico smbolo interpretvel de /k cujo significado alterado; assim, no h
alterao nos significados de nenhum dos smbolos interpretveis de ; ento, com
a variao das diferentes interpretaes k-variantes da interpretao dada, est-se
percorrendo o universo dessa interpretao com a constante k. Em outras
palavras, esto sendo considerados os valores possveis da varivel nessa
interpretao - que so os objetos do seu universo.
Tomemos um exemplo.
Seja uma frmula R2xa e seja uma interpretao cujo universo o conjunto
{1, 2, 3}, (a) = 1 e (R2) = {(1,2), (2,1), (3,2), (1,1)}. Ento, /k ser R2ba e
h 3 b-variantes; , e tais que (b) = 1, (b) = 2, (b) = 3. Ora, v(R2ba)
= V (pois (1,1) (R2)), v (R2ba) = V (pois (2,1) (R2)) e v (R2ba) = F (pois
(3,1) (R2)). Dizemos, ento, que 1, 2, 3 so valores possveis da varivel x;
que 1 e 2 so valores de x que satisfazem R2xa, que 3 um valor que no
satisfaz R2xa. Como os valores de uma varivel so sempre objetos de um
universo, dizemos tambm que 1 e 2 so objetos que satisfazem R2xa e 3 um
objeto que no satisfaz R2xa, na interpretao dada. Se um objeto satisfaz uma
frmula numa interpretao, ele tambm dito uma soluo para a frmula.
IV - Notemos ainda que, no enunciado das condies de verdade para , exigimos
que fosse uma sentena. Ora, quando ou , pode ocorrer que no
ocorra livre em . Nesse caso, j uma sentena e /k = ; e, para toda
interpretao estar definido v(); como k no ocorre em /k, teremos, ento
que v (/k) = v(/k) = v(), para todo k-variante de . Dessa forma, nesse
caso, h duas possibilidades: ou v(/k) = V, para qualquer k-variante de - e
isso acontece se v() = V; ou v (/k) = F, para qualquer k-variante de - se
v() = F. Segue-se, ento que, se uma sentena, temos s 2 possibilidades: ou

63

qualquer objeto satisfaz /k ou nenhum objeto satisfaz /k. Segue-se da que, se


uma sentena, v() = v() = v(), para qualquer interpretao.
V-

Em alguns dos comentrios feitos acima, usamos, intuitivamente, o

seguinte fato: o valor de verdade de uma sentena numa interpretao depende


apenas do universo de interpretao e do significado que ela atribui aos smbolos
interpretveis que ocorrem nessa sentena - sendo, portanto, irrelevantes os
significados dos demais smbolos interpretveis. A demonstrao rigorosa desse
fato costuma ser feita em um segundo curso, mais avanado.

Conjunto Soluo de uma frmula


Para definir, de modo geral, conceitos j introduzidos em
exemplos, seja uma frmula contendo, no mximo, como varivel livre;
seja k a constante especfica para e uma interpretao. Ento,

1) Para qualquer objeto o U, o um objeto que satisfaz na


interpretao se e somente se, para a k-variante de tal que
(k)=o, temos que v ( /k) = V. Se o um objeto que satisfaz em , o
uma soluo para em .
2) O conjunto soluo de em - em smbolos, CSol() - o subconjunto
de U que contm todos os objetos que satisfazem em .

De 1) e 2) segue-se que, se k a constante especfica para , para qualquer kvariante

de

(k)

CSol()

se

se

(/k)

V.

Se denotarmos por Cpl CSol() o complemento, com respeito a U, do CSol(),


temos que (k) Cpl CSol() se e s se (k) CSol (), se e s se v (/k) = F,
se e s se v (/k) = V. Portanto, podemos concluir: CSol (
) = Cpl CSol(
)
Observemos que mesmo se for uma sentena, i. , se no ocorrer
em , podemos falar em um CSol(); nesse caso, no entanto, teremos: CSol(
)=U,
se v(
) = V;

CSol (
) = , se v(
) = F.

64

Suponhamos, agora, que nas frmulas do conjunto {, } ocorra,


no mximo, a varivel como varivel livre. Examinemos, ento, quais
sero os conjuntos soluo das frmulas da forma (), para {, , ,
}. Obviamente, a constante especfica para cada uma das quatro
frmulas ser a mesma, digamos k. Verificamos que:
CSol (
) = CSol (
) CSol (
),
pois, para qualquer k-variante de , temos que (k) CSol (), se e s se v
(()/k) = V, se e s se v (/k /k) = V, se e s se v (/k) = v (/k) = V,
se e s se (k) CSol() e (k) CSol(), se e s se (k) CSol() CSol ().
CSol (
) = CSol (
) CSol (
),
pois, como ()/k = (/k /k), temos que v (()/k) = v (/k /k);
assim, v (()/k) = V se e s se v (/k) = V ou v (/k) = V; portanto,
(k)CSol(), se e s se (k) CSol () ou (k) CSol().
CSol (
) = Cpl CSol(
) CSol(
),
pois, como ()/k = (/k /k), temos que v (()/k) = V se e s se v
(/k

/k)

V,

se

se

v (/k)

ou

v (/k)

V;

por conseguinte, (k)CSol(() /k) se e s se (k) CSol() ou (k)CSol (),


se e s se (k)Cpl CSol() CSol().
CSol (
) = (CSol (
) CSol (
)) (Cpl CSol(
) Cpl CSol(
)).
Isso pode ser mostrado de forma anloga, levando-se em considerao o fato de
que v (()/k) = V se e s se v (/k) = v (/k) = V ou v (/k) = v (/k) =
F.

Suponhamos, agora, que a varivel ocorre livre em mas no


ocorre livre em . Nesse caso, uma sentena e, como vimos (p.63): se
v() = V, CSol() = U e se v () = F, CSol() = . Segue-se ento que:
Caso 1: v() = V

[e CSol() = U]:

- CSol() = CSol() = U CSol() = CSol();


- CSol () = CSol() = U CSol() = U;
- CSol() = Cpl CSol() CSol() = Cpl CSol() U = U;
- CSol() = Cpl CSol() CSol() = CSol() = CSol();
- CSol() = CSol() = CSol().

65

Caso 2: v () = F [e CSol() = ]:
- CSol() = CSol() = CSol() = ;
- CSol() = CSol() = CSol() = CSol();
- CSol() = CplCSol() CSol() = CplCSol() = CplCSol();
- CSol() = Cpl CSol() CSol() = U CSol() = U;
- CSol() = CSol() = Cpl CSol().

Examinamos, acima, as composies moleculares. Vejamos o que


acontece no caso da aplicao de um quantificador, Q a . Temos dois
casos a examinar:
Caso 1: ;
como a nica varivel que pode ocorrer livre em e no ocorre em ,
/k = ; portanto, CSol () = CSol () = CSol ()
Caso 2: = ;
ento e so sentenas, logo, CSol()=U se e somente se
v()=V; CSol() U se e s se v () = F; CSol() se e s se
v()=V e CSol() = se e s se v () = F

As afirmaes feitas para o caso 2, acima, podem ser justificadas passo a


passo a partir da definio de verdade.
No caso da sentena universal,
1. v() = V se e s se v (/k) = V para toda k-variante de .
2. Ora, um objeto oU soluo para se e s se v(/k) = V para a
k-variante de tal que (k) = o.
3. Portanto, v (/k) = V para toda k-variante de se e s se todo
objeto oU soluo para .
4. Logo, v() = V se e s se todo objeto de U soluo para ; ou
seja, se e s se CSol() = U
Por outro lado, no caso da sentena existencial,
1. v() = V se e s se v (/k) = V para alguma k-variante de .
2. Ora, um objeto oU soluo para se e s se v(/k) = V para a
k-variante de tal que (k) = o.
3. Portanto, v (/k) = V para alguma k-variante de se e s se algum
objeto oU soluo para .

66

4. Logo, v() = V se e s se algum objeto de U soluo para ; ou


seja, se e s se CSol() .
Convm, ainda, explicitar aqui o que ocorre com as negaes dessas duas
sentenas:
No caso de uma negao de sentena universal, , temos:
1. v() = V se e s se v() = F.
2. J vimos que v() = V se e s se CSol() = U.
3. Portanto, v() = F se e s se CSol() U.
4. Logo, v() = V se e s se CSol() U.
Por outro lado, no caso da negao de uma existencial, temos:
1. v() = V se e s se v() = F.
2. J vimos que v() = V se e s se CSol() .
3. Portanto, v() = F se e s se CSol() = .
4. Logo, v() = V se e s se CSol() = .

EXERCCIOS
1) Sejam e interpretaes tais que:
U = {1, 2, 3, 4, 5}
1

(F ) = {1, 2, 3}
1
(G ) = {1, 3, 4}
1
(P ) = {2}
2
(R ) = relao maior que
2
(M ) = {1,2, 2,1, 3,2}
1
(f ) = funo que associa a

U = {1, 2, 3, 4, 5, ...}
1

(F ) = conjunto dos mpares


1
(G ) = {3, 7, 18}
1
(P ) = conjunto dos primos
2
(R ) = relao menor que
2
(M ) = relao mltiplo de
1
(f ) = funo sucessor

qualquer objeto o 2
1

(g ) = 1, se x par;

(g ) = funo quadrado

2, se x mpar
2

(s ) = funo projeo do segundo (s ) = funo soma


(a) = 1
(a) = 1
(b) = 5
(b) = 2

67

1.1) Determine, em e em , o valor de verdade de:


2

a) R ab
1

b) (M ab P b)
2

g) (R ab R ba)

i) (P a P b)

d) (f a=b f b=a)

j) ( P a P b)

e) (P b R ba)
2

2 1

h) (M af b M f bf a)

c) (R ab f a=b)
1

l) (a=b b=a)

f) (R ab (P b P b))

m) ( ( a=b b=f a) a=b)

1.2) Determine, em e em , o conjunto soluo de:


a) F1x

f) (G1 f1x G1 x)

b) F1f1x

g) (F1x G1 x)

c) R2xa

h) (G1x F1x)

d) (R2xa f1x=b)

i) (F1x G1x)

e) G x

j) (F1x G1x)

1.3) Sendo cada uma das frmulas do exerccio anterior e a varivel


'x', determine, em e em , o valor de verdade de e .
1.4) Determine, em e em , o valor de verdade de:
a) x F1x

e) x G1x

i) x (F1x G1x)

b) x F1 x

f) x G1x

j) x (R2xa G1x)

c) x G x

g) x F x

k) x (R2xb R2ax)

d) x G1x

h) x (F1x G1x)

l) x (F1x R2ax)

1.5) Em , d exemplo de uma frmula cujo conjunto soluo seja:


a) {2}

b) {1, 3}

c) {3, 7}

d) {4, 6, 8, 10, 12, ...}

e) UI

1.6) Em , d exemplo de uma frmula cujo conjunto soluo seja:


a) {4, 5}

b) {3}

c) {5}

d) {4}

e) { }

2) Seja uma interpretao tal que:


U = conjunto dos seres humanos
1

(a) = Pedro I (b) = Princesa Isabel (c) = Pedro II (f ) = funo o pai de


1
1
(B ) = conjunto dos brasileiros
(M ) = conjunto das mulheres
2
2
(S ) = relao mais velho que (I ) = relao irmo de
2.1) Indique os conjuntos soluo, em , das seguintes frmulas.
2

a) S xa
2

b) S ax

i) a=f x
1 1

j) a=f f x

68

c) (S ax B x)

l) (M x f x=c)

d) x=a

m) (S ax S xb)

e) (x=a x=b)

n) ( B x M x)

f) (x=a x=b)
2

o) ((M x B x) S xa)

g) (S xa S ax)

p) ( B x B x)

h) x=f b

2.2) Indique o valor de verdade, segundo , das seguintes sentenas:


2

a) x S xa

e) x S xx

b) x S xa

f) x ((B x M x) I xa)

c) x (f x=c M x)
1

g) x ((M x B x) x=b)

d) x (x=f b B x)

h) x ((M x B x) S cx)

3) Seja uma interpretao tal que:


U = conjunto dos pases e cidades

(P ) = conjunto dos pases

(E ) = conjunto dos que esto na Europa


1

(A ) = conjunto dos que esto na Amrica


2

(R ) = relao fazer fronteira com

(S ) = relao ser mais populoso que

(h ) = funo que associa a cada cidade o pas a que pertence, e, a cada


pas, sua capital

(a) = Argentina
(b) = Brasil
(c) = China
(f) = Frana

(l) = Londres
(n) = Nova York
(p) = Paris

Determine o valor de verdade, segundo , das sentenas abaixo:


2

a) x (R xa R xb)
2

b) x (R xb R xf)
2

c) x (R ax ( R xf x=c))
1

d) x ( P x S xh b)

2 1

e) (x ((A x P x) S h nx) y S yh n)
1

f) x (E x A x)
1
1
g) x (E x (h1x=p h x=l))
1

1 1

h) h p=h h f

69

Significado formal de uma frmula

SF () : so as condies satisfeitas por toda a interpretao tal que


v()=V. A sentena afirma tais condies. Quando a sentena
verdadeira, essas condies se realizam. Portanto, a sentena expressa
uma situao que comum a todas as interpretaes tais que v()=V.
Assim,
a) Significado Formal de sentenas atmicas - Sentenas atmicas podem
ter a forma (onde letra sentencial), n1...n (onde n um predicado
n-rio e 1,...,n so termos fechados) ou 1 = 2 .
SF ()

: I () = V - O significado formal de uma sentena como , simplesmente


a afirmao de que verdadeira.

SF ( 1...n): [I (1), ... , I (n)] I( n) ou seja: a n-upla formada pelos objetos


denotados pelos termos 1,.... n , tomados nessa ordem, pertence relao
n-ria que a interpretao em causa associa ao predicado n-rio n
SF (1 = 2): I (1) a mesma que I (2) ou seja: na interpretao em questo, os
termos 1 e 2 denotam o mesmo objeto.

b) Significado Formal de sentenas moleculares Sejam e sentenas;


sentenas moleculares so da forma
, ( ), ( ), ( ) e
( ).
SF ()

: negao do SF (
) , pois so as condies que uma interpretao I deve
cumprir para que I ()=V, portanto, para que I () = F.

SF ( ): SF (
) e SF (
), pois para que uma interpretao I seja modelo de ( ),
ela deve ser modelo de () e deve ser modelo de ().
SF ( ): SF (
) ou SF (
), pois para que uma interpretao I seja modelo de
( ), ela deve ser modelo de () ou deve ser modelo de ().
SF ( ): negao do SF (
) ou SF (
), pois para que uma interpretao I seja
modelo de ( ), ela deve ser tal que ou ela no modelo , ou ela deve
ser modelo de ().
SF ( ): SF (
) se e s se SF (
), i.e., ou bem SF () e SF (), ou bem negao do
SF () e negao do SF (), pois para que uma interpretao I qualquer
seja modelo de ( ), ou bem ela modelo de () e modelo de (), ou
bem ela tal que I () = F e I () = F.

70

Resumindo: O significado formal de uma sentena molecular uma funo dos


significados formais de suas partes; e essa funo a indicada pelo conectivo em
causa.

c) Significado Formal de sentenas gerais sentenas da forma ou


.
SF( ): CSol ()=UI - ou seja, qualquer objeto do universo da interpretao uma
soluo para ;
SF ( ): CSol ()

- ou seja, h solues para no universo da interpretao

71

Diagramas para uma frmula com uma s varivel livre.


Suponhamos que uma frmula com apenas uma varivel livre.
Representemos graficamente o universo da interpretao (U) do seguinte
modo:

O universo ser dividido entre os objetos que esto em CSol() e os que


no esto em CSol(). Ilustremos essa diviso desenhando no quadrado
que representa o universo uma circunferncia delimitando duas regies. A
regio I corresponder a CSol() e a regio II, ao seu complemento
CplCSol(), ou seja, como vimos, o CSol()

I
II

Ora, com respeito distribuio dos objetos no universo, quatro distintas


situaes podem ocorrer, uma vez que cada uma das duas regies pode ou
no conter objetos. Podemos, ento, distinguir quatro situaes:
a)
b)
c)
d)

A
A
A
A

regio
regio
regio
regio

I vazia.
I no vazia.
II vazia.
II no vazia.

Vejamos, agora, como podemos representar graficamente tais


situaes e express-las por meio de sentenas formais. Nas figuras que se
seguem, pintaremos de cinza uma regio para significar que nela no h
elementos. Por outro lado, um ponto ou um trao no interior de uma regio
serve para indicar que nela h elementos. As duas notaes so, portanto,
contraditrias com respeito a uma mesma regio.
Ora, como estabelecemos antes, se a frmula que divide o universo nas
duas regies, a regio I exatamente o CSol(); por outro lado, sabemos

72

que () = V se e somente se (/k) = V em alguma k-variante de


, ou seja, algum objeto do universo da interpretao for uma soluo para
. Para referir isto em termos de conjunto soluo, () = V se e
somente se CSol() no for vazio, ou, ainda, se a regio I no for vazia
situao b), acima.

a)

A regio I vazia: CSol() = ;

b)

A regio I no vazia: CSol()

c) A regio II vazia: CSol() =

d) A regio II no vazia: CSol()

73

Os quatros diagramas ilustram os significados formais das quatro


sentenas. Abstratamente, podemos falar nos significados formais (SF)
destas quatro sentenas - a saber,
a) CSol() = ; ou, ainda, Cpl CSol() = ;
b) CSol() ; ou, ainda, Cpl CSol() ;
c) Cpl CSol() = ; ou, ainda: CSol()= ;
d) Cpl CSol() ; ou, ainda: CSol() .

Vamos analisar agora algumas equivalncias, iniciando pela


terceira situao (afirmao c). Aqui dizemos que a regio II vazia, ou
seja, que (ver representao no diagrama acima). Ora, isto o
mesmo que dizer que : com as k-variantes, percorremos o universo e
vemos que qualquer objeto pertence ao conjunto soluo de [CSol()].
Por outro lado, afirmar que a regio I vazia (afirmao a), i.e., que
o mesmo que dizer: o complemento do CSol() o prprio U. Ou seja,
que CSol() o universo: . Qualquer que seja o objeto, ele uma
soluo para o complemento do CSol(). Ora, dizer tal coisa dizer o
contrrio do que diz a afirmao b: que a regio I no vazia. Portanto,
afirmar que a regio I no vazia (afirmao b), , o mesmo que
negar que o complemento do CSol() o universo: , ou seja, dizer
que no verdade que todo objeto soluo para o complemento de .
Finalmente, dizer que nem todo objeto est no CSol() i.e. que a regio II
no vazia, (afirmao d), o oposto da afirmao de que a regio
II vazia. Portanto, equivalente a .

De forma esquemtica, podemos resumir:


Sentenas

Significado Formal

Cpl CSol() = U ,

ou CSol() =

Cpl CSol() U ,

ou CSol()

CSol() = U ,
CSol() U ,

ou Cpl CSol() =
ou Cpl CSol()

74

Diagramas para frmulas compostas por duas frmulas nas


quais ocorre uma mesma varivel livre
Vejamos agora o conjunto soluo e o significado formal de frmulas
que contm e , onde e so frmulas com uma mesma e nica
varivel livre que efetivamente ocorre em ambas. Lembremos que
frmulas abertas tm conjunto soluo, enquanto sentenas frmulas fechadas - tm significado formal.
Para representarmos por via de diagrama as frmulas e ,
podemos pensar que as duas frmulas dividem o universo da interpretao
- UI - em quatro partes:

II

III

IV

Podemos representar cada regio (I, II, III e IV) por meio de uma frmula:
Regio
I
II
III
IV

Frmula
( )
( )
( )
( )

Com respeito a cada uma dessas regies, pode-se fazer as quatro


afirmaes que vimos antes - que a regio vazia, que no vazia, que
o universo, que no o universo. Estas so as quatro sentenas que
podemos formar a respeito dessas regies usando os quantificadores:

75

a)

( )

( )

b)

( )

( )

c)

( )

( )

A afirmao c diz respeito II III IV. O trilho usado para


representar um objeto que pode percorrer essa regio - sem que tenhamos
que saber necessariamente onde exatamente o objeto est.

d)

( )

( )

76

Algumas equivalncias bsicas, que no so tautolgicas, mas que


so devidas tambm ao significado dos quantificadores, so as seguintes:

O sinal usado aqui para abreviar:


tem o mesmo significado formal que.

A partir do diagrama que divide o universo em quatro regies


distintas, podemos pensar em representar mais outras regies:

e)

Frmula: .

Regies I e II.

II

f)

Regies: I e III.

g)

Frmula: .

III

Regies: I e IV, i.e. I IV.

IV

Frmula: ( ).

77

h)

Regies: II e III. Frmula:( ) ou ( ) ou ( )

II

i)

III

Frmula: .

Regies: II e IV.

II

j)

IV

Regies: III e IV. Frmula: .

III

k)

Frmula: ( v ).

Regies: I, II e III.

II

IV

III

78

l)

Frmula: ( v ).

Regies: I, II e IV.

II

m)

IV

n)

Frmula: ( v ).

Regies: I, III e IV.

III

Frmula: ( v ).

Regies: II, III e IV.

IV

II

III

IV

Observemos que, de modo geral temos sempre:


CSol ()
CSol ( )
CSol ( )

=
=
=

Cpl CSol ()
CSol () CSol ()
CSol () CSol ()

79

Examinemos agora, mais cuidadosamente, os conjuntos soluo


correspondentes a frmulas condicionais. Vamos determinar, passo a
passo, o conjunto soluo de ( ):

Um objeto

que satisfaz (i.e. soluo para) a frmula ( ) ser aquele tal que

( )/k = V, quando (k)= e k a constante prpria para ( ).


Como ocorre em e , ( )/k o mesmo que (/k /k ).
Ora, (/k /k ) = V quando (k)=

e:

ou bem o objeto

no uma soluo para ,

ou bem o objeto

uma soluo para .

Assim, (k) uma soluo para ( ) se e somente se (k) no uma soluo


para ou (k) uma soluo para .
Objetos que no so soluo para esto nas regies III e IV do diagrama; as
solues para esto nas regies I e III.
O conjunto soluo, ento, de ( ) formado pela unio de I, III e IV.
Agora que sabemos qual o conjunto soluo da frmula ( ), vejamos o que
significa a sentena ( ).
CSol( ) = U

SF (( )) :

Isto dizer que no h objetos que estejam em e que no estejam em :

CSol() CSol()

II

III

IV

o mesmo que dizer que ( ). Portanto:


SF ( ( )) o mesmo que SF (( )), ou seja, as duas sentenas so
equivalentes.

80

Ao afirmar que o conjunto soluo de subconjunto do conjunto soluo


de , ns no estamos nos comprometendo com a existncia de objetos em .
Estamos afirmando, isto sim, a inexistncia de objetos na regio II. A sentena
vacuamente verdadeira sempre que CSol() = .
A forma da sentena ( ) a de uma universal restrita: algo do tipo
todo A B; sentenas como essa podem ser vacuamente verdadeiras.
Vamos comparar agora a sentena ( ) com a sentena ( ). A
implicao com um quantificador existencial muito mais rara e tem um
significado formal totalmente diferente. O significado formal de ( ) que
existe um objeto na regio I, ou III, ou IV. um significado formal pobre, pois diz
muito pouco; por isso mesmo, uma sentena assim pouco usada. O seu
significado formal equivalente ao de ( ) e ao de ( ).
SF ( ( ))

SF ( ( ))

II

SF (( ))

III IV

A sentena ( ) no significa que algum A B. Para dizermos que


algum A B, usamos : ( ).

CSol() CSol()

SF (( )) :

OBSERVAO: o significado formal de ( ) o de que o universo da


interpretao a interseo de CSol () e CSol().

81

Para sabermos qual o significado formal de ( ), convm comear


procurando uma soluo para a frmula ( ): um objeto que ou bem no ,
ou bem no . Ento no seria uma soluo para ( ) um objeto que fosse
ao mesmo tempo e . Ora, a aplicao do universal frmula diz que qualquer
objeto do universo soluo para ela. Logo, no podemos ter no universo objetos
que so ao mesmo tempo e . As solues para esta frmula estaro nas regies
II, III ou IV - s no podendo estar na regio I. Portanto, o significado formal da
sentena acima dado por:
SF ( ( )) : CSol() CSol() =

E qual ser o conjunto soluo de uma frmula do tipo ( )? A regio que


corresponde ao CSol( ) a I e a IV. Portanto, se dissermos que ( ),
estamos afirmando que as regies II e III so vazias:
CSol() = CSol()

SF ( ) :

II

III
I
IV

Podemos dizer ento que CSol() e CSol() so coextensivos ou seja, eles so o


mesmo conjunto; i.e. e so duas frmulas que tm o mesmo conjunto soluo.
Como possvel expressar a igualdade entre conjuntos, ento tambm
podemos expressar a sua distino, negando a frmula acima:
SF ( ( )) : CSol() CSol()

82

Em outras palavras, h pelo menos um objeto em que no est em ou


h pelo menos um objeto em que no est em .
Para ilustrar, tomemos uma interpretao tal que:
U = {0, 1, 2, 3, ...}
(F1) = pares

(G1) = primos

(R2) = relao menor que

(a) = 0

(f ) = operao sucessor
2

(s ) = operao soma

(b) = 2
(p2) = operao produto

Na tabela a seguir, indicamos os conjuntos soluo de algumas frmulas nessa


interpretao:

F1x
G1x
(F1x G1x)
(F1x G1x)
F1x
G1x
(F1x G1x)
(G1x F1x)

Conjunto Soluo de em I
Pares, i.e. {0, 2, 4, 6, ...}
primos, i.e. {2, 3, 5, 7, 11, ...}
CSol(F1x) CSol (G1x), i.e. pares primos: {2}
CSol(F1x) CSol (G1x), i.e. pares primos: {0, 2, 3, 4, 5, 6, 7, ...}
Cpl CSol(F1x), i.e. mpares: {1, 3, 5, 7, 9, ...}
Cpl CSol (G1x), i.e. no primos: {0, 1, 4, 6, 8, 9, ...}
Cpl CSol(F1x) CSol (G1x), i.e. mpares primos: {1, 2, 3, 5, ...}
Cpl CSol(G1x) CSol(F1x), i.e. no primos pares: {0, 1, 2, 4, 6,
...}

Examinemos agora o valor de verdade de algumas sentenas nessa mesma


interpretao:

Sentena

Significado interpretado em

x (Fx Gx)
x (Fx Gx)
x (Fx Gx)
x (Fx Gx)
x Rxa

{pares} {primos}
{pares} {primos}
{pares} {primos}
{pares} {primos}
{nos < 0} = U

= U

= U

Valor
Verdade
segundo
F
V
F(2)
V
F

Existe pelo menos um objeto no universo da interpretao que no nem par nem primo - viz. 9. H
mais de um que no nem par nem primo, mas para falsificar esta sentena suficiente que um objeto
do universo no o seja.

de

83

x Rax
x Rxa
x Rax
x(Fx Gx)
x b = x
x (x = b (Fx Gx))
x (x = b (Fx Gx))
x (Rbx Gx)
x ((Rbx Gx) Fx)

{nos > 0} = U
{nos < 0}
{nos > 0}
{mpares} {no primos}
{2} = U
{2} {mpares} {no primos} = U
{2} {{mpares} {no primos}} = U
{nos >2} {primos}
{primos maiores que 2} {mpares}, ou
todo primo maior que 2 mpar

F(3)
F
V
V(4)
F
V
F(5)
V
V(6)

EXERCCIOS
D exemplo de uma sentena formal que, no contexto da interpretao
dada na pgina anterior, declare que:
a) A soma de dois mpares sempre par
b) Nenhum sucessor de mpar impar
c) Nem todo mpar maior que 3 primo
d) O cubo de dois mltiplo de quatro
e) H um certo par que no um sucessor
f) Todo nmero par divisvel por dois
g) Alguns nmeros pares so divisveis por pelo menos dois distintos mpares
h) Se um nmero primo, ento seus nicos fatores so ele prprio e a unidade.

Somente o nmero 0 (zero) no soluo da frmula; mas ento o CSol() UI.

Das leis de equivalncia tautolgica de De Morgan, segue-se que a frmula (Fx Gx) equivalente
frmula (Fx Gx). O complemento desta frmula tudo menos {2}; portanto o seu CSol pode ser
reescrito como sendo o U - {2}.
5
6

Esta interseo resulta em um conjunto vazio.

((Rbx Gx) Fx) tautologicamente equivalente a ((Rbx Gx) Fx). O CSol desta frmula o
Cpl {{nmeros maiores que 2} {primos}} {mpares}, ou seja, {(2) {no primos}} {mpares},
i.e. o universo da interpretao.

84

Algumas conseqncias da extensionalidade da designao


Interrompemos o estudo de casos de conjuntos soluo e significados
formais de certos esquemas paradigmticos de frmulas para chamar a
ateno para uma propriedade do nosso clculo que pode ser assim
formulada: as funes significativas atribudas aos smbolos do nosso
vocabulrio pelas interpretaes tm um carter estritamente extensional.
Em particular, a funo semntica de uma constante individual
unicamente a de remeter a um objeto do universo. Da decorrem algumas
conseqncias importantes. As demonstraes rigorosas de tais
conseqncias excedem os objetivos deste estudo; podemos, no entanto,
prosseguir neste momento contando apenas com a compreenso intuitiva
das mesmas. Por enquanto, vamos ento simplesmente aceitar que, para
qualquer frmula com uma nica varivel livre, , para quaisquer
constantes individuais k, k que no ocorram em , para qualquer
interpretao :
E1) se uma k-variante de , se uma k-variante de e (k) =
(k), ento v(/k) = v(/k);
E2) se uma k-variante de , (k)

uma soluo para se e s se

v( /k) = V;
E3) v() = V se e s se v(/k) = V para toda k-variante de - da
mesma forma, v() = V se e s se v(/k) = V para alguma k-variante
de . Note-se que o pressuposto apenas que k no ocorre em ;
assim k no precisa ser a constante especfica para !

Seja agora uma sentena e k uma constante qualquer que no ocorra em


. Ento,
E4) para qualquer k-variante de , v (/k) = v () = v ();

em particular, se k for a constante especfica para , para qualquer kvariante de , o objeto denotado por (k) ser uma soluo para se e s
se v() = V! Assim, se v() = V, qualquer objeto de U ser uma soluo
para ; e se v() = F, nenhum objeto de U ser uma soluo para .
Portanto,

85

E5) se v () = V, CSol()= U ; se v () = F, CSol ()= .

Algumas afirmaes feitas nas prximas pginas estaro assentadas nos


enunciados E1 - E5 que acabamos de formular.

Frmulas contendo sentenas como subfrmulas


Seja agora uma interpretao, uma frmula contendo uma nica
varivel livre e uma sentena. Observemos inicialmente que a constante
especfica para as frmulas da forma ( * ) ou ( * ) , onde * um
conectivo binrio qualquer, sempre a mesma; seja k essa constante e
seja k a constante especfica de (note-se que k e k podem ser
distintas!). Vamos examinar agora os conjuntos soluo em de algumas
frmulas da forma ( * ) ou da forma ( * ).
1. conjunes:
1a) CSol( )
i) se verdadeira em ,

CSol( )= CSol()

ii) se falsa em ,

CSol( )=

Explicao: Um objeto ser uma soluo para esta frmula se e somente se


v()/k = V na k-variante de na qual k o designa;

como uma

sentena, v( )/k = v (/k ) e v () = v() ; ento,


i) se verdadeira em , v (/k ) = V se e s se v (/k ) =V; e,
como k no ocorre em , de acordo com E2 acima, isso se d se e s se
(k) uma soluo para ;
ii) se falsa em , v (/k ) = F para qualquer k-variante, logo,
no haver soluo em para ( ).
1b) CSol( ) = CSol( )
Explicao:

anloga

comutativo da conjuno .

anterior,

levando-se

em

considerao

carter

86

2. disjunes:
2a) CSol( v )
CSol( v )= U

i) se verdadeira em ,

CSol( v )= CSol()

ii) se falsa em ,

Explicao: Um objeto ser uma soluo para esta frmula se e somente se


v(v)/k = V na k-variante de na qual k o designa;

como uma

sentena, v( v ) /k = v ( /k v ) e
i)

se verdadeira em (e, assim, em ), v (/k v ) = V em todas


as k-variantes de ! Portanto, qualquer objeto de U uma soluo
para ( v ).

ii)

se falsa em (e, assim, em ), um objeto ser uma soluo


para esta frmula se e s se,

na k-variante de na qual k o

designa, v( v ) /k = V; e isso se d se e s se v(/k v ) = V, o


que acontece se e somente se v(/k) ; ou seja, de acordo com E2
acima, se o objeto for uma soluo para .
2b) CSol( v ) = CSol( v )
Explicao:

anloga

anterior,

levando-se

em

considerao

carter

comutativo da disjuno .

3. implicaes: as implicaes no so comutativas! Assim,


consideraremos separadamente os dois casos, que tm conjuntos soluo
bem distintos. O caso que merece mais cuidado aquele onde a frmula
figura no antecedente, ou seja, o caso 3a) abaixo:
3a) CSol( )
i) se verdadeira em ,

CSol( )= U

ii) se falsa em ,

CSol( )= CSol ()

Explicao: Um objeto ser uma soluo para esta frmula se e somente se


v( )/k = V na k-variante de na qual k o designa;

sentena, v() /k = v ( /k ) e

como uma

87

i)

se verdadeira em (e, assim, em ), v (/k ) = V em todas


as k-variantes de ! Portanto, qualquer objeto de U uma soluo
para ( ).

ii)

se falsa em (e, assim, em ), v (/k ) = V se e s se


v (/k )= F; e isso se d, de acordo com E2 acima, quando (k)
no uma soluo para ; em outras palavras, quando (k) est no
complemento do CSol(), ou seja, quando ele uma soluo para
!

3a) CSol( )
i) se verdadeira em ,

CSol( ) = CSol()

ii) se falsa em ,

CSol( ) = U

Explicao: Um objeto ser uma soluo para esta frmula se e somente se


v()/k = V na k-variante de na qual k o designa; como uma sentena,
v ( )/k = v ( /k) e
i)

se verdadeira em (e, assim, em ), v ( /k) = V se e s


se v (/k )= V e isso se d, de acordo com E2 acima, quando (k)
uma soluo para ;

ii)

se falsa em (e, assim, em ), v ( /k) = V em todas as


k-variantes de ! Portanto, qualquer objeto de U uma soluo
para ( ).

Algumas equivalncias e algumas implicaes

Como j vimos anteriormente, duas sentenas do clculo de predicados so


ditas logicamente equivalentes, se tm o mesmo significado formal.
Claramente, se duas sentenas so logicamente equivalentes, as duas
recebem o mesmo valor de verdade numa mesma interpretao. Por outro
lado, dizemos que uma sentena implica logicamente uma outra se no
existe interpretao que verifique a primeira e falsifique a segunda.
Quando duas sentenas so equivalentes, tanto a primeira implica a
segunda, quanto a segunda implica primeira. A relao de implicao entre
duas sentenas , portanto, mais fraca que a de equivalncia. Se uma
primeira sentena implica uma segunda sem que as duas sejam

88

equivalentes, ento ocorre que a segunda no implica a primeira. Pelo que


j foi exposto, podemos afirmar a existncia de relaes de equivalncia e
de implicao entre alguns pares de sentenas.

I Sejam e duas frmulas com como nica varivel livre;


Vamos usar o smbolo para expressar a equivalncia e para a
implicao, no sentido acima indicado:
( ) ( )
Explicao:

CSol( ) =U se e s se (CSol () CSol ())=U e isso se d

se e s se CSol () = U e CSol ()=U.


( v ) ( v )
Explicao:

CSol( v ) se e s se (CSol () CSol ()) e isso se d

se e s se CSol () ou CSol () .
( v ) ( v )
Explicao: se CSol() =U ou CSol() =U ento, nos dois casos, temos que
(CSol () CSol ())=U.
( ) ( )
Explicao: se h um objeto em (CSol () CSol ()) ento h um objeto em
CSol () e h um objeto em CSol ().

EXERCCIO:
1. Suponha que e tm, ambas, uma nica varivel livre ;
a) explique por que no so equivalentes e d exemplo de uma
interpretao que verifique uma das sentenas mas no a outra:
i) ( ) e ( )
ii) ( v ) e ( v )
iii) ( ) e ( )

89

Relaes: Frmulas com duas variveis e :

Seja uma frmula com duas variveis livres, e . Tomemos


como paradigma de uma frmula do tipo R2xy. Queremos analisar os
significados formais de sentenas obtidas aplicando a quantificadores nas
suas variveis livres. Para tanto, partamos do significado formal da
sentena R2ab.
SF (Rab) : <I (a), I (b)> I(R2)
Se considerarmos agora as frmulas abertas (1) R2xb e (2) R2ay,
podemos associar a cada uma delas o seu conjunto soluo:

1.

CSol (R2xb): conjunto dos objetos tais que, se um deles for denotado por a

em uma I a-variante, R2ab ser verdadeira segundo I. Pode-se indicar esse


conjunto soluo assim:
CSol (R2xb) :{o UI : < o, I (b) > I(R2)}

, onde

o uma varivel

metalingstica para os elementos de UI.


2.

CSol (R2ay) : conjunto dos objetos tais que, se um deles denotado por b
2

em uma I b-variante, R ab ser verdadeira segundo I. Dessa forma, podemos


escrever:
CSol (R2ay) :{ o UI : <I (a), o > I(R2)}

Aplicando, agora, um quantificador na varivel livre dessas duas


frmulas, obteremos as quatro seguintes sentenas:
(1.A) xR2xb

(1.B) xR2xb

(2.A) yR2ay

(2.B) yR2ay.

No que se segue, usaremos as notaes , a, b como alternativas para I(R2), I(a),


I(b); D(
) indicar o domnio, CD(
), o contradomnio de . Nesta exposio,
para facilitar a compreenso, usaremos o verbo ver como leitura ilustrativa da
relao ; assim, se o par (a, b) estiver na relao diremos que a v b ou que b
visto por a.

90

Passemos ao exame do significado formal das quatro sentenas.


(1.A) SF (xR2xb) : b CD(
).
Explicao:

na relao h um par formado com b, onde este o segundo

elemento do par - ou seja, b visto por algum objeto do universo de interpretao.


Isso quer dizer que b est no contradomnio da relao, ou seja, b CD(
).

(2.A) SF (yR2ay) : a D(
).
Explicao:

na relao h um par formado com a, onde este o primeiro

elemento do par - ou seja, a v algum objeto do universo de interpretao, ou


ainda, a se relaciona por com algum objeto. Isso significa que a est no domnio
da relao, ou seja, a D (
).

Posso distinguir em , alm do domnio e do contradomnio, dois


outros conjuntos: o dos mirantes (Mr) e o dos focos (Fc) de . Dizer que a
relao tem mirante dizer que h um x tal que para todo y, R2xy -
como se dissssemos que h um ponto que v todos os pontos (inclusive
ele prprio). Dizer que tem foco dizer que h um y tal que para todo x,
R2xy - como se dissssemos que h um ponto que visto todos os pontos
(inclusive ele prprio).
Por exemplo: Se a relao menor ou igual, e o universo da interpretao os
nmeros naturais, o nmero 0 (zero) mirante de - dito de outro modo,
Mr () = {0}. Contudo, se ainda a relao menor ou igual, neste mesmo
universo, que infinito, a relao no tem foco, pois no existe um nmero maior
do que todos os outros. Posso escrever isso assim: Fc () = . Mas, se o universo
da interpretao fosse outro, digamos UI = {0, 1, 2, ..., 9} (um universo finito) e
fosse ainda a relao menor ou igual, Fc () = {9}.

Examinemos agora o significado formal das sentenas, mencionadas


acima, (1.B) xR2xb e (2.B) xR2ax:

(1.B) SF (xR2xb) : b Fc ()
A sentena diz que qualquer objeto soluo para R2xb ou, na nossa forma
ilustrativa de falar, que b visto por todos os objetos. Isso quer dizer que b um
foco de , ou seja que b pertence ao conjunto dos focos da relao.

91

(2.B) SF (yR2ay) : a Mr()


A sentena diz que qualquer objeto soluo para R2ay ou: que a v todos os
objetos. Sendo assim, a um mirante da relao, a pertence ao conjunto dos
mirantes de

Observe-se agora que em cada uma das quatro sentenas ocorre


uma constante individual. Se a trocamos por uma varivel nova na
sentena, obteremos uma frmula com uma varivel livre. Mais
especificamente, se, em cada uma das quatro sentenas que acabamos de
examinar, substituirmos a constante individual que nelas ocorre por uma
varivel nova (por exemplo, a por x, b por y), obteremos as seguintes
frmulas abertas:

1.A. xR2xy

1.B. xR2xy

2.A. yR2xy

2.B. yR2xy

Como sabemos, frmulas abertas tm conjuntos soluo. Vejamos


quais so os conjuntos soluo que correspondem a essas frmulas:

1.A. CSol (xR2xy) : CD()


Qualquer objeto que esteja no contradomnio da relao () uma
soluo para xR2xy. Assim, seu conjunto soluo o contradomnio de .
2.A. CSol (yR2xy)
: D()
Qualquer objeto que esteja no domnio da relao () uma soluo
para yR2xy. Assim, seu conjunto soluo o domnio de .

1.B. CSol (xR2xy) : Fc()


Uma soluo para essa frmula dever ser um objeto tal que todos os
objetos se relacionam com ele, ou ainda, na nossa linguagem ilustrativa,
um objeto visto por todos ou seja, um foco da relao. Logo, o conjunto
soluo dessa frmula ser o conjunto dos focos da relao.

92

2.B. CSol (yR2xy)


: Mr()
Uma soluo para essa frmula dever ser um objeto que se relaciona com
todos os objetos, ou, na nossa linguagem ilustrativa, um objeto que v
todos um mirante da relao. Logo, o conjunto soluo dessa frmula
ser o conjunto dos mirantes da relao.

Para representar graficamente esses conjuntos, comecemos por


lembrar que UI2 , (e que UI2 = UI UI). No desenho abaixo, cada elipse
uma representao do universo, cada ponto representa um objeto, cada
linha ligando um objeto em uma das elipses a um objeto na outra indica
que o par formado por esses dois objetos pertence relao. Tomemos,
como exemplo, um universo com cinco objetos e uma relao contendo
trs pares o objeto que aparece mais acima e esquerda relaciona-se
consigo mesmo e com um outro; e o objeto que aparece na linha inferior
direita relaciona-se com o que aparece na mesma linha esquerda:
UI
. .
.
. .

UI
. .
.
. .

Representamos abaixo um mirante da relao R2:


.

.
.

. .

.
.
. .

E um foco seria representado graficamente do seguinte modo:


.

.
.

.
.
. .

93

Cada uma das frmulas abertas acima mencionadas determina um


conjunto, a saber, o seu conjunto soluo. Ora, a cada uma delas podemos
aplicar um quantificador e obter uma das oito diferentes sentenas, abaixo:
1.A.a.
1.B.a.
2.A.a.
2.B.a.

yx R2xy
yx R2xy
xy R2xy
xy R2xy

1.A.b.
1.B.b.
2.A.b.
2.B.b.

yx R2xy
yx R2xy
xy R2xy
xy R2xy

J examinamos os conjuntos soluo das quatro frmulas abertas


que geraram estas oito sentenas; podemos, agora, determinar o
significado formal de cada uma delas.

a. SF (yx R2xy) :
CD ()
Se h objetos no CD (), h pelo menos um par na relao ; ento
essa sentena significa que a relao no vazia, SF (yx R2xy) :

1.A.

b. SF (yx R2xy) :
CD () = UI
Dizer que o contradomnio de uma relao universal diferente de
dizer que a relao ela mesma universal. Quando o contradomnio o
universo, cada objeto do universo aparece pelo menos uma vez como
segundo elemento de um par da relao; e quando a relao universal,
todos objetos do universo se relacionam com todos por esta relao.
1.A.

a. SF (yx R2xy) :
Fc ()
A relao tem um foco, ou seja, existe um objeto com o qual todos
os objetos se relacionam. Quando isso se d, o domnio da relao
universal mas nem sempre, quando o domnio universal, a relao tem
um foco.
1.B.

b. SF (yx R2xy) :
Fc()= UI
Neste caso, todos os objetos so focos da relao, ou seja, cada um
dos objetos tal que todos se relacionam com ele; mas, nesse caso, a

1.B.

94

relao universal; na nossa linguagem ilustrativa, se o conjunto dos


focos UI, todos objetos so vistos por todos. Ento, SF(yx R2xy):=UI2

a. SF (xy R2xy) :
D ()
No difcil compreender que, nesse caso, a relao no vazia,
pois s h objetos no domnio se tambm houver no contradomnio, i.e, se
houver pelo menos um par na relao- em outras palavras, se .

2.A.

J tivemos oportunidade de ressaltar que duas sentenas que tm o mesmo


significado formal so ditas equivalentes; em qualquer interpretao considerada,
duas sentenas equivalentes tero o mesmo valor de verdade. Observamos ento
que as sentenas yx R2xy (1.A.a.)

xy R2xy (2.A.a)

tm o mesmo

significado formal; portanto, so equivalentes.

D () = UI
b. SF (xy R2xy) :
Dizer que o domnio de uma relao universal dizer que, para
cada objeto do universo, existe um com o qual esse objeto forma um par.
Isso no o mesmo que afirmar que o contradomnio universal, nem que
a relao universal!
2.A.

a. SF (xy R2xy) :
Mr ()
Existe um objeto que se relaciona com todos a relao tem pelo
menos um mirante. Note-se que quando existe mirante, o contradomnio
universal; mas a recproca no vale ou seja, o contradomnio pode ser
universal sem que a relao tenha um mirante!

2.B.

b. SF (xy R2xy) :
Mr () = UI
Se todos os objetos so mirantes, todos se relacionam com todos, ou
seja, a relao universal. Essa sentena significa, portanto, que =UI2 .
Verificamos ento que as sentenas yx R2xy (1.B. b.) e xy R2xy (2.B.
b.) tm o mesmo significado formal e so, assim, sentenas equivalentes
2.B.

95

Aplicando quantificadores, construmos oito diferentes sentenas a


partir da frmula inicial R2xy e vimos que com elas obtemos a expresso
de seis significados formais distintos. Podemos agora retomar estes seis
significados formais distintos e pensar em suas negaes:

SF (yx R2xy): CD() =


Negao de 1.A. a.: yx R2xy
Se o contradomnio de uma relao vazio, ento a relao mesma
tambm vazia. Portanto, SF (
y
x R2xy) : =

Negao de 2.A. a.: xy R2xy


SF (xy R2xy) : D () =
Do mesmo modo, se o domnio de uma relao vazio, a relao
um conjunto vazio. Assim, SF (
x
y R2xy) : =
As duas negaes acima, a saber, yx R2xy e xy R2xy, tambm
so ditas equivalentes, pois tm o mesmo significado formal.

Negao de 1.B. b.: yx R2xy SF (yx R2xy): Fc () UI


H um par de objetos do universo que no est na relao R2; pois
h pelo menos um objeto que no visto por todos (e, portanto,
tambm h pelo menos um objeto que no v todos). Assim,
SF (
y
x R2xy) : UI2

Negao de 2.B. b.: xy R2xy SF (xy R2xy) : Mr () UI


Ou ainda,
SF (
x
y R2xy) : UI2
As duas negaes acima, por sua vez, tambm tm ambas o mesmo
significado formal, i.e. as sentenas yx R2xy e xy R2xy so
equivalentes.
Com as quatro novas sentenas, obtemos, ento, dois novos
significados formais.

96

OBSERVAO:Se h dois quantificadores seguidos e eles so da mesma


quantidade, a ordem em que eles aparecem no importa. Generalizando: se numa
sentena ocorre uma seqncia de quantificadores do mesmo tipo (todos
existenciais ou todos universais), qualquer permutao desses quantificadores nos
d uma sentena equivalente. Observe-se que isso s vale se entre dois
quantificadores da seqncia no houver negao. Assim, por exemplo, a
equivalncia vale para xyzRxyz e zxyRxyz, para zxyRxyz e
zyxRxyz, mas no vale para xyzRxyz e zyxRxyz; vale para
xyzRxyz e zxyRxyz, mas no para xyzRxyz e zxyRxyz. Vale
para yxzRxyz e yzxRxyz mas no para xyzRxyz e zxyRxyz.

Negao
Negao
Negao
Negao

de
de
de
de

1.A.
1.B.
2.A.
2.B.

b.:
a.:
b.:
a.:

yx
yx
xy
xy

R2xy
R2xy
R2xy
R2xy

SF
SF
SF
SF

(yx
(yx
(xy
(xy

R2xy)
R2xy)
R2xy)
R2xy)

: CD() UI
: Fc () =
: D () UI
: Mr() =

Vimos que, usando dois quantificadores aplicados a frmulas com duas variveis
livres, obtnhamos os seguintes seis significados formais distintos, expressos por
frmulas com dois quantificadores:

1.
2.
3.
4.
5.
6.

D() = UI
CD () = UI
Fc ()
Mr ()
= UI2

xyR2xy
xyR2x
yxR2xy
yxR2xy
xyR2xy
xyR2xy

Agora podemos listar mais seis afirmaes, distintas destas seis primeiras, que so
expressas pelas negaes das afirmaes acima:

7.
8.
9.
10.
11.
12.

=
D () UI
CD () UI
Fc () =
Mr () =
UI2

xyR2xy
xyR2xy
yxR2xy
yxR2xy
xyR2xy
xyR2xy

97

J vimos que, se o significado formal de uma frmula , ento


esse significado determina as condies para que uma qualquer
interpretao atribua V a . Por exemplo, como o significado formal de
xyR2xy , para que xyR2xy seja V numa interpretao I, basta que
I(R2) . Ou seja, que haja um par em I(R2). Portanto, qualquer uma das
interpretaes abaixo, verifica xyR2xy:
UI = naturais
I(R2) = <

UI = {0,1,2}
I(R2) = <

UI = naturais
I(R2) = {(1,4), (32,3)}

Os exemplos acima (I(R2), I(R2) e I(R2) ) so exemplos de relaes


que, nos seus respectivos universos, verificam xyR2xy.
Vejamos outro exemplo. Como o significado formal de xyR2xy
D()=UI, qualquer interpretao para R onde todo objeto do universo v
algum objeto verificar xyR2xy. Por exemplo,
UI = naturais
I(R2) = <

UI = {0,1,2}
I(R2) =

UI = {1,2,3}
I(R2) = {(1,2), (2,1), (1,1), (3,3)}

Mas a interpretao I tal que UI = {0,1,2} e I(R2) = < no verifica


xyR2xy pois, como 2 no menor que nenhum nmero de UI, 2D().
Com isso, temos uma prova de que xyR2xy e xyR2xy no so
equivalentes. possvel fazer uma prova como essa para as 12 sentenas
acima.

EXERCCIO:

construir exemplos de uma relao R2 que ilustrem cada


uma das doze sentenas acima, mostrando que os doze significados
formais so distintos. importante observar que, embora nenhuma das
doze sentenas seja equivalente a uma outra, pode ser que uma implique
outra. Mas, se isso ocorrer, o inverso no ocorre. Ou seja, toda
interpretao que verifica xyR2xy obviamente tambm verifica xyR2xy,
por exemplo, mas nem toda interpretao que verifica xyR2xy verifica
xyR2xy.

98

Com duas variveis quantificadas s possvel expressar


12 significados formais distintos
Vamos lembrar agora qual foi o processo de obteno das sentenas
que estamos analisando aqui:
i. R2xy
ii. QR2xy
iii. Q Q R2xy

Portanto, podemos pensar agora em (1) R2xy, em (2) Q R2xy e


em (3) Q Q R2xy. J vimos o caso (3), mas no vimos ainda os casos
(1) e (2). Se considerarmos que a forma de uma sentena do tipo que
estamos analisando

___ Q ___ Q ___ R2xy

onde ___ representa o espao em que pode figurar, ou no, uma negao,
para cada frmula deste tipo, h 23 possibilidades de combinao de
smbolos. Isto significa que, se quisermos analisar o conjunto das frmulas
deste tipo, teremos que analisar, a partir de uma , sessenta e quatro (64)
frmulas que so tipograficamente distintas, usando-se os smbolos [],
[Q], [Q] e [R2xy], sendo que o smbolo [] ir ocorrer no mximo trs
vezes em cada uma (sem considerarmos ocorrncias de dupla negao).
Essas sessenta e quatro sentenas s so capazes de expressar os
doze significados formais distintos que vimos acima.
Seja uma frmula da forma S , onde uma frmula contendo,
no mximo duas variveis livres, e , e S uma seqncia composta por
quantificadores (Q, Q) em e e negaes, de tal maneira que S contm
pelo menos um Q em e um Q em . Por enquanto, vamos pensar em
dois quantificadores e vrias negaes. O significado formal de est em
um dos doze significados possveis vistos acima (1 - 12).
A prova dessa afirmao s vista num curso mais avanado, mas
possvel dar uma indicao do que faz isso ser assim.

99

Dizemos que duas sentenas, e , so equivalentes se e somente


se para toda interpretao I temos que I () = I (). H determinados
casos de equivalncias que podemos demonstrar para toda e qualquer
interpretao I usando a definio de verdade. Por exemplo:
(i)
I () = I () em qualquer interpretao I.
Portanto, equivalente a .
(ii)
I () = I ( ) em qualquer interpretao I.
Portanto, equivalente a .
Demonstrao desta equivalncia:
1. vI() = V sse CSol() - pois esse o significado formal de .
2. Ora, CSol() sse existe um objeto oUI tal que o Clp CSol ().
3. Isso ocorre sse Cpl CSol() UI.
4. Mas, se Cpl CSol()UI, existe um objeto que no pertence ao CSol(), ou seja,
CSol() UI.
5. Nesse caso, vI()=F.
6. Logo, vI()=V.
(Provamos que se vI()=V, ento vI()=V. Falta provar que se
vI()=F, ento vI()=F.)
7. Se vI()=F, CSol ()=; pois, como o significado formal de CSol(),
se vI()=F, CSol()=.
8. Portanto, nenhum objeto oUI soluo para .
9. Logo, Cpl CSol()=U.
10. Como Cpl CSol()=U o significado formal de , v ()=V.
11. Portanto, v ()=F.

Assim, provamos que se v()=V, ento v()=V (linhas 1-6) e que


se v()=F, ento v()=F (linhas 7 a 11). Com isso, provamos que v
()=V se e somente se v ()=V.

100

(iii)

I ( ) = I ( ) em qualquer interpretao I.
Ou seja, equivalente a .
A demonstrao desta equivalncia anloga feita em (ii). Fica como

exerccio.

Observao:

Uma vez provadas

essas

equivalncias, segue-se

uma

importante conseqncia: no necessrio que tenhamos na nossa linguagem os


dois quantificadores, e . A linguagem no perderia nada em seu poder de
expresso se dispusssemos de um deles apenas (e da negao, claro!).

A partir da equivalncia (ii) (ou seja, do fato de que


equivalente a ) e sabendo que a negao de uma frmula
equivalente negao da sua equivalente, temos que:
(iv)

equivalente a , ou seja,
equivalente a .

Por este mesmo raciocnio, sabemos, a partir da equivalncia (iii) (ou


seja, do fato de que equivalente a ) que
(v)

equivalente a , ou seja,
equivalente a .

Agora, tomemos uma frmula do tipo S - i.e. uma frmula


contendo no mximo duas variveis livres, e , onde S uma seqncia
composta por quantificadores Q e Q e por negaes, tomados em uma
ordem qualquer. Obtemos a frmula S, cortando de S qualquer nmero
par m (m>0) de ocorrncias seguidas de .
1. Obtemos, em tantos passos quantos forem necessrios, uma frmula S
da seguinte maneira: consideramos cada ocorrncia de em S; a
partir da ocorrncia que est mais direita na frmula, vamos trocando
Q por Q e eliminando as duplas negaes eventuais.

101

Exemplos:
a)

xy R2xy
2

xy R xy

equivale a
pela regra (i) aplicada duas vezes.

Assim, SF (xy R2xy) = SF (xyR2xy) : D () = UI


b)

xy R2xy

equivale a

pela regra (i). Mas isto equivale a

pela regra (iv). Isto equivale a

xy R xy
xy R xy
2

xyR xy

pela regra (i).

Assim, SF (xy R2xy) = SF (xyR2xy) : .


c)

xy R2xy
2

equivale a

xy R xy

pela regra (iv). Isto equivale a

xy R2xy

pela regra (i).

Ento, SF (xy R2xy) = SF (xyR2xy) : = .

Vimos que tnhamos 64 sentenas diferentes do tipo S , ao


considerarmos todas diferentes possibilidades de combinao de smbolos
em S , usando no mximo trs negaes (). So sessenta e quatro,
uma vez que partimos de oito sentenas (1Aa, 1Ab,... at 2Bb) e cada uma
delas d origem a oito sentenas, quando temos a possibilidade de
acrescentar uma negao antes de um ou dois dos quantificadores e/ou da
frmula que a eles se segue . Assim,
___ Q ___ Q ___ R2xy
a forma das sentenas que podem ser engendradas, onde ___ o lugar
em que pode aparecer. Tomemos como exemplo a seguinte frmula:
xy R2xy
Esta gera oito possibilidades de frmulas fechadas usando-se a negao:
1)
2)
3)
4)

x
x
x
x

y R2xy
y R2xy
y R2xy
y R2xy

5)
6)
7)
8)

x
x
x
x

y R2xy
y R2xy
y R2xy
y R2xy

102

No entanto, dadas as regras (i)-(v) acima, podemos sempre trazer a


negao para fora. Por exemplo: 6) xyR2xy equivalente a
xyR2xy, que equivalente a xyR2xy que, por sua vez,
equivalente a xyR2xy. Que isso possa ser feito em todos os 64 casos no
ser provado aqui, mas os exemplos nos do uma indicao de como isso
pode ser feito.
Por outro lado, se usarmos mais do que uma negao em cada vaga
___, a sentena igualmente recai sobre um dos doze significados vistos, j
que podemos cortar dupla negao e aplicarmos as outras regras.

Algumas equivalncias entre sentenas:

Seja uma sentena. Seja uma sub-frmula de . Seja uma frmula tal
que (i) e tem as mesmas variveis livres 1,..., n e (ii) (1,..., n/k1,...,kn
1,..., n/k1,...,kn) uma equivalncia tautolgica. Ento, SF[]=SF[/].
Por exemplo:

como ((F1xG1x)x/a (F1xG1x)x/a),


SF[x(F1xG1x)] = SF[x(F1xG1x)].

importante, portanto,
tautolgicas.
( )
(() ())
(() ())
(() ())
(() ()
(() ())
(() ())
(() ())

ter em mente algumas equivalncias

103

Vejamos em mais detalhe por que, por exemplo, SF[x(F1xG1x)] =


SF[x((F1xG1x)]:
1.

Para

qualquer

interpretao

I,

v(x(F1xG1x))=V

se

se

CSol[(F xG x)]=U.
2. Para qualquer interpretao I, para qualquer objeto o de U, o CSol[(F1xG1x)]
se e s se v[(F1aG1a)]=V para a I a-variante de I tal que I(a)=o.
3.

Ora,
1

como

(()())

um

esquema

tautolgico,

temos

que

v[(F aG a)]=V para a I a-variante de I tal que I(a)=o se e s se


v[(F1aG1a)]=V para a I a-variante de I tal que I(a)=o.
4. Mas v[(F1aG1a)]=V para a I a-variante de I tal que I(a)=o se e s se o
CSol[(F1xG1x)].
5. Ou seja, o CSol[(F1xG1x)] se e s se o CSol[(F1xG1x)].
6. Como isso vale para qualquer objeto oUI, para qualquer interpretao I,
CSol[(F1xG1x)] = U se e s se CSol[((F1xG1x)] = U.

Equivalncias pela distribuio do quantificador


Sejam e duas frmulas com uma nica varivel livre . H duas
possibilidades: (i) ocorre livre em e ; (ii) ocorre livre em uma das
duas mas no em ambas.

(i) Se ocorre livre em e , temos as seguintes equivalncias:


SF[()] = SF[()]
SF[()] = SF[()]
SF[() = SF[()]

(ii) Suponha agora que ocorre livre em , mas no em . (Para marcar


essa diferena, escreveremos , ao invs de .) Vamos analisar o SF de
sentenas do tipo Q( ). Temos trs casos:
Caso 1) {, } :
Q ( ) equivalente a ( Q )

104

Ou seja,
SF[()] = SF[()]

SF[()] = SF[()]

SF[()] = SF[()]

SF[()] = SF[()]

Caso 2) {} :
Q( ) equivale a ( Q)
e Q( ) equivale a (Q ) - onde se Q , Q ; se Q , Q
Ou seja,
SF[() = SF[()]

SF[() = SF[()]

SF[() = SF[()]

SF[() = SF[()]

Caso 3) {}

No h uma equivalncia interessante para Q( ) neste caso.


Pode-se pensar que
(1)

Q( ) equivalente a Q(( ) ( )).

(2)

Se Q , ( ) equivale a (( ) ( )) ,

(3)

que equivale a

(( ) ( )) , pelo primeiro caso de

equivalncia que acabamos de ver;


(4)

esta ltima sentena equivale, por sua vez, a (()()) pelo


segundo caso de equivalncia que vimos, acima.

(2)

Se Q , ( ) equivale a (( ) ( )) ,

(3)

como o no distribudo na conjuno, devemos tomar outra


equivalncia. (( ) ( )) equivale a (( ) ( )),

(4)

que por sua vez equivale a (( ) ( )), pelo primeiro caso


que vimos;

(5)

esta ltima equivale a (( ) ( )), tambm pelo primeiro


caso.

Temos assim:
SF[()] = SF[(()())]
SF[ ()] = SF[(()())]

105

Sentenas universais alguns paradigmas

Vamos nos deter um pouco no estudo da forma geral de um tipo de


sentena muito comum: as ditas universais restritas, ou seja, sentenas
que afirmam uma propriedade qualquer de um certo conjunto de objetos
que constituem um subconjunto do universo de discurso em questo. Mais
precisamente, essas sentenas afirmam que algo vale para todos os
objetos que satisfazem uma certa condio. A forma geral dessas
sentenas , ento, a seguinte:
Para qualquer objeto do universo, se ele satisfaz a condio , ento
pode-se afirmar que vale para ele a atribuio .
Como j vimos, isso se expressa pelo esquema: ( ) ,
onde e so frmulas nas quais ocorre como nica varivel livre.
Ora, a condio em causa pode ser formulada como uma condio para
objetos tomados isoladamente, mas s vezes tambm pode se constituir
numa condio para objetos tomados dois a dois, trs a trs, e assim por
diante. Em outras palavras, a condio pode ser formulada para qualquer
n-upla que esteja numa certa relao n-ria. Nesse caso, a frmula , que
expressa essa relao ou seja, a condio a ser preenchida pela n-upla
deve ser uma frmula com n variveis livres; e o esquema ter a forma:
12 ...n ( )
Por outro lado, a frmula ter no mximo 12...n como variveis livres;
mas, ao contrrio de , no necessrio que todas essas variveis ocorram
livres em . Nesse ltimo caso, os quantificadores que ocorrem em mas
no em podem ser trazidos para dentro do parntesis mas, como j
vimos, mudando sua quantidade. Por exemplo, vamos supor que 2 ocorra
em mas no em . Nesse caso, 123 ...n ( ) tambm
pode ser escrita pela equivalente:
13 ...n (2 )

106

Por exemplo, suponhamos que, numa interpretao cujo universo um


dado conjunto de pessoas, tenhamos o predicado binrio M2 para a relao
me de e o predicado unrio A1 para o conjunto dos que tm mais de 50
anos; se quisermos expressar a afirmao (possivelmente falsa, mas isso
aqui no tem importncia) Todas as bisavs (em linhagem materna) tm
mais de 50 anos , podemos escrever, alternativamente,
xyzw(((Mxy

Myz)

Mzw) Ax)

Myz)

Mzw) Ax)

ou
x (yzw ((Mxy
ou ainda
xyz ((Mxy

Myz)

w Mzw) Ax),

para dar apenas trs exemplos, dentre vrias outras frmulas equivalentes.

Expresso de universos e conjuntos finitos

Vamos agora mostrar como podemos, com auxlio do predicado da


identidade, caracterizar universos ou conjuntos finitos. Na verdade,
podemos expressar os seguintes tipos de afirmao (e, obviamente, suas
negaes)
1)
2)
3)
4)
5)
6)

H pelo menos n objetos no universo;


H, no mximo, n objetos no universo;
H exatamente n objetos no universo;
H pelo menos n objetos que satisfazem ;
H, no mximo, n objetos que satisfazem ;
H exatamente n objetos que satisfazem ;

107

onde uma frmula com uma varivel livre, . Vamos aqui escrever i
para a frmula que resulta da substituio de todas as ocorrncias livres de
em por ocorrncias de i.

Para n=1:
A afirmao 1 no precisa ser feita; trata-se de um pressuposto da
semntica. Por fora dessa mesma razo, 2) e 3) tm, nesse caso, o
mesmo significado, que pode, alternativamente, ser expresso por:
x y x=y

ou

x y x=y .

Note-se que esse um caso em que a quantificao existencial e a


quantificao universal de uma frmula tm o mesmo significado formal!
As sentenas seguintes podem ser assim expressas:
4) (h pelo menos um objeto no CSol () )
5) 1 (( 1)=1) (h no mximo um objeto no CSol () )
6) ( 1 (1=1) ) (h exatamente um objeto no CSol () )

Para n=2
H pelo menos dois objetos no universo
1 2 1=2
H no mximo dois objetos no universo
1 2 (=1 v =2) ou 1 2 ((=1 v =2) 1=2)
Obs: Aqui tambm temos um caso onde os dois primeiros
quantificadores podem ser ambos universais ou ambos existenciais
mas o terceiro, ao contrrio, precisa ser universal!
H exatamente dois objetos no universo
1 2 (1=2 (=1 v =2))

108

H pelo menos dois objetos no CSol()


1 2 (1=2 (1 2))
H no mximo dois objetos no CSol()
1 2 3 ((( 1 2) 3) (( 1=2 v 1=3) v 2= 3))

, ou

H exatamente dois objetos no CSol()


1 2 ((1=2 (1 2)) ( (= 1 v = 2)))

Generalizando, para n>2,


H pelo menos n objetos no universo
12...n (1= 2 (...(1=n (2=3 (...n-1=n)...)...)
H no mximo n objetos no universo
1...n-1n(=1 v...(=n-1 v =n)...) ou
1... n-1n(=1 v...(=n-1 v =n)...)
H exatamente n objetos no universo
12... n ((1=2 (...(1=n (2=3 (...n-1=n)...)...)
(1=2 v (1=2 v (...v =n)...)))
H pelo menos n objetos no CSol()
12...n ((1=2 (...(1=n (2= 3 (...n-1=n)...)...)
(1 (2 ... (n-1 n)...))))
H no mximo n objetos no CSol()
1...n-1n( (1 (2 ...(n-1 n)...))  (= v... (=n-1 v
=n)...)
H exatamente n objetos no CSol()
12...n (((1=2 (...(1=n (2=3 (...n-1= n)...)...)... ...
(1 (2 ...(n-1 n)...)))) (  (= 1 v(= 2 v(...v = n)))))

109

Com a identidade, podemos ainda expressar vrios significados


interessantes. Com a sentena: x y (R2xy z (R2xz  y = z)), por
exemplo, podemos dizer que uma relao binria uma funo! De um
modo geral, para dizer que uma determinada frmula, , contendo
1,2,...,n, como nicas variveis livres, expressa uma operao n-ria,
com 1,2,...,n, como argumentos e como valor, usamos a frmula:
1...n-1n ( (

 = ))

onde no ocorre em e / o resultado da substituio de todas as


ocorrncias de por ocorrncias de .

Expresso de outras propriedades de relaes binrias

J vimos como podemos expressar vrias propriedades de relaes


binrias, tais como ser ou no vazia, ser ou no universal, ter ou no
domnio ou contradomnio universal, ter ou no foco ou mirante, ser ou no
uma operao. H algumas outras propriedades ainda que podem ser
formalmente expressas. Para facilitar a leitura, trabalharemos com
exemplos paradigmricos da linguagem. Seja, ento, R um predicado
interpretado por uma relao binria R
1) R reflexiva : x Rxx
todo objeto do universo relaciona-se consigo mesmo por R
2) R irreflexiva: x Rxx
nenhum objeto do universo relaciona-se consigo mesmo por R
Observe-se que essa afirmao distinta da afirmao de que R no
reflexiva, ou seja, que h um objeto que no se relaciona consigo mesmo,
e que corresponde negao de 1).
R simtrica: x y( Rxy  Ryx)
- dado um par qualquer, se ele est na relao, o par inverso tambm est.

110

3) R assimtrica: x y( Rxy  Ryx)


- dado um par qualquer, se ele est na relao, o par inverso no est.
4) R anti-simtrica: x y( x=y  (Rxy  Ryx))
- dado um par de objetos distintos, se ele est na relao, o par inverso
no est.
5) R conexa : x y ( x=y  (Rxy v Ryx))
- dado um par de objetos distintos, ou ele ou seu inverso est na relao R
6) R fortemente conexa : x y (Rxy v Ryx)
- dado um par qualquer, ou ele ou seu inverso est na relao R
7) R transitiva: x y z ((Rxy Ryz)  Rxz)
- se um mesmo objeto aparece num par da relao como segundo
elemento e em outro par da relao como primeiro elemento, ento o par
cujo primeiro elemento o primeiro elemento do primeiro par e cujo
segundo elemento o segundo elemento do segundo par sempre estar
tambm nessa relao,
8) R intransitiva: x y z ((Rxy Ryz)  Rxz)
- se um mesmo objeto aparece num par da relao como segundo
elemento e em outro par da relao como primeiro elemento, ento o par
cujo primeiro elemento o primeiro elemento do primeiro par e cujo
segundo elemento o segundo elemento do segundo par nunca estar
nessa relao,
9) R euclidiana: x y z ((Rxz Ryz)  (Rxy v Ryx))
- se dois objetos aparecem como primeiros elementos em pares que tm o
mesmo segundo elemento, ento eles tambm formam um par da relao.

111

Conceitos semnticos fundamentais da lgica de primeira


ordem
Vamos, agora, introduzir os conceitos centrais da semntica da lgica de
primeira ordem. Poderamos at mesmo dizer que tudo o que foi adiantado
at aqui visou poder chegar definio rigorosa desses conceitos.

A) MODELO (de primeira ordem)


Uma interpretao I modelo de um conjunto de sentenas se, para todo
, I () = V. O conceito de modelo um conceito que se aplica a
conjuntos de sentenas. Porm, por uma licena de linguagem, dizemos
tambm que uma interpretao I modelo de (i.e.da sentena ) para
significar que I modelo do conjunto unitrio {}. Observemos que um
modelo de um conjunto tambm um modelo verifuncional do mesmo,
mas nem todo modelo verifuncional um modelo (de primeira ordem).

B) CONSISTNCIA
Um conjunto de sentenas consistente se tem pelo menos um
modelo. Se no tem modelo, dito inconsistente. Examinemos alguns
exemplos:

(1)

= {x (F1x G1x), y R2ya, x G1x}


SF (x (F1x G1x))
:
CSol (F1x) CSol (G1x)
SF (y R2ya)
:
(a) CD (R2)
1
SF (x G x)
:
CSol (G1x) UI
Modelo de (exemplo):
UI = {1} I(F1) =
I(G1) =
I(R2) = {(1, 1)}

I(a) = 1

112

(2)

= {x (F1x G1x), x F1x, x G1x}


SF (x (F1x G1x))
:
CSol (F1x) CSol (G1x)
:
CSol (F1x)
SF (x F1x)
SF (x G1x)
:
CSol (G1x) =
Esse conjunto no tem modelo pois no possvel realizar
simultaneamente as trs condies acima.

Claramente, se um conjunto consistente, ele verifuncionalmente


consistente; a recproca, contudo, no vale; por exemplo, o conjunto
acima, embora inconsistente, verifuncionalmente consistente.

C) COMPATIBILIDADE:
Uma sentena dita compatvel com se e somente se {}
um conjunto consistente.

D) VALIDADE:
Temos trs situaes possveis no que diz respeito aos modelos de
uma sentena :
1) toda interpretao modelo de ;
2) nenhuma interpretao I modelo de .
3) algumas interpretaes so modelos de e outras no so;

1) No primeiro caso, dizemos que a sentena vlida. Assim, uma


sentena vlida se e somente se I () = V para toda interpretao I.
Por exemplo, so vlidas as sentenas
(xF1x F1a)
(xF1x xF1x)
(x (F1x G1x) (xF1x xG1x))
(xF1x xF1x)

a=a
xy (x = y y = x)
(xF1x xF1x)
(xy x = y xy x = y)

113

Observao: O conceito de sentena vlida diferente do conceito de sentena


tautolgica. Uma sentena vlida se toda interpretao modelo de . A
correlao que se pode fazer entre ser vlida e ser tautolgica a de que toda
tautologia uma sentena vlida, mas nem toda sentena vlida tautologia. O
conjunto das valoraes booleanas um conjunto maior do que o conjunto das
valoraes segundo uma interpretao I qualquer. Portanto, h um nmero maior
de sentenas vlidas do que de sentenas tautolgicas. O conceito de sentena
vlida, portanto, mais amplo que o de sentena tautolgica.

Se toda interpretao modelo de , ento a sentena , vlida,


tal que uma interpretao I particular no precisa satisfazer nenhuma
exigncia para ser modelo de . Como o significado formal de uma
sentena o conjunto de condies que uma interpretao deve preencher
para ser modelo da sentena, o significado formal de uma sentena vlida
vazio. Uma sentena vlida no diz nada especificamente sobre as
interpretaes que so seus modelos. Ao afirmar uma sentena como ,
i.e. vlida, ento, afirmamos algo, em um certo sentido, trivial - no
trazemos com ela nenhuma descrio de uma situao particular, ela nada
nos diz sobre como as coisas deveriam ser. Ela se verifica em qualquer
universo de discurso, e como quer que ele seja estruturado e associado ao
vocabulrio.
SF (), quando vlida : nenhum ou vazio

2) contra-vlida
Dizemos que uma sentena contra-vlida se nenhuma interpretao
modelo de . Sentenas contra-vlidas7 so sentenas que no podem,
portanto, ser realizadas, pois estipulam condies que no podem ser
satisfeitas. A negao de uma sentena contra-vlida, evidentemente,
uma sentena vlida. Uma sentena contra-vlida tal que uma
interpretao deveria satisfazer condies impossveis para ser modelo da
sentena; por isso,
SF (), quando contra-vlida : impossvel
7

Sentenas contra-vlidas so chamadas tambm de inconsistentes ou de contraditrias.

114

3o)

tem modelo em algumas interpretaes e no em outras

Este o caso mais comum. usual aqui perguntar pelo significado


formal de , pois a partir dele temos informaes sobre as interpretaes
que so modelos de . Relembrando,
SF () : so as condies satisfeitas por interpretaes que so modelos
de . A sentena afirma tais condies. Quando a sentena verdadeira,
essas condies se realizam; portanto, elas expressam uma situao que
comum a todos os modelos da sentena. Assim,
a) Significado Formal de sentenas atmicas - Sentenas atmicas podem
ter a forma (onde letra sentencial), n1...n (onde n um predicado
n-rio e 1,...,n so termos fechados) ou 1 = 2 .
SF ()

: I () = V - O significado formal de uma sentena como , simplesmente


a afirmao de que verdadeira.

SF ( n1...n): [I (1), ... , I (n)] I( n) ou seja: a n-upla formada pelos objetos


denotados pelos termos 1,.... n , tomados nessa ordem, pertence relao
n-ria que a interpretao em causa associa ao predicado n-rio n
SF (1 = 2): I (1) a mesma que I (2) ou seja: na interpretao em questo, os
termos 1 e 2 denotam o mesmo objeto.

b) Significado Formal de sentenas moleculares Sejam e sentenas;


sentenas moleculares so da forma
, ( ), ( ), ( ) e
( ).
SF ()

: negao do SF (
) , pois so as condies que uma interpretao I deve
cumprir para que I ()=V, portanto, para que I () = F.

SF ( ): SF (
) e SF (
), pois para que uma interpretao I seja modelo de ( ),
ela deve ser modelo de () e deve ser modelo de ().
SF ( ): SF (
) ou SF (
), pois para que uma interpretao I seja modelo de
( ), ela deve ser modelo de () ou deve ser modelo de ().
SF ( ): negao do SF (
) ou SF (
), pois para que uma interpretao I seja
modelo de ( ), ela deve ser tal que ou ela no modelo , ou ela deve
ser modelo de ().

115

SF ( ): SF (
) se e s se SF (
), i.e., ou bem SF () e SF (), ou bem negao do
SF () e negao do SF (), pois para que uma interpretao I qualquer
seja modelo de ( ), ou bem ela modelo de () e modelo de (), ou
bem ela tal que I () = F e I () = F.
Resumindo: O significado formal de uma sentena molecular uma funo dos
significados formais de suas partes; e essa funo a indicada pelo conectivo em
causa.

c) Significado Formal de sentenas gerais sentenas da forma ou


.
SF( ): CSol ()=UI - ou seja, qualquer objeto do universo da interpretao uma
soluo para ;
SF ( ): CSol ()

- ou seja, h solues para no universo da interpretao

E) CONSEQNCIA
Uma sentena conseqncia (em primeira ordem) de um
conjunto de sentenas (escrevemos ), se no existe nenhuma
interpretao I tal que I modelo de e I () = F.
Por exemplo:
:
{x (R2xx (G1x F1x)), (x G1x x F1x), xy R2xy}
:
x F1x
1)SF [x (R2xx (G1x F1x))]:
Se um objeto se relaciona consigo
mesmo por R, ento este objeto ou
bem I(G1) ou bem I(F1).
1
1
2) SF [(x G x x F x)]:
Se CS (Gx) , ento CS (Fx) .
3) SF [xy R2xy]:
Mir I(R2)
Nesse caso, a sentena conseqncia do conjunto .
Justificao: Como o conjunto I(R2) tem mirantes (3), h pelo menos
um objeto no domnio de I(R2) que se relaciona com todos objetos do
universo - inclusive consigo mesmo. Se h pelo menos um objeto que se
relaciona consigo mesmo por I(R2), ento, por (1) este objeto ou bem
I(G1) ou bem I(F1). Se I(F1), ento I (x F1x) = V; se I(G1), ento,

116

por (2), CS (Fx) , i.e. I (x F1x) = V. Portanto, qualquer modelo de


verifica ; por isso, .
Note-se que, como as condies booleanas valem para as valoraes
segundo interpretaes, toda sentena que conseqncia tautolgica de
um conjunto conseqncia (em primeira ordem) desse conjunto. A
recproca no vale: uma sentena pode ser conseqncia de um conjunto
mesmo no sendo conseqncia tautolgica desse conjunto.

OBSERVAO: CONCEITOS EXISTENCIAIS E UNIVERSAIS.


Os conceitos de consistncia, compatibilidade, no-validade e de noconseqncia so conceitos existenciais - que podem ser provados exibindo-se um
exemplo, no caso, um exemplo de uma interpretao. J os de inconsistncia, da
incompatibilidade, validade e conseqncia so conceitos universais; s se pode
provar semanticamente que eles se aplicam a sentenas e/ou conjuntos por via
argumentativa, i.e. pela exposio de um argumento. A presena desses conceitos
universais pode tambm ser estabelecida por um mtodo finitrio, baseado apenas
em aspectos sintticos das frmulas, que ser estudado a seguir (no segundo
fascculo): o mtodo dedutivo.

117

Tradues da linguagem natural para a linguagem formal e


vice-versa:

A definio de verdade um conceito muito rico, pois dele tiramos as


noes de conjunto soluo, significado formal, conseqncia, validade... A
partir da definio de verdade podemos tambm pensar em tradues. A
traduo tem limites bem claros: ns temos, por um lado, a linguagem
natural e, por outro, a linguagem lgica; a linguagem lgica tem uma
semntica extensional - e, alm disso, uma frmula s tem significado
pleno quando interpretada. Sentenas na linguagem lgica tm um
significado segundo uma interpretao particular qualquer - interpretao
esta que tem um UI , que um conjunto de objetos bem delimitado. Todas
propriedades expressas na interpretao so subconjuntos ou relaes do
UI; as funes da interpretao igualmente so definidas neste UI , assim
como os nomes dos objetos. A linguagem lgica tem como expressar as
funes de verdade, a identidade e a quantificao. Contudo, h sentenas
da linguagem natural cuja estrutura no tem traduo para linguagem do
clculo de predicados clssico. Um exemplo a sentena
No possvel que S.
Lgicas modais, no-clssicas, trabalham com expresses como no
possvel que, mas no a lgica aqui estudada. O problema que uma
expresso desse tipo no tem um comportamento funcional: no basta
saber que S falso para saber o valor de verdade de no possvel que
S. O valor de verdade da sentena no depende apenas do valor de
verdade de sua parte, S; ou seja, "no possvel que" no um conectivo
funcional. Esta a razo pela qual no pode ser expressa na linguagem
lgica clssica. A linguagem lgica clssica capaz de expressar qualquer
funo de verdade, mas no capaz de expressar conectivos
proposicionais que no so funes de verdade.
Seja S uma sentena e um termo qualquer que ocorre em S.
pode ocorrer direta ou indiretamente em S.

118

Ocorrncia direta de : se, ao substituirmos por , em S (sendo


() = ()), no houver risco de que, com isto, o valor de verdade da
sentena S seja alterado, a ocorrncia foi direta.
Ocorrncia indireta de : Se, ao substituirmos por , (sendo
() = ()), o valor de verdade da sentena S fica comprometido e pode
ser alterado, a ocorrncia foi indireta.

Exemplos:
1. Ocorrncia direta:
1 = Joo
2 = Maria
3 = o filho mais velho de Pedro
Seja S a sentena "Joo casou com Maria" e suponhamos que (1)= (3)
(ou seja, que Joo o filho mais velho de Pedro). Ento S 1/2 a sentena
"O filho mais velho de Pedro casou com Maria". Ora, claro que a
substituio no pode comprometer o valor de verdade da sentena, ou
seja, que (S) = (S 1/2)
2. Ocorrncia indireta:
1
2
3
4

=
=
=
=

Joo
Maria
o filho mais velho de Pedro
Antnio

S* = Antnio acha que Joo casou com Maria.


S*

/2 = Antnio acha que o filho mais velho de Pedro casou com Maria.

Ainda que suponhamos verdadeira a igualdade (1) = (3), (S*) no


necessariamente igual a (S* 1/2); Antnio pode, por exemplo, ignorar
que os dois termos designam uma mesma pessoa. Em S*, no s
extenso - a intenso que tambm est envolvida.

119

Quando a ocorrncia do nome indireta, no s a extenso do nome


importa, mas tambm importa a forma de acesso ao objeto. No h nessa
nossa linguagem lgica como trabalhar com conectivos do tipo acha que.
A linguagem do Clculo de Predicados de Primeira Ordem no tem meios
para trazer a intensionalidade para dentro de si.
A traduo se faz segundo uma determinada interpretao dada.
Dependendo de qual esta interpretao, ser possvel ou no fazer a
traduo com maior ou menor explicitao da estrutura da sentena.
preciso, portanto, que se saiba quais so os significados disponveis em
cada interpretao.
O modo usual de se mostrar como fazer tradues a anlise de
exemplos tomados como paradigmas.
OBSERVAO:

Neste momento, no nos interessa o valor de verdade das

afirmaes traduzidas - afinal, sentenas falsas tambm podem ser traduzidas.

Tomemos uma interpretao I tal que:


UI = {0, 1, 2, ...}
I(F1) = pares
I(G1) = primos
I(R2) = relao menor que
I(f1) = funo sucessor
I(s2) = soma
I(p2) = produto
I(a) = 0
I (b) = 5
I(c ) = 2

Exemplos de sentenas, verdadeiras e falsas, na linguagem natural e


traduzidas para linguagem lgica, segundo esta I:

120

Linguagem Natural

Linguagem Lgica

Todos so pares.
xF1x
Todos os nmeros naturais so xF1x
mpares.
Os nmeros naturais so primos.
xG1x
Estas sentenas, acima, so chamadas universais irrestritas ou
totais: predica-se de cada objeto do universo uma certa propriedade.

- H sentenas na linguagem natural que so do tipo


Todos os primos so mpares.
Em outras palavras, diz-se aqui que condio suficiente para ser
mpar, ser primo. Ou seja, que para qualquer nmero, se ele primo,
ento ele mpar, i.e. h uma condio a ser satisfeita (ser primo) para
que se aplique a propriedade (ser mpar). Esta sentena uma sentena do
tipo
x (G1x F1x).
Este tipo de sentena chamado de uma universal restrita; ela tem
a seguinte forma:
x ( _____ _____ )
Na primeira posio (___), est a restrio ou condio e, na segunda, a
propriedade que se atribui.
Uma sentena como x (G1x F1x) no tem restrio: ela diz que
para qualquer objeto do UI , ele primo e ele mpar, i.e. que
CS (G1x) CompCS (F1x) = UI.

- Para traduzir da linguagem natural uma sentena como


Todos primos maiores que dois so mpares

121

preciso notar, em primeiro lugar, que esta uma sentena que tem uma
dupla restrio. A forma geral dela a de uma universal restrita, i.e.
x ( ___ ___ ). A restrio : ser um primo maior do que dois.
Como que podemos dizer/traduzir que
Cinco um primo maior que 2?
Em linguagem lgica, seria
(G1b R2cb)
Portanto, a restrio (ser um primo maior que 2), pode ser expressa por
(G1x R2cx)
pois o conjunto soluo desta frmula, segundo essa interpretao I, o
conjunto dos nmeros que so primos e que so maiores que dois. J
sabemos que o conjunto soluo da frmula
F1x
o conjunto dos mpares. Assim, a frmula que diz que todos primos
maiores que dois so mpares pode ser traduzida para linguagem lgica
como
x ((G1x R2cx) F1x)
Esta sentena no afirma que haja (exista) um objeto que satisfaa o
seu antecedente ou o seu conseqente, ou seja, que haja primos maiores
que dois ou que haja mpares.
Agora, se tomarmos uma sentena em linguagem lgica, tambm
devemos ser capazes de traduzi-la, segundo a interpretao dada, para
linguagem natural. Vejamos o que diz a sentena
x ((G1x R2cx) F1x)
Esta sentena diz que Todos objetos do UI so primos, so maiores que
dois e so mpares.

122

Uma sentena como esta, ao contrrio da anterior, implica a existncia dos


objetos a que ela se refere - quer dizer, esta sentena afirma que os
objetos so de tal e tal modo, enquanto que a sentena anterior diz que se
algum objeto tiver tais e tais caractersticas, ento este objeto de tal e tal
maneira.

Outros exemplos de traduo para a linguagem formal segundo a mesma


interpretao:
a)

Todo nmero maior que dois menor que cinco.


x (R2cx R2xb)

b)

Todo primo par menor que cinco.


x ((F1x G1x) R2xb)

c)

Todo primo mpar ou menor que cinco.


x (G1x (F1x R2xb))

Vejamos agora as tradues usando o quantificador existencial ():


d)

Algum nmero natural primo .


x G1x

e)

Alguns nmeros naturais so mpares.


x F1x

f)

Alguns mpares so primos.


x (F1x G1x)

g)

Alguns primos mpares so menores que 10


x ((F1x G1x) R2xp2bc )

Os exemplos seguintes envolvem dois quantificadores


h)

Nenhum primo par maior que algum primo mpar


xy(((G1x F1x) (G1y F1y)) R2yx)

123

i)

j)

l)

No existe o maior primo


x(G1x y (G1y R2xy))
H um primo par menor que qualquer primo mpar
x((G1x F1x) y ((G1y F1y)R2xy))
Se o produto de dois nmeros par, pelo menos um deles par
xy(F1p2xy (F1x v F1y))

Você também pode gostar