Lgica Matemtica

Grupo de Matemtica da Universidade Tcnica de Lisboa:

Antnio St. Aubyn, Maria Carlos Figueiredo,
Lus de Loura, Lusa Ribeiro, Francisco Viegas
Lisboa, Maro de 2004

O documento presente foi obtido directamente do cdigo TeX fornecido pelos autores com alteraes de formatao. A verso corrente de 27
de Setembro de 2005. A reviso deste texto do ponto de vista grfico ainda no est completa. Novas verses podero ficar disponveis no futuro a
partir de http://preprint.math.ist.utl.pt/files/ppgmutlconjuntos.pdf. O DMIST agradece ao Grupo de Matemtica da UTL a possibilidade de facultar
o texto aos alunos das disciplinas introdutrias de Matemtica do IST.

Contedo
1

Introduo

Igualdade, equivalncia.

Conjuno

Disjuno

10

Negao

13

Implicao

16

Expresses com variveis

20

Quantificadores

23

Exemplos
28
9.1 Convergncia de uma sucesso. . . . . . . . . . . . . . . . . . 29
9.2 Funes contnuas . . . . . . . . . . . . . . . . . . . . . . . . . 31

LGICA MATEMTICA
1

Introduo

A Matemtica, tal como toda a cincia, usa a linguagem corrente para

se exprimir. Quando dizemos, por exemplo, dois um nmero natural
par, estamos a utilizar a lngua portuguesa para construir uma frase que
traduz uma propriedade sobre certos entes matemticos. Claro que esta
frase poderia ter sido dita noutra lngua: por exemplo chins, dinamarqus,
francs, ingls, ou qualquer outra. Neste aspecto existe uma semelhana
entre a frase 2 um nmero natural par, referente a entes matemticos,
e a frase O Figo um jogador de futebol extraordinrio, referente a um
desporto bastante popular na poca em que vivemos. H no entanto uma
diferena fundamental entre estas duas frases e para ela que nos interessa
chamar a ateno.
Suponhamos que, num caf da Praa de Londres (em Lisboa), enquanto
se deliciam respectivamente com uma italiana e com uma bica pingada, o Zeferino e a Zenbia (amigos de longa data) comeam a discutir
futebol. No calor da discusso diz a Zenbia, enlevada, O Figo um
jogador de futebol extraordinrio. O Zeferino, mais pelo prazer da contradio do que por convico, replica imediatamente Que disparate! O
Figo um bom jogador, mas nada que se parea com um jogador extraordinrio. O Eusbio, ou o Matateu, isso sim... eram jogadores extraordinrios!
O Figo um bom jogador! No vale a pena relatarmos a continuao da
discusso, nem como a italiana se foi esparramar no nariz da Zenbia
e a bica pingada no olho esquerdo do Zeferino. Queremos chamar a
ateno para o facto de uma discusso deste tipo ser impensvel a partir
da frase dois um nmero natural par; e no porque a Zenbia (aluna
do curso de Matemtica Aplicada e Computao do Instituto Superior
Tcnico) e o Zeferino (aluno do curso de Fsica Tecnolgica do Instituto
Superior Tcnico) se desinteressem por questes matemticas, mas sim
porque a frase dois um nmero natural par , sem margem para discusso, verdadeira. Isto porque sabemos definir exactamente o que so os
nmeros naturais pares e sabemos verificar se o nmero dois obedece ou
no quela definio. O problema com a frase O Figo um jogador de futebol extraordinrio no sabermos definir exactamente o que se entende
por um jogador de futebol extraordinrio. Decidir se algum ou no
jogador de futebol, ainda v; agora atribuir-lhe o epteto de extraordinrio,
isso varia de pessoa para pessoa.
1

Com o exemplo destas duas frases pretendemos fazer sentir no leitor

a necessidade de um muito maior rigor na linguagem matemtica, em
comparao com o da linguagem corrente. isto que nos leva a reflectir
um pouco mais sobre a linguagem matemtica, estudando os princpios
da chamada Lgica Matemtica.
As frases que construmos, tanto na linguagem matemtica como na linguagem corrente, envolvem certos entes, cada um dos quais designado
por um smbolo (a que, neste caso, chamamos designao) conveniente.
Na frase dois um nmero natural par aparecem os entes cujas designaes so respectivamente dois, nmero natural e nmero natural
par. Na frase O Figo um jogador de futebol extraordinrio temos
os entes designados respectivamente por Figo, jogador de futebol e
jogador de futebol extraordinrio. No devemos confundir o ente com
a sua designao, at porque um mesmoente pode ter vrias designaes
diferentes; por exemplo dois, 2 e 4 so trs designaes distintas
para o mesmo ente.
As frases, ou proposies, fazem intervir vrios entes; por exemplo, na
proposio 4 mltiplo de 2, aparecem os entes designados respectivamente por 4 e por mltiplo de 2. Claro que no podemos confundir
as designaes com as proposies; por exemplo
,

3+

2
2 ,

Lisboa

so designaes, enquanto
um nmero irracional,

Lisboa a capital de Portugal

so proposies.
Uma proposio pode ser verdadeira ou falsa. Por exemplo a proposio Lisboa a capital de Portugal verdadeira, enquanto a proposio
Paris a capital de Portugal falsa. Dizemos por isso que a proposio Lisboa a capital de Portugal tem o valor lgico V (verdade) e que
a proposio Paris a capital de Portugal tem o valor lgico F (falso).
Num primeiro estudo da Lgica Matemtica admitiremos que, em cada
teoria, toda a proposio tem um e um nico dos dois valores lgicos
referidos V e F. De facto esta ideia ter de ser abandonada mais tarde,
visto existirem teorias com interesse matemtico onde h proposies que
no so verdadeiras nem falsas (so as chamadas proposies indecidveis). De momento no nos preocupemos com esse facto e admitamos que
toda a proposio ou verdadeira ou falsa e nunca as duas coisas em
simultneo.
2

Usualmente representaremos as proposies por letras minsculas p,

q, r, etc. e os seus valores lgicos por V (verdade) e F (falso). Tambm,
em certas situaes, usaremos a notao V para designar uma proposio
verdadeira e a notao F para designar uma proposio falsa.

Igualdade, equivalncia.

J sabemos que a linguagem matemtica (tal como a linguagem corrente)

construda a partir de designaes e proposies; sabemos tambm a
distino existente entre esses dois conceitos. Recordamos que um determinado ente pode ser designado atravs de muitas designaes distintas;
por exemplo Paris e capital da Frana so duas designaes distintas
para o mesmo ente.
Vamos ver que h dois processos muito simples de construir uma proposio a partir de duas designaes. Consideremos as designaes Lisboa e capital da Frana. Podemos construir uma proposio onde intervenham apenas estas duas designaes, por exemplo, Lisboa a capital
da Frana; trata-se de uma proposio falsa. Com as mesmas duas designaes tambm poderamos ter construdo uma proposio verdadeira:
Lisboa no a capital da Frana. Na proposio Lisboa a capital da
Frana estamos a afirmar que as duas designaes Lisboa e capital da
Frana designam o mesmo ente, o que alis sabemos ser falso. J na proposio Lisboa no a capital da Frana afirmamos que as designaes
Lisboa e capital da Frana designam entes distintos.
Dadas duas designaes, digamos a e b, h ento dois processos muito
simples de construir uma proposio. O primeiro dizer que as designaes a e b designam o mesmo ente; nesse caso escreveremos o sinal de
igualdade = entre as duas designaes:
a = b.
O segundo dizer que as designaes a e b designam entes distintos;
escreveremos ento o sinal de desigualdade , entre as duas designaes:
a , b.
Claro que o valor lgico de cada uma das proposies a = b e a , b
depende das designaes a e b. Por exemplo, ao escrevermos
Lisboa = Capital da Frana
construmos uma proposio falsa; mas as proposies
Lisboa , Capital da Dinamarca
3

Lisboa = Capital de Portugal

so verdadeiras. Dando agora exemplos com designaes de entes matemticos, so verdadeiras as proposies

2 , 9,
2 , 4,
3 4 = 12
2 = 4,
e falsas as proposies
(3 + 2)2 = 32 + 22 ,

1 1 2
+ = .
2 2 4

Acabmos de ver que um processo para construir proposies escrever um dos sinais = ou , entre duas designaes. Um outro processo
semelhante escrever o sinal de equivalncia entre duas proposies.
Dadas duas proposies, digamos p e q, podemos construir uma nova
proposio
p q,
que se l p equivalente a q, e que verdadeira sse p e q tiverem o mesmo
valor lgico (ambas verdadeiras ou ambas falsas) e falsa sse p e q tiverem
valores lgicos diferentes (uma for verdadeira e a outra for falsa). Assim,
por exemplo, a proposio
Lisboa uma cidade Londres uma vila
falsa, visto a proposio Lisboa uma cidade ser verdadeira e a proposio Londres uma vila ser falsa. J a proposio
Lus Figo um astronauta dois um nmero irracional
verdadeira, visto as proposies Lus Figo um astronauta e dois
um nmero irracional serem ambas falsas.
Uma forma visual bastante til de exprimir o valor lgico da proposio
p q como funo dos valores lgicos de p e de q a utilizao das
chamadas tabelas de verdade
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

Na primeira coluna da tabela anterior esto os valores lgicos de p, na

segunda coluna os valores lgicos de q e na coluna da direita os valores
4

lgicos de p q. bvio que, nas duas primeiras colunas, teremos de ter

todas as combinaes possveis de valores lgicos das proposies p e q.
Claro que, semelhana dos sinais = e , utilizados entre designaes por forma a construir proposies, poderemos arranjar um sinal para
exprimir a no equivalncia de duas proposies; esse sinal ser <. A
proposio
p<q
ser verdadeira sse os valores lgicos de p e de q forem distintos e falsa sse
forem iguais. Em termos de tabela de verdade, teremos
p
V
V
F
F
Por exemplo
2=

q
V
F
V
F

p<q
F
V
V
F

<

3+4=7

uma proposio falsa, visto as proposies 2 = 4 e 3 + 4 = 7 serem

ambas verdadeiras. J a proposio

2 = 4 < Lus Figo um astronauta

verdadeira, porque as proposies 2 =

4 e Lus Figo um astronauta tm valores lgicos distintos: 2 = 4 verdadeira, enquanto
Lus Figo um astronauta falsa.
No confundamos os sinais = e ; o primeiro utiliza-se entre
duas designaes, formando uma proposio que verdadeira sse essas
designaes designarem o mesmo ente; o segundo utiliza-se entre duas
proposies, para construir uma nova proposio que verdadeira sse
aquelas duas proposies tiverem o mesmo valor lgico. Assim, tem
sentido escrever
Lisboa = Capital de Portugal
ou

Paris = Capital de Portugal.

A primeira destas proposies verdadeira e a segundo falsa. Mas

Lisboa Capital de Portugal

 desprovido de qualquer sentido porque entre designaes no temos

o direito de escrever o sinal de equivalncia . Tambm tem sentido
escrever
23=0 2=3
que uma proposio verdadeira, ou
32 = (3)2 3 = 3
que uma proposio falsa. Mas no tem sentido escrever
2 1+1
porque 2 e 1+1 so designaes e o sinal de equivalncia no se pode situar
entre designaes, devendo situar-se entre proposies.

Conjuno

A partir de proposies simples podemos construir proposies mais complexas. Por exemplo, com as duas proposies Lisboa uma cidade e
Lisboa a capital de Portugal, podemos construir a proposio Lisboa
uma cidade e a capital de Portugal. Do ponto de vista gramatical,
agrupmos as duas primeiras proposies numa s, usando a conjuno coordenada copulativa e. Do ponto de vista da Lgica Matemtica
interessa-nos relacionar o valor lgico da proposio assim construda com
os valores lgicos de cada uma das proposies elementares. Se designarmos por p a proposio Lisboa uma cidade e por q a proposio Lisboa
a capital de Portugal, interessa-nos conseguir determinar o valor lgico
da proposio p e q, desde que sejam conhecidos os valores lgicos das
proposies p e q. Claro que podemos agrupar duas proposies de
outras formas; por exemplo poderamos ter usado a conjuno coordenada
disjuntiva ou em vez da conjuno coordenada copulativa e, o que originaria Lisboa uma cidade ou a capital de Portugal. No seguimento
iremos usar o processo acabado de descrever para construir proposies
cada vez mais complexas. O que nos interessar neste momento no
tanto o valor semntico das proposies (aquilo que elas querem dizer),
mas sim a forma como se relacionam os seus valores lgicos.
Consideremos as duas proposies seguintes: 4 > 2 e 4 um nmero natural. Partindo destas duas proposies podemos ser levados
a construir a proposio 4 > 2 e 4 um nmero natural. Esta ultima
proposio foi obtida ligando as duas proposies iniciais por intermdio
da conjuno coordenada copulativa e. No caso geral, podemos pensar
6

em duas proposies quaisquer p e q e construir uma nova proposio, a

que chamaremos a conjuno de p com q, que designaremos por p q, e
que leremos p e q. A questo que se pe : conhecidos os valores lgicos
de p e de q, qual o valor lgico de p q? Pois bem, o valor lgico de p q
definido atravs da seguinte tabela de verdade:
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

Vemos assim que, por definio, p q verdadeira sse tanto p como q

forem verdadeiras. Repare-se que esta definio est de acordo com o
sentido usual que damos conjuno coordenada copulativa e. Reparese tambm que p q falsa sse pelo menos uma das proposies p ou q for
falsa. Assim, so verdadeiras as seguintes proposies:
2 > 1 3 > 1,
Lisboa a capital de Portugal Paris a capital da Frana,
Lus Figo jogador de futebol (3 + 2)2 = 32 + 12 + 22 .
So falsas as proposies seguintes:
Lus Figo jogador de futebol (3 + 2)2 = 32 + 12,
Lisboa a capital da Frana 2 , 3
Lisboa a capital da Frana Lus Figo um astronauta.
A conjuno de proposies permite-nos abreviar certas expresses
contendo o smbolo de igualdade ou o smbolo de equivalncia. Suponhamos que a, b e c so trs designaes quaisquer; usual, na escrita
matemtica, abreviar a proposio a = b b = c da forma seguinte:
a = b = c.
Esta notao, que significa que as designaes a, b e c designam todas o
mesmo ente, foi j largamente usada durante o ensino secundrio, por
exemplo ao escrever
(7 + 9)2 = 72 + 126 + 92 = 256.
Significado bvio tm as expresses em que o sinal de igualdade aparece
mais do que duas vezes, por exemplo
(7 + 9)2 = 72 + 2 7 9 + 92 = 49 + 2 63 + 81 = 49 + 126 + 81 = 256.
7

Situao anloga se passa com o sinal de equivalncia. Sejam p, q e r

trs proposies quaisquer; abreviaremos a proposio (p q) (q r)
para
p q r.
Claro que p q r verdadeira sse os valores lgicos de p, q e r forem
idnticos (p, q e r todas falsas ou p, q e r todas verdadeiras). Tambm
esta notao era largamente usada no ensino secundrio; por exemplo, so
verdadeiras as proposies
3 > 2 3 2 3 > 1,
3 = 2 3 2 3 = 1.
Uma vez introduzida a operao de conjuno de duas proposies
natural estudar algumas propriedades desta operao. Por exemplo,
haver alguma relao entre os valores lgicos de p q e de q p? A
resposta muito simples e decorre da tabela de verdade para a conjuno:
p q verdadeira sse tanto p como q forem ambas verdadeiras; q p
verdadeira sse tanto q como p forem ambas verdadeiras; logo p q e q p
tm o mesmo valor lgico. Significa isto que a proposio
pq qp

(1)

verdadeira. Dizemos por isso que a conjuno de proposies comutativa.

Sejam agora p, q e r trs proposies quaisquer; consideremos as duas
proposies seguintes:
(p q) r,
p (q r).
Haver alguma relao entre os valores lgicos destas duas proposies?
fcil ver que sim. De facto (p q) r a conjuno de p q com r e
verdadeira sse tanto p q como r forem verdadeiras, ou ainda, tendo em
conta que pq a conjuno de p com q, sse p, q e r forem todas verdadeiras.
Um raciocnio anlogo mostra-nos que p (q r) tambm verdadeira sse
p, q e r forem todas verdadeiras. Ento as proposies (p q) r e p (q r)
so equivalentes; significa isto que a proposio
(p q) r p (q r)

(2)

verdadeira. Dizemos por isso que a conjuno de proposies associativa. Uma outra maneira de mostrar a frmula (2) construir as tabelas de
8

verdade para as proposies (p q) r e p (q r):

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

p q q r (p q) r p (q r)
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F

Repare-se que, por haver inicialmente trs proposies, necessrio considerar as 8 combinaes possveis para os valores lgicos destas trs proposies; da a tabela ter oito linhas de valores lgicos. Nas trs primeiras
colunas escrevemos os valores lgicos das trs proposies iniciais p, q e r;
nas colunas 4 e 5 escrevemos as proposies intermedirias que nos permitem chegar s duas proposies que queremos estudar e que se encontram
nas colunas 6 e 7. Como as colunas 6 e 7 tm exactamente os mesmos
valores lgicos, conclumos que as proposies (p q) r e p (q r) so
equivalentes. Repare-se que a coluna 4 s depende da 1 e da 2; a coluna
5 s depende da 2 e da 3; a coluna 6 construda a partir da 4 e da 3;
finalmente a coluna 7 obtm-se a partir da 1 e da 5.
A associatividade da conjuno permite-nos escrever expresses do tipo
p q r; de facto uma expresso destas poder ser lida como (p q) r ou
como p(qr) mas, como estas duas ltimas proposies so equivalentes,
irrelevante a forma como se l a proposio inicial p q r. O importante
perceber que p q r verdadeira sse cada uma das proposies p, q e
r for verdadeira e falsa em todos os outros casos (ou seja, se pelo menos
uma das proposies p, q e r for falsa).
Consideremos agora a conjuno das proposies p e q, supondo que q
verdadeira. Ento, se p for verdadeira, p q tambm verdadeira; se p
for falsa, p q falsa. Em qualquer dos casos (p verdadeira ou p falsa) o
valor lgico de p q igual ao valor lgico de p. Podemos ento afirmar
que
pV Vp p
(3)
onde, como j convencionmos anteriormente, V representa uma qualquer
proposio verdadeira. Devido frmula (3), dizemos que V o elemento
neutro da conjuno.
Suponhamos agora que, na conjuno das proposies p com q, a proposio q falsa. Ento, independentemente do valor lgico de p, p q
9

falsa. Podemos ento escrever

pF Fp F

(4)

onde, como convencionado, F representa uma qualquer proposio falsa.

Tendo em conta a frmula (4), dizemos que F o elemento absorvente da
conjuno.

Disjuno

Na seco anterior estudmos a conjuno de duas proposies que corresponde, na linguagem corrente, utilizao da conjuno coordenada
copulativa e. Nesta seco vamos estudar a chamada disjuno de proposies, correspondente, na linguagem corrente, ao uso da conjuno
coordenada disjuntiva ou. Consideremos a seguinte frase: O Joo Caramelo e Silva foi ontem ao cinema ou ao teatro. Esta frase construda a
partir das frases O Joo Caramelo e Silva foi ontem ao cinema e O Joo
Caramelo e Silva foi ontem ao teatro, ligadas atravs da conjuno ou.
Ningum tem dvidas de que a frase O Joo Caramelo e Silva foi ontem
ao cinema ou ao teatro falsa se ambas as frases O Joo Caramelo e Silva
foi ontem ao cinema e O Joo Caramelo e Silva foi ontem ao teatro o
forem. Por outro lado, se o Joo Caramelo e Silva tiver ido ao teatro e no
tiver ido ao cinema, ou ainda se tiver ido ao cinema sem ir ao teatro, a
frase O Joo Caramelo e Silva foi ontem ao cinema ou ao teatro obviamente verdadeira. Quer dizer que, na linguagem corrente, ao ligarmos
duas frases com a conjuno ou obtemos uma frase falsa se aquelas duas
forem falsas e uma frase verdadeira se uma daquelas for falsa e a outra
verdadeira. E o que se passar se ambas forem verdadeiras? Supondo
que o Joo Caramelo e Silva foi ontem ao teatro e tambm foi ontem ao
cinema, ser a frase O Joo Caramelo e Silva foi ontem ao cinema ou ao
teatro verdadeira ou falsa? A linguagem comum no muito explcita
quanto a este facto. Claro que, em linguagem matemtica, teremos de ser
absolutamente rigorosos e, por definio, diremos que esta frase ainda
verdadeira.
De acordo com a introduo feita no pargrafo precedente, sejam p
e q duas proposies quaisquer; a partir delas podemos construir uma
nova proposio, designada por p q (leia-se p ou q), a que chamaremos
disjuno de p com q, e cujo valor lgico definido pela seguinte tabela de

10

valores lgicos:
p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

Vemos assim que, por definio, p q s falsa se tanto p como q forem

falsas. Repare-se que pq verdadeira sse pelo menos uma das proposies
p ou q for verdadeira. Assim, so verdadeiras as seguintes proposies:
2 > 1 3 < 1,
Lisboa a capital do Daom Paris a capital da Frana,

Lus Figo jogador de futebol 9 = 3.

So falsas as proposies seguintes:
Lus Figo professor de Anlise Matemtica
Lisboa a capital da Frana 2 = 3.

9 = 9,

So agora muito fceis de provar as seguintes propriedades da operao

de disjuno de proposies
pq
(p q) r
pF
pV

qp
p (q r)
Fp p
Vp V

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

onde p, q e r so trs proposies quaisquer, V uma proposio verdadeira

qualquer e F uma proposio falsa qualquer. Repare-se na analogia entre
as propriedades (1), (2), (3) e (4) referentes conjuno e as propriedades
(5), (6), (7) e (8) referentes disjuno. Por (5) vemos que a disjuno
comutativa, por (6) que associativa, por (7) que F o elemento neutro da
disjuno e por (8) que V o seu elemento absorvente. A associatividade da
disjuno permite-nos escrever expresses do tipo p q r; esta proposio
falsa sse cada uma das proposies p, q e r for falsa e verdadeira sse pelo
menos uma das proposies p, q e r for verdadeira.
As demonstraes das propriedades (5), (6), (7) e (8) so semelhantes
s que fizemos no caso da conjuno. A comutatividade (5) resulta imediatamente da tabela de verdade da disjuno. A associatividade (6) decorre
11

da seguinte tabela de valores lgicos:

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

p q q r (p q) r p (q r)
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
V
V
V
F
V
V
V
F
F
F
F

As propriedades (7) e (8) so tambm uma consequncia imediata da tabela

de verdade da disjuno.
Introduzimos duas operaes sobre proposies: a conjuno e a disjuno. Estudmos as propriedades da conjuno, que se traduzem nas
frmulas (1), (2), (3) e (4); estudmos as propriedades da disjuno, expressas por (5), (6), (7) e (8). natural agora estudar propriedades que
envolvam simultaneamente as duas operaes de conjuno e de disjuno. Comecemos por mostrar que a propriedade
(p q) r (p r) (q r)

(9)

verdadeira, quaisquer que sejam as proposies p, q e r. A forma mais

prtica de o fazer, construir uma tabela de valores lgicos:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

p q p r q r (p q) r (p r) (q r)
V
V
V
V
V
V
F
F
F
F
V
V
F
V
V
V
F
F
F
F
V
F
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F

Uma outra propriedade que tambm envolve a conjuno e a disjuno,

e que tambm se demonstra muito facilmente atravs da construo de uma
tabela de valores lgicos apropriada,
(p q) r (p r) (q r)
12

(10)

Aconselhamos vivamente o leitor a construir a tabela de valores lgicos,

antes de olhar para a que apresentamos:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

p q p r q r (p q) r (p r) (q r)
V
V
V
V
V
V
V
V
V
V
F
V
V
V
V
F
V
F
F
F
F
V
V
V
V
F
F
V
F
F
F
V
V
V
V
F
F
F
F
F

A propriedade (9) a chamada distributividade da conjuno em relao disjuno; a propriedade (10) a distributividade da disjuno em
relao conjuno.

Negao

Dada uma proposio, por exemplo O carro verde, todos sabemos, na

linguagem corrente, neg-la; no exemplo considerado seria O carro no
verde. Se a proposio O carro verde for verdadeira, ento O carro
no verde falsa; se O carro verde for falsa, ento O carro no
verde verdadeira.
Somos ento levados a introduzir, na nossa linguagem matemtica, a
chamada operao de negao. Seja p uma proposio qualquer; chamaremos negao de p a uma nova proposio, designada por p (leia-se no
p), cujo valor lgico diferente do de p. Assim, se p for verdadeira, p
falsa; se p for falsa, p verdadeira. A tabela do valor lgico da negao
portanto muito simples:
p p
V F
F V
Por exemplo, so verdadeiras as proposies
2 < 1,

(2 + 3)2 = 22 + 32 ,

52 53 = 56 ,

so falsas as proposies
42 = 16,

3
27 = 3,
13

 3
52 = 56 .

Voltemos a um dilogo de caf... O nosso Governo no bom afirma,

convicto, o Antero Gatinho, da oposio, sorvendo lentamente a sua bica
pingada; No verdade que o nosso Governo no seja bom riposta,
pressurosa, a Manuela Ferrada Lamas (afecta ao partido do Governo) entre dois golos da sua italiana. No narrarei, por pudor, a continuao da
histria (nem o destino final da bica pingada e da italiana), mas gostaria de chamar a ateno para a frase da Manuela Ferrada Lamas; consiste
ela na negao da frase do Antero Gatinho, frase essa que, por sua vez, era
a negao de O nosso Governo bom. Vemos assim que, na linguagem
corrente (mesmo em situaes menos dramticas do que a descrita) utilizamos por vezes a negao de uma negao. Em termos matemticos, e
sendo p uma proposio qualquer, a negao da negao de p escreve-se
( p).
Qual o valor lgico desta proposio? muito fcil determin-lo: p tem
valor lgico contrrio a p, ( p) tem valor lgico contrrio a p, logo
( p) e p tm o mesmo valor lgico. Podemos portanto afirmar que
( p) p

(11)

Claro que a propriedade (11) poderia ter sido deduzida de uma tabela de
verdade conveniente:
p p ( p)
V F
V
F V
F
A propriedade (11) pode ser generalizada para mais do que duas negaes. Tem-se, por exemplo,
( ( p)) p,
( ( ( p))) p.
Podemos agora pensar nas propriedades que ligam a negao com as
operaes j estudadas. Da anlise das tabelas de verdade para a equivalncia () e para a no equivalncia (<) imediato ver que a negao
de uma equivalncia uma no equivalncia e vice-versa. Por outras
palavras, quaisquer que sejam as proposies p e q, so verdadeiras as
proposies seguintes:
( (p q)) (p < q)
( (p < q)) (p q)
14

(12)
(13)

Algo de anlogo se passa com os smbolos de igualdade (=) e de desigualdade (,); assim, sendo a e b dois entes quaisquer, so verdadeiras as
seguintes proposies:
( a = b) (a , b)
( a , b) (a = b)

(14)
(15)

De uma forma geral, qualquer que seja o smbolo matemtico usado

para construir uma certa proposio, uma barra / sobre esse smbolo
corresponde negao dessa proposio.
Vejamos agora as interligaes entre a negao e as operaes de conjuno e de disjuno. Mais especificamente, qual o valor lgico da negao
de uma conjuno? E de uma disjuno? Suponhamos que eu digo: Hoje
vou ao cinema e ao teatro; intuitivamente, negar esta frase dizer que
Hoje no vou ao cinema ou no vou ao teatro. A intuio diz-nos que a
negao de uma conjuno a disjuno das negaes. De forma anloga,
a negao de Hoje como sopa ou carne, Hoje no como sopa nem
como carne; a intuio sugere-nos que a negao de uma disjuno a
conjuno das negaes.
O que acabmos de dizer leva-nos a considerar duas proposies p e q
quaisquer e a tentar demonstrar rigorosamente as propriedades
( (p q)) (( p) ( q))
( (p q)) (( p) ( q))

(16)
(17)

Claro que uma demonstrao de (16) e (17) dever ser feita custa de
tabelas de verdade convenientes:
p
V
V
F
F

q
V
F
V
F

p q p q (p q) ( p) ( q)
F
F
V
F
F
F
V
F
V
V
V
F
F
V
V
V
V
F
V
V

p
V
V
F
F

q
V
F
V
F

p q p q (p q) ( p) ( q)
F
F
V
F
F
F
V
V
F
F
V
F
V
F
F
V
V
F
V
V

As propriedades (16) e (17) so usualmente conhecidas com o nome de

primeiras leis de De Morgan.
15

Implicao

Na linguagem corrente usamos frequentes vezes frases condicionais, por

exemplo, Se hoje chover, ento vou ao cinema. Esta frase s falsa se
hoje chover e eu no for ao cinema; se hoje no chover a frase verdadeira,
tal como o se hoje chover e eu for ao cinema. A operao que traduz,
em termos de Lgica Matemtica, a ideia de uma frase condicional a
implicao. Trata-se de uma operao lgica de grande importncia que
designada por . Sendo p e q duas proposies quaisquer, a proposio
p q (leia-se p implica q) falsa se p for verdadeira e q falsa e verdadeira
em todos os outros casos; por outras palavras, a tabela de verdade para a
implicao , por definio, a seguinte:
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

Na implicao p q chama-se antecedente proposio p e consequente

proposio q. Repare-se que uma implicao s falsa se o antecedente for
verdadeiro e o consequente for falso; em todos os outros casos a implicao
verdadeira. Tambm por vezes escreveremos q p (em vez de p q)
com o significado de p implica q.
A implicao muito importante na linguagem matemtica porque
aparece sistematicamente nos teoremas que constituem as teorias matemticas. Um teorema uma proposio do tipo p q, onde p uma
proposio verdadeira na teoria em questo. Demonstrar um teorema no
mais do que provar que a proposio p q verdadeira o que, atendendo a que p verdadeira, equivalente a dizer que q verdadeira. Num
teorema usual chamar hiptese proposio p, antecedente da implicao p q. A proposio q, que o consequente da implicao, designa-se
por tese. Um exemplo de um teorema
Seja n um nmero natural. Ento, se n par, n2 tambm par.
A hiptese a proposio n par; a tese n2 par. A demonstrao
deste teorema pode ser feita da forma que passamos a expor. Por definio de nmero par, sabemos que existe um natural k tal que n = 2k;
consequentemente
n2 = (2k)2 = 22 k2 = 4k2 = 2(2k2 ) = 2m,
16

onde designmos por m o natural 2k2 . Mas, novamente por definio de

nmero par, e tendo em conta que n2 = 2m, vemos que n2 par. O teorema
est demonstrado.
Antes de darmos alguns exemplos de proposies onde a implicao
intervm, queremos chamar a ateno para um facto importante. Consideremos a frase (infelizmente dita e muito repetida nos dias que correm):
Estamos em crise econmica, logo os salrios sobem abaixo da inflao.
Ao dizermos esta frase, na linguagem corrente, estamos a admitir uma
relao de causa a efeito entre a crise econmica e o aumento dos salrios.
Do ponto de vista matemtico esta frase uma implicao: Estamos em
crise econmica implica que os salrios sobem abaixo da inflao. Mas cuidado! Na lgica matemtica no nos preocupamos com qualquer relao
de causa a efeito entre o antecedente e o consequente de uma implicao.
O que h uma relao entre o valor lgico da implicao e os valores
lgicos do antecedente e do consequente. A frase Estamos em crise econmica, logo os salrios sobem abaixo da inflao verdadeira porque o
antecedente (Estamos em crise econmica) verdadeiro (infelizmente) e
o consequente (Os salrios sobem abaixo da inflao) tambm verdadeiro (desgraadamente). Mas a frase O Primeiro Ministro astronauta,
logo os salrios sobem abaixo da inflao tambm verdadeira! Isto porque o antecedente (O Primeiro Ministro astronauta) falso; agora j
irrelevante o valor lgico do consequente porque, numa implicao, se o
antecedente for falso, a implicao verdadeira. Neste caso no h (ou,
pelo menos, no parece haver) qualquer relao de causa a efeito entre o
Primeiro Ministro ser astronauta e os salrios subirem abaixo da inflao.
Curiosamente a frase O Primeiro Ministro astronauta, logo os salrios
sobem acima da inflao tambm verdadeira porque (por infelicidade) o
Primeiro Ministro no astronauta; o antecedente falso, logo a implicao
verdadeira.
Passemos agora a exemplos matemticos; so falsas as seguintes proposies:

2 > 1 2 > 4, 4 = 22 4 = 2, 3 + 2 = 5 100000 , 103 102 .

De facto, em cada uma das trs implicaes anteriores, o antecedente
verdadeiro e o consequente falso. Nesta situao a implicao falsa;
alis a nica situao em que a implicao falsa (antecedente verdadeiro
e consequente falso).
As seguintes proposies (todas elas implicaes) so verdadeiras:

2 > 0 2 > 1, 4 = 23 4 = 2, 3 + 2 = 7 1000 , 103 .

17

Na primeira das implicaes anteriores o antecedente verdadeiro e o

consequente tambm, pelo que a implicao verdadeira. Nas outras
duas o antecedente falso pelo que, independentemente do valor lgico
do consequente, a implicao verdadeira.
Construindo as tabelas de valores lgicos necessrias fcil provar as
seguintes propriedades:
(p q)
( (p q))
((p q) (q p))
(p q)
((p q) (q r))

(( p) q)
(p ( q))
(p q)
(( q) ( p))
(p r)

(18)
(19)
(20)
(21)
(22)

A ttulo de exemplo demonstraremos a propriedade (22), que a transitividade da implicao, recorrendo seguinte tabela de verdade:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

p q q r (p q) (q r) p r (22)
V
V
V
V
V
V
F
F
F
V
F
V
F
V
V
F
V
F
F
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
V
V
V
V
V
V

Verificamos que o valor lgico de (22) sempre V, independentemente

dos valores lgicos de cada uma das proposies p, q e r; isto significa que
(22) verdadeira. Embora no o faamos aqui, recomendamos vivamente
ao leitor que construa as tabelas de verdade que permitem demonstrar as
propriedades (18), (19), (20) e (21).
Ateno negao de uma implicao! Um erro frequente entre os
estudantes dizer que a negao de p q ( q) ( p); falso, como se
depreende de (19). Outro erro frequente dizer que a negao de p q
q p; igualmente falso! A negao de p q, dada por (19), p ( q).
A proposio q p chamada proposio recproca de p q; a
propriedade (20) mostra-nos que, se tanto p q como a sua recproca
forem verdadeiras, ento p e q so equivalentes.
A proposio ( q) ( p) chamada contra-recproca de p q; por
essa razo a propriedade (21) conhecida como regra do contra-recproco,
18

vulgarmente utilizada em certo tipo de demonstraes onde, em vez de

demonstrarmos que p q, provamos que ( q) ( p).
Para exemplificar demonstraremos que, fixado um nmero natural n, se
o quadrado de n for par, ento n tambm par. A proposio a demonstrar
escreve-se, simbolicamente,
n2 par n par.
Designando por p a proposio n2 par e por q a proposio n par,
queremos mostrar que
p q
(23)
Mas, atendendo a (21), esta ltima proposio equivalente a
q p

(24)

Vamos ento demonstrar que

n no par n2 no par.
Suponhamos ento que o nmero natural n no par; ento n mpar e,
por definio de nmero mpar, existe um natural k tal que
n = 2k + 1.
Consequentemente tem-se
n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2(2k2 + 2k) + 1 = 2m + 1,
onde designmos por m o nmero natural 2k2 + 2k. A igualdade anterior
mostra-nos que o nmero natural n2 mpar (porque se escreve na forma
2m + 1) e portanto no par. Demonstrmos assim que a proposio (24)
verdadeira e, como (23) equivalente a (24), demonstrmos a proposio
(23).
Um outro tipo de demonstrao tambm muitas vezes utilizado o
chamado mtodo de demonstrao por reduo ao absurdo. Neste caso,
para demonstrarmos que p q, comeamos por supor que a hiptese
verdadeira e que a tese falsa, ou seja, que a proposio
p ( q)
verdadeira. custa desta proposio deduzimos uma outra proposio
r que sabemos ser falsa na teoria em que estamos. Conclumos ento que a
proposio r simultaneamente verdadeira e falsa, o que absurdo. Logo
19

p ( q) falsa e (porque p verdadeiro, por ser a hiptese do teorema)

vem que q falsa, ou seja, q verdadeira.
Exemplificaremos este processo de demonstrao tornando a provar
(agora por reduo ao absurdo) que, fixado um nmero natural n, se tem
n2 par n par.
Suponhamos portanto que verdadeira a proposio
n2 par n no par.

(25)

Ento existem dois nmeros naturais k e m tais que

n2 = 2k n = 2m + 1.
Tem-se assim n2 = (2m + 1)2 = 4m2 + 4m + 1, pelo que
4m2 + 4m + 1 = 2k.
Mas, na igualdade anterior, o primeiro membro um nmero mpar e
o segundo membro um nmero par; por outro lado sabemos que no
existe qualquer nmero natural simultaneamente par e mpar. Conclumos
portanto que a proposio (25) falsa, logo n par.
Terminamos esta seco introduzindo uma notao. Sendo p e q duas
proposies quaisquer, escreveremos p ; q (leia-se p no implica q) para
negar que p implica q. Assim, p ; q , por definio, equivalente a
(p q). Por vezes, em vez de p ; q, escrevemos q : p. Tem-se ento
(p ; q) (q : p) ( (p q)) (p ( q)).

Expresses com variveis

Na linguagem matemtica muito cmodo utilizar variveis; alis, historicamente, a introduo de variveis na simbologia matemtica originou
um desenvolvimento sem precedentes desta cincia.
As variveis so smbolos (geralmente letras) que podem ser substitudos por qualquer designao de um determinado conjunto1 de designaes, chamado domnio da varivel. Por exemplo
x + 3y x2
capital de Portugal
z, w

(26)
(27)
(28)

n2 + 3n 27

(29)

Utilizamos a palavra conjunto de forma heurstica. Para mais detalhes, ver o captulo
Conjuntos.

20

so expresses com variveis. Em (26) aparecem as variveis x e y;

em (27) aparece a varivel ; em (28), as variveis z e w; finalmente,
em (29), aparece apenas a varivel n. Claro que deveramos indicar
precisamente qual o domnio das variveis em questo. Para fixar ideias
digamos, por exemplo, que o domnio das variveis de (26) o conjunto
R dos nmeros reais, o domnio das variveis de (27) e (28) o conjunto
das cidades europeias e o domnio da varivel de (29) o conjunto N dos
nmeros naturais. Isto significa que podemos substituir, em cada uma
das expresses anteriores, cada uma das variveis intervenientes por um
qualquer valor do seu domnio. Por exemplo, substituindo x por 2,3 e y
por 0,1 em (26), obtemos
2,3 + 3 0,1 2,32 .
Substituindo, em (28), z por Paris e w por Praga, obtemos
Paris, Praga.
Pensemos agora nas expresses (26) e (29). J substitumos, em (26),
cada uma das variveis x e y respectivamente pelos valores 2,3 e 0,1, tendo
obtido
2,3 + 3 0,1 2,32 .
Ao fazermos esta substituio das variveis obtivemos uma designao,
nomeadamente 2,3 + 3 0,1 2,32 . Substituamos agora a varivel n, em
(29), por exemplo por 7:
72 + 3 7 27.
O que obtivemos, neste caso, foi uma proposio.
Somos ento levados a classificar as expresses com variveis em dois
tipos: as expresses designatrias e as expresses proposicionais (tambm
chamadas condies). As expresses designatrias transformam-se em
designaes quando da substituio das variveis. As expresses proposicionais transformam-se, por substituio das variveis, em proposies.
A expresso (26) portanto uma expresso designatria, enquanto (29)
uma expresso proposicional. A expresso (27) uma condio (ou expresso proposicional) porque, ao substituirmos a varivel por uma valor
do seu domnio, obtemos uma proposio. Por exemplo, substituindo
por Lisboa, obtemos a proposio verdadeira
Lisboa capital de Portugal,
ao substituirmos por Bruxelas, obtemos a proposio falsa
Bruxelas capital de Portugal.
21

Claro que (28) uma expresso designatria porque, ao substituirmos cada

uma das variveis por um elemento do seu domnio, obtemos designaes.
Consideremos as seguintes duas expresses designatrias
(x y)2 e x2 y2 ,
onde o domnio das variveis x e y R. Consideremos tambm a expresso
com variveis
(x y)2 = x2 y2 .
Esta ltima expresso, que obviamente uma expresso proposicional,
obteve-se por ligao das duas anteriores atravs de um sinal de igual.
Isto mostra-nos que um processo para construir expresses proposicionais
escrever o sinal = entre duas expresses designatrias. Claro que tambm
podemos escrever
(x y)2 , x2 y2 ,
obtendo uma outra expresso proposicional. Em resumo, a insero, quer
do sinal de igualdade =, quer do sinal de desigualdade ,, entre duas
expresses designatrias, origina uma expresso proposicional.
Suponhamos agora que partimos de duas expresses proposicionais,
digamos por exemplo (x y)2 = 0 e x2 y2 = 0. Ser que temos o direito de inserir o sinal de equivalncia entre estas duas expresses proposicionais?
fcil ver que sim. De facto
(x y)2 = 0 x2 y2 = 0
uma nova expresso proposicional, obtida pela insero do sinal de
equivalncia entre as expresses proposicionais (xy)2 = 0 e x2 y2 = 0. Claro
que, em vez do sinal de equivalncia, podemos usar os sinais de conjuno,
disjuno, implicao; obtemos sempre novas expresses proposicionais:
(x y)2 = 0 x2 y2 = 0,
(x y)2 = 0 x2 y2 = 0,
(x y)2 = 0 x2 y2 = 0.
Tambm, partindo de uma expresso proposicional qualquer, podemos
faz-la anteceder do sinal de negao, obtendo uma nova expresso proposicional. Por exemplo, a partir de (x y)2 = 0, podemos construir
(x y)2 = 0.
Em resumo, as expresses com variveis podem ser designatrias ou
proposicionais. Uma expresso designatria transforma-se numa designao quando da substituio das variveis. Uma expresso proposicional
22

transforma-se, por substituio das variveis, numa proposio; de notar

que o valor lgico dessa proposio depende evidentemente do valor das
variveis. Duas expresses designatrias podem ser unidas pelos sinais
de igualdade = ou desigualdade ,, originando uma expresso proposicional. Duas expresses proposicionais podem ser ligadas pelos sinais de
equivalncia , conjuno , disjuno , implicao , dando origem a
uma nova expresso proposicional. O sinal de negao pode ser usado
antes de uma expresso proposicional, originando uma nova expresso
proposicional.

Quantificadores

Consideremos a expresso proposicional x > 0, sendo R o domnio da

varivel x. Substituindo x por 7, obtemos a proposio verdadeira 7 > 0;
substituindo x por 1, obtemos a proposio falsa 1 > 0. A partir da
expresso proposicional x > 0 podemos construir a seguinte proposio:
Existe uma designao no domnio da varivel x tal que x > 0. Trata-se
at de uma proposio verdadeira, porque existe pelo menos um elemento
do domnio da varivel x que, quando substitudo na expresso proposicional x > 0, a transforma numa proposio verdadeira. A proposio
Existe uma designao no domnio da varivel x tal que x > 0 escreve-se,
em notao matemtica,
x x > 0
ou, querendo indicar explicitamente o domnio da varivel x,
x R

x > 0.

Diremos que o quantificador existencial; como vimos, ao ser colocado antes de uma expresso proposicional na varivel a que diz respeito,
transforma-a numa proposio (que pode ser verdadeira ou falsa).
No caso geral, seja p(x) uma expresso proposicional qualquer na varivel x. A proposio
x p(x)
verdadeira sse existir, no domnio da varivel x, pelo menos uma designao tal que a proposio p() (obtida por substituio, na expresso
proposicional p(x), da varivel x por aquela designao ) verdadeira.
Por exemplo, so verdadeiras as proposies
x R

x < 0,

x N

23

x 100,

so falsa as proposies
x N

x < 0,

x R

x2 < 1.

O outro quantificador, designado por (leia-se para todo), o quantificador universal que, colocado antes de uma expresso proposicional p(x)
na varivel x a que diz respeito, tambm a transforma numa proposio:
p(x).

Claro que, querendo especificar o domnio D da varivel x, escreveremos

x D

p(x).

Esta proposio verdadeira sse, qualquer que seja a designao pertencente ao domnio D da varivel x, a condio p(x) se transforma numa
proposio verdadeira quando a varivel substituda por essa designao. Por exemplo, so verdadeiras as proposies
x R

x2 0,

x N

x 0,

x < 100,

x R

x2 > 0.

so falsa as proposies
x N

Em resumo, dada uma expresso proposicional p(x) na varivel x de

domnio D, h dois processos cannicos de construir uma proposio a
partir dela: a utilizao do quantificador existencial
x D

p(x)

e a utilizao do quantificador universal

x D

p(x).

A proposio x D p(x) verdadeira sse existir uma designao no

domnio D da varivel x tal que, quando substituda na expresso proposicional p(x), d origem a uma proposio verdadeira. A proposio
x D p(x) verdadeira sse, qualquer que seja a designao no domnio D da varivel x, quando substituda na expresso proposicional p(x),
d origem a uma proposio verdadeira.
Repare-se que p(x) uma expresso proposicional na varivel x, enquanto as expresses
x

p(x)

e
24

p(x)

so proposies. Por esta razo, nestas duas ltimas expresses, dizemos

que x uma varivel muda ou aparente. Nas expresses anteriores o smbolo
x da varivel muda pode ser substitudo por qualquer outro smbolo que
designe uma varivel com o mesmo domnio. Por outras palavras, e desde
que x e y tenham o mesmo domnio, tem-se
x p(x)
x p(x)

y p(y),
y p(y).

Consideremos agora uma expresso proposicional em duas variveis

x e y, digamos p(x, y). Ser que, sendo D o domnio da varivel x, uma
expresso do tipo
x D p(x, y)
tem sentido? fcil ver que sim. Na verdade trata-se de uma nova expresso proposicional, agora apenas na varivel y. Um exemplo concreto:
x R

x + y = 0.

Repare-se que x + y = 0 uma expresso proposicional nas variveis x e

y. Ao colocarmos o quantificador existencial relativo a x (com o universal seria anlogo) tornmos a varivel x muda, obtendo uma expresso
proposicional apenas na varivel y. De facto, se substituirmos y por um
qualquer valor real, por exemplo por sete, obtemos
x R

x + 7 = 0,

que uma proposio (neste caso verdadeira).

Voltemos a pensar na expresso proposicional x+ y = 0, onde o domnio
das variveis x e y R. J sabemos que, ao escrevermos
x R

x+y=0

obtemos uma expresso proposicional, agora s na varivel y. Claro que

esta expresso proposicional pode ser antecedida de um quantificador na
varivel y, dando origem a uma proposio, por exemplo
y R (x R

x + y = 0).

Trata-se, neste caso, de uma proposio verdadeira; vulgar omitir os

parnteses quando do uso de mais de um quantificador, escrevendo
y R x R
25

x + y = 0.

 imediato ver que a proposio anterior equivalente a

x R y R

x + y = 0,

pelo que usual escrever abreviadamente (com o sentido das duas proposies anteriores)
x, y R x + y = 0.
Consideremos agora, ainda a ttulo de exemplo, a proposio
y R (x R

x + y = 0),

escrita, de forma abreviada,

y R x R

x + y = 0.

Trata-se de uma proposio verdadeira porque, fixado um y qualquer em

R, existe um nmero real x que somado com y d zero: basta tomar x = y.
Mas j a proposio
x R y R

x+y=0

falsa. De facto no existe um nmero real x que somado com qualquer

outro nmero real y d sempre 0. Vemos assim que no lcito trocar dois
quantificadores de natureza diferente.
No caso geral, seja p(x, y) uma expresso proposicional nas variveis
x e y. Partindo dela podemos obter proposies, fazendo-a anteceder de
dois quantificadores (um em cada uma das variveis). imediato ver que,
se esses dois quantificadores forem da mesma espcie (ambos existenciais
ou ambos universais), a sua ordem irrelevante. Se forem de espcies
diferentes (um existencial e outro universal), ento no lcito trocar a
ordem.
Para compreendermos melhor o que se passa ao trocar um quantificador
existencial com um universal, seja p(x, y) uma expresso proposicional
qualquer nas variveis x e y, de domnios respectivamente D1 e D2 , e
consideremos as duas proposies seguintes
x D1 y D2
y D2 x D1

p(x, y)
p(x, y)

(30)
(31)

Na proposio (30) afirma-se que, para cada x em D1 existe um y em D2

tal que p(x, y); naturalmente que esse y depende do x considerado. Na
proposio (31) afirma-se que existe um y em D2 (independente de x) tal
26

que, para todo o x em D1 , se tem p(x, y). Isto mostra que (31) implica (30),
ou seja, a proposio
y D2 x D1

p(x, y)

x D1 y D2

p(x, y)

(32)

verdadeira. Ateno! No h equivalncia entre (30) e (31); o que se passa

que (31) implica (30), pelo que (32) verdadeira. Por outras palavras,
y x mais forte do que x y.
Consideremos, por exemplo, a proposio
xy(y 1) = 0 ;

y R x R

trata-se de uma proposio verdadeira, pois basta tomar y = 0 (alternativamente poderamos ter tomado y = 1). Ento a proposio
xy(y 1) = 0

x R y R

seguramente verdadeira. J a proposio

y R x [0, +[

y2 = x

obviamente falsa, enquanto a proposio

x [0, +[ y R

y2 = x

verdadeira porque basta tomarmos para y uma raiz quadrada de x o que

possvel pois, como sabemos, todo o nmero real 0 tem pelo menos
uma raiz quadrada.
O que dissemos para duas variveis, estende-se a um qualquer nmero
delas. Numa expresso proposicional num certo nmero de variveis,
por cada varivel quantificada obtemos uma expresso proposicional nas
variveis restantes; se todas as variveis estiverem quantificadas, obtemos
uma proposio. Quantificadores consecutivos da mesma espcie podem
ser trocados; de espcie diferente no.
Vamos agora estudar a negao de proposies com quantificadores.
Consideremos a proposio Existe um portugus loiro; negar esta frase
dizer que no existem portugueses loiros, ou seja, que, qualquer que seja
o portugus, ele no loiro. No caso geral, e sendo p(x) uma expresso
proposicional na varivel x de domnio D, negar a proposio x D p(x)
escrever x D p(x). Vemos assim que a proposio
(x D

p(x))

x D p(x)

(33)

verdadeira. Dito de forma imprecisa mas sugestiva, a negao de um

quantificador existencial um quantificador universal seguido de negao.
27

Consideremos agora a proposio Todo o poltico corrupto. Negar esta proposio dizer que existe pelo menos um poltico que no
corrupto. Sendo p(x) uma expresso proposicional na varivel x de domnio D, negar a proposio x D p(x) escrever x D p(x).
Conclumos assim que a proposio
(x D

p(x))

x D

p(x)

(34)

verdadeira. Dito de forma imprecisa mas sugestiva, a negao de um

quantificador universal um quantificador existencial seguido de negao.
As regras de negao dos quantificadores, expressas por (33) e (34), so
usualmente conhecidas pelo nome de segundas leis de De Morgan.
Ateno! Na linguagem corrente (infelizmente) muito usual cometer
erros na negao dos quantificadores; basta pedir a pessoas menos atentas
a negao da frase todos os homens so burros para ouvir geralmente a
resposta nenhum homem burro. Ora a negao de todos os homens
so burros no nenhum homem burro mas sim existe um homem
que no burro!
A negao de uma proposio (ou de uma expresso proposicional)
com mais do que um quantificador obtida aplicando sucessivamente as
segundas leis de De Morgan, como nos dois exemplos que apresentamos
a seguir.
Exemplo 1.
(x R y R

x + y = 2)

x R y R

x + y , 2.

Exemplo 2.

> 0 p N n N




n


1
np 
n+1


n
> 0 p N n N n p 
1 > .
n+1

Exemplos

Nesta seco daremos dois exemplos de definies importantes usadas

em Matemtica, nas quais intervm quantificadores. A primeira ser a
noo de sucesso convergente, j estudada no ensino secundrio. A
segunda a noo de funo contnua num ponto, tambm abordada no
ensino secundrio. Claro que, nesta seco, no iremos desenvolver a
explicao dos conceitos tratados, mas apenas as questes lgicas que se
podem levantar nas definies intervenientes. Para um estudo das noes
aqui tratadas remetemos para os captulos Sucesses e Continuidade.
28

9.1

Convergncia de uma sucesso.

Seja (un )nN uma sucesso de nmeros reais e seja a um nmero real qualquer. Relembramos que se diz que a sucesso (un )nN tende (ou converge)
para a, e escreve-se un a, sse:
> 0 p N n N

n p |un a|

(35)

Vemos assim que a definio de sucesso convergente uma das mais

importantes definies em Anlise Matemtica faz intervir trs quantificadores. Dizer que uma sucesso (un )nN no converge para o nmero
real a negar a proposio (35), ou seja, dizer que


> 0 p N np N np p unp a >
(36)
Na proposio (36) designmos a varivel muda do segundo quantificador
existencial por np , e no por n, para frisarmos bem que np depende de p 2 .
Consideremos agora a proposio
> 0 p N n N

n p |un a| <

(37)

e comparmo-la com (35). evidente que a proposio (37) implica a

proposio (35) porque, se |un a| < , ento tambm |un a| . Ser que
(35) implica (37)? Por outras palavras, ser que (35) e (37) so proposies
equivalentes? Vamos ver que sim. Demonstremos ento que
(35)

(37).

A nossa tese (37); devemos mostrar que, para todo o > 0, se tem
p N n N

n p |un a| < .

Fixemos ento um > 0; a nossa hiptese a proposio (35) garantenos que, qualquer que seja o nmero real > 0 3 , se tem
p N n N

n p |un a| .

Em particular, escolhendo = , o que possvel porque > 0, vem

2
2

p N n N n p |un a| .
2
2

Como sabemos uma varivel quantificada com um quantificador existencial depende

das variveis quantificadas com quantificadores universais que a precedem.
3
Para no utilizarmos com dois sentidos distintos, substitumos a varivel muda
em (35) pela varivel muda o que, como sabemos, lcito.

29


Mas, sendo |un a| , ser tambm |un a| , pelo que (35) fica
2
demonstrada.
Na mesma ordem de ideias, consideremos a proposio
> 0 p N n N

n > p |un a|

(38)

e comparmo-la com (35); ser que (35) e (38) so equivalentes? fcil ver
que sim. Por um lado, atendendo a que, se n > p, ento tambm n p,
tem-se
(35) (38).
Resta-nos mostrar a recproca, isto ,

(38)

(35).

Para provarmos (35), comecemos por fixar > 0; por (38) sabemos que
existe um nmero natural designemo-lo por q tal que
n N

n > q |un a| .

Ponhamos p = q + 1; a proposio anterior escreve-se (porque n > q

equivalente a n q + 1 = p)
n N

n p |un a| ,

o que prova (35).

Acabmos de mostrar que as proposies (35), (37) e (38) so equivalentes. Do ponto de vista prtico isto significa que, na definio de sucesso
convergente para a, irrelevante as desigualdades n > p e |un a| < serem
estritas ou no.
Consideremos ainda outra proposio de aparncia semelhante a (35):
n p |un a|

0 p N n N

(39)

Tendo em conta que, se for > 0 ento tambm 0, imediato ver que

(39)

(35).

Ser que (35) e (39) so equivalentes? Vamos ver que no! Repare-se que,
se (39) for verdadeira, podemos escolher = 0 em (39), obtendo
p N n N

n p |un a| 0.

Mas |un a| 0 equivalente a |un a| = 0, ou ainda a un = a. Conclumos

assim que, se (39) for verdadeira, ento
p N n N

n p un = a,
30

o que significa que a sucesso (un )nN constante e igual a a a partir da

ordem p. Ora h sucesses que no verificam esta propriedade e, apesar
disso, verificam (35). Um exemplo a sucesso assim definida:
un =

1
.
n+1

Esta sucesso no verifica (39) com a = 0, por no se tratar de uma sucesso

constante e igual a zero a partir de uma determinada ordem. Mas verifica
(35) com a = 0:



 1
> 0 p N n N n p 
0 .
n+1
De facto tem-se


1
1

 1
 n + 1 0 n + 1 n 1,
1
ento, tomando um nmero natural p tal que p > 1, o que possvel

porque o conjunto N dos nmeros naturais no majorado, tem-se

n N

np

Portanto a sucesso de termo geral

9.2

1
.
n+1

1
verifica (35) com a = 0.
n+1

Funes contnuas

Seja D um subconjunto no vazio de R, seja f : D R e seja a D.

Recordamos que a funo f se diz contnua no ponto a sse
> 0 > 0 x D |x a| | f (x) f (a)|

(40)

Tal como na seco 9.1 temos uma definio importantssima em Anlise

Matemtica que faz intervir trs quantificadores. Tal como nessa seco,
as desigualdades latas |x a| e | f (x) f (a)| podem ser substitudas
por desigualdades estritas |x a| < e | f (x) f (a)| < .
A funo f diz-se contnua em D sse for contnua em todos os pontos
de D; significa isto que:


a D > 0 > 0 x D |x a|  f (x) f (a)
(41)
31

Claro que a proposio (41) implica a proposio (40), mas a recproca ,

no geral, falsa. O facto de uma funo ser contnua num ponto do seu
domnio no implica que seja contnua em todos os pontos do domnio.
Repare-se que, em (41), o depende de a e de . Para percebermos bem
o que se passa, vamos considerar um exemplo.
Exemplo 3. Seja f : R R definida por f (x) = x2 . Comecemos por mostrar
que esta funo contnua no ponto a = 0. Tendo em conta que, para todo
o > 0, se tem

x2 |x| ,

vemos que basta fazer = em

> 0 > 0 x R

|x| |x2 |

para obtermos uma proposio verdadeira; isto prova a continuidade da

funo x x2 no ponto zero.
Seja agora a , 0. Para provar a continuidade de x x2 no ponto a
comecemos por fixar > 0; pretendemos determinar um > 0 tal que


x R |x a| x2 a2  .
Vamos exigir que verifique
0 < < |a|

(42)

A vantagem deste procedimento que |x a| implica que x e a tenham

o mesmo sinal (porque a distncia de x a a inferior distncia de a a zero)
e que |x + a| < 2|a|. A desigualdade


x2 a2 
pode escrever-se

|x a| |x + a|

ou ainda, porque x diferente de a (visto x e a terem o mesmo sinal),

|x a|

.
|x + a|

Esta desigualdade sugere-nos escolher > 0 tal que

|x + a|

para todo o x verificando |x a| , ou seja, para todo o x tal que x

]a , a + [. Mas, tendo em conta (42), sabemos que |x a| implica
32

< |x+a|
, bastando agora impor que verifique,
|x + a| < 2|a|, ou ainda 2|a|
para alm de (42), a condio seguinte:

0<

.
2|a|

Conclumos assim que suficiente tomar




0 < < min |a|,

2|a|

(43)

para podermos garantir que a proposio

> 0 > 0 x R



|x a| x2 a2 

verdadeira. Reparemos que, fixado , a desigualdade (43) mostra que

diminui medida que |a| cresce. Para a fixo, diminui com a diminuio
de . Em resumo depende, no caso da funo considerada, de a e de .
Uma funo f : D R diz-se uniformemente contnua em D sse for
contnua em todos os pontos de D e o da proposio (40) no depender
do ponto a de D. Quer isto dizer que f uniformemente contnua em D
sse
> 0 > 0 x D a D |x a| | f (x) f (a)|

(44)

Claro que toda a funo uniformemente contnua em D contnua em

D porque, como sabemos, y x mais forte do que x y veja-se a
frmula (32). No entanto a continuidade de uma funo no garante a sua
continuidade uniforme. Por exemplo a funo x x2 contnua em R
mas no uniformemente contnua em R.
No caso do domnio D de f ser um intervalo limitado e fechado [a, b],
com a e b nmeros reais, a < b, possvel mostrar que f uniformemente
contnua em D = [a, b] sse for contnua4 .
Terminaremos com um exemplo de uma funo uniformemente contnua em R. Seja k um nmero real qualquer e seja : R R a funo
definida por (x) = kx; mostremos que uniformemente contnua em R.
Para isso, devemos provar que
> 0 > 0 x R a R

|x a| |kx ka|

(45)

No caso k = 0 a proposio anterior trivialmente verdadeira porque o

consequente da implicao, |kx ka| = 0 , verdadeiro.
4

Trata-se do teorema de Heine-Cantor, estudado usualmente nas cadeiras de Anlise

Matemtica do primeiro ano dos cursos superiores.

33

No caso k , 0 basta reparar que

|kx ka| |x a|

,
|k|

, a proposio (45) verdadeira, isto , a funo

|k|
uniformemente contnua em R.

pelo que, tomando =

34