Cap01 Logica2

Captulo 01: Lgica e Teoria de conjuntos
Sandra Gaspar Martins

18 de Setembro de 2009
Introduo
Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo
pg.2/98
Introduo
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Introduo
pg.3/98
Para compreender bem as definies e teoremas que constituem as teorias matemticas cujo
estudo vamos iniciar, indispensvel habituarmo-nos a usar uma linguagem mais precisa e rigorosa
do que a que se utiliza, em geral, na vida corrente. A aquisio desse hbito pode ser muito
facilitada pelo recurso a algumas noes e smbolos da Lgica Matemtica...
[Campos Ferreira, 2001]
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Introduo
pg.4/98
Aristteles
(384 a.C. 322 a.C.) Grego
Filsofo grego, aluno de Plato e professor de

Alexandre, o Grande, considerado um dos
maiores pensadores de todos os tempos e criador
do pensamento lgico.
Aristteles figura entre os mais influentes filsofos
gregos, ao lado de Scrates e Plato, que
transformaram a filosofia pr-socrtica,
construindo um dos principais fundamentos da
filosofia ocidental. Aristteles prestou
contribuies fundantes em diversas reas do
conhecimento humano, destacando-se: tica,
poltica, fsica, metafsica, lgica, psicologia,
poesia, retrica, zoologia, biologia, histria natural.
considerado por muitos o filsofo que mais
influenciou o pensamento ocidental.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Introduo
pg.5/98
Lgica a cincia do argumento correcto.

Um argumento correcto aquele em que quem aceita as premissas tem que aceitar a concluso.
Para verificar se um argumento correcto estuda-se a ligao entre as premissas e a concluso.
Aristteles fez duas observaes importantes. A primeira, as outras cincias podem ser
organizadas como a geometria, comeando com axiomas bsicos e construindo-as a partir da. A
segunda, os princpios argumentativos bsicos que se usam para derivar teoremas dos axiomas so
os mesmos em todas as cincias.
Os modelos de argumento que Aristteles utilizou para estudar eram padres particularmente
simples chamados silogismos. Por exemplo:
Todas sardinhas so peixes.
Todos os peixes nadam.
Portanto, todas as sardinhas nadam.
Todo o crculo redondo.
Nenhum tringulo redondo.
Nenhum tringulo crculo. [Vann McGee, 2002]
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Introduo
pg.6/98
Aplicaes
Como vimos, a Lgica serve de base construo do pensamento cientifico.
Sendo portanto utilizada por todas as cincias...
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Introduo
pg.7/98
A Lgica tem aplicao directa em diversas reas do saber...
Na programao computacional
If ... then... else...
Repeat ... until...
Na electricidade
lgebra dos Circuitos (lgebra Booleana):

Um interruptor um dispositivo ligado a um ponto de um circuito, que pode assumir um dos dois
estados, "fechado"ou "aberto". No estado "fechado"(que indicaremos por 1) o interruptor permite
que a corrente passe atravs do ponto, enquanto no estado "aberto"(que indicaremos por 0)
nenhuma corrente pode passar pelo ponto... [Celina Abar, 2004]
...
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Introduo
pg.8/98
Objectivos
No final deste captulo deve:
aplicar as propriedades lgicas de forma a simplificar
proposies;
reconhecer as diferenas entre conjunes e disjunes
e entre implicaes e equivalncias;
utilizar convenientemente os quantificadores universal e
existencial;
interpretar e usar operaes e propriedades de conjuntos;
aplicar o raciocnio lgico de modo a saber o que pode
inferir de uma proposio;
utilizar adequadamente mtodos de prova como a
deduo lgica, o contra-exemplo, o contra-reciproco e o
mtodo de induo;
seleccionar estratgias de resoluo de problemas;
utilizar o raciocnio lgico-dedutivo.
ISEL-IPL
Anlise Matemtica 1
Competncias globais
Tambm deve:
escrever e verbalizar os seu pensamentos
de uma forma clara, concisa e organizada;
justificar os raciocnios;
compreender e utilizar a linguagem
matemtica;
utilizar programas computacionais como
ferramenta de apoio ao estudo;
formular hipteses; interpretar, prever e
criticar resultados no contexto do
problema;
fazer raciocnios demonstrativos, usando
mtodos adequados (nestes, incluem-se o
mtodo de reduo ao absurdo, o mtodo
de induo matemtica e a utilizao de
contra-exemplos);
ser autnomo na auto-avaliao e, se
necessrio, na procura de elementos
complementares de estudo.
UIED-FCT-UNL
Introduo
pg.9/98
Note que:
Para responder s perguntas ou fazer anotaes, pode

utilizar qualquer ferramenta do Adobe Reader :a
ISEL-IPL
Gravao udio
Caixa de texto
Sublinhar
Realar
Chamada
Nuvem
Lpis
...
As figuras e textos sobre matemticos foram retirados da

web, para aceder pgina original basta clicar na figura.
Se no domina adequadamente o Adobe Reader, veja o tutorial em
Anlise Matemtica 1
UIED-FCT-UNL
01 Expresses
pg.10/98
Expresses
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
01 Expresses
pg.11/98
Expresses com sentido:

Com variveis:
Sem variveis:
Designaes, termos ou nomes
Expresses designatrias:
Designam entes matemticos (nmeros,

vectores, figuras geomtricas...).
Quando a concretizao das variveis as

transforma em designaes.
Exemplos:
Exemplos:
2+3
2x + 3
par
cos(t)
Proposies ou frases:
Expresses proposicionais ou condies:
Afirmaes sobre entes matemticos sobre as

quais faz sentido dizer se so verdadeiras ou
falsas.
Quando a concretizao das variveis as

transforma em proposies.
Exemplos:
Exemplos:
2x + 3 < 4
2+3=6
3n + 1 par
2 par
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
01 Expresses
pg.12/98
1. Classifique as seguintes expresses:
Princpio da no contradio
a) x > 3
Uma proposio no pode ser verdadeira e falsa

ao mesmo tempo.
b) 4(5 + 1) < 10
Princpio do terceiro excludo
c) (2, 3)
Uma proposio ou verdadeira ou falsa.

d) contnua
Se uma proposio verdadeira diz-se que tem o
valor lgico verdadeiro, caso contrrio, diz-se
que tem o valor lgico falso.
e) f (x) > 0
f) cos(x)
g) ln(e + 1) < 3
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
02 lgebra proposicional
pg.13/98
lgebra proposicional
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.14/98
No conjunto das proposies definem-se operaes entre proposies que do origem a novas proposies
com valores lgicos dependentes dos valores lgicos iniciais...
...em analogia com a lgebra elementar, onde uma operao, por exemplo a adio, entre dois nmeros
reais d um novo nmero real...
Por exemplo,
sendo p uma proposio, podemos construir uma nova proposio p,
que se l: no verdade que p.
Se a proposio p for verdadeira ento p ser falsa e vice-versa.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.15/98
No que segue consideramos p, q, r , a, b e c proposies...
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.16/98
Negue as proposies:
1. "2 par";
Negao
p ou p
2. "2+5=8";
no verdade que: p;
no p.
p
V
F
p
V
3. "A funo f : R R contnua".

x 7 x 2
( p verdadeiro quando p falso e vice-versa )
Propriedade da negao
p =
Confirmei no livro as minhas respostas.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.17/98
Propriedades da conjuno
Conjuno
1. a b
ba
(prop. comutativa)
2. (a b) c
a (b c)
abc
(prop. associativa)
3. a V =
(V o elemento neutro da conjuno)
4. a F =
(F o elemento absorvente da conjuno)
5. a a =
(prop. idempotncia)
6. a a =
pq
conjuno de p e q;
p e q.
p q pq
V V
V F
F V
F F
(s verdadeiro se p e q forem ambos
verdadeiros)
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.18/98
1. Mostre a propriedade associativa usando a

tabela de verdade.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.19/98
2. Verifique as outras propriedades usando a

tabela de verdade.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
3. Simplifique usando as propriedades:

a) (p q) p
ISEL-IPL
pg.20/98
b) (p p) q
Anlise Matemtica 1
UIED-FCT-UNL
c) (p p) q
ISEL-IPL
pg.21/98
d) p (q p)
Anlise Matemtica 1
UIED-FCT-UNL
pg.22/98
Disjuno
Propriedades da disjuno
1. a b
ba
(prop. comutativa)
2. (a b) c
a (b c)
abc
(prop.associativa)
3. a V =
(V o elemento absorvente da disjuno)
4. a F =
(F o elemento neutro da disjuno)
5. a a =
(prop. idempotncia)
6. a a =
pq
disjuno de p e q;
p ou q.
p q pq
V V
V F
F V
F F
(s falso se p e q forem ambos falsos)

ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.23/98
1. Mostre a propriedade associativa usando a

tabela de verdade.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.24/98
2. Verifique as outras propriedades usando a

tabela de verdade.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
3. Simplifique usando as propriedades:

a) (p q) p
ISEL-IPL
pg.25/98
b) (p p) q
Anlise Matemtica 1
UIED-FCT-UNL
c) (p p) q
ISEL-IPL
pg.26/98
d) p (q p)
Anlise Matemtica 1
UIED-FCT-UNL
pg.27/98
Augustus De Morgan
(18061871) ndia Reino Unido
Formulou as Leis De Morgan e foi o primeiro a

introduzir o termo e tornar rigorosa a ideia da
induo matemtica.
Quinto filho de John De Morgan, um
tenente-coronel em servio na ndia, perdeu a
viso do olho direito logo aps o nascimento. Com
sete meses de idade foi para a Inglaterra com a
famlia e aos 10 anos perdeu seu pai.
De Morgan foi essencialmente Lgico mas
escreveu trabalhos sobre os fundamentos de
lgebra, calculo diferencial, lgica e teoria das
probabilidades. Era sempre uma companhia
agradvel e um amante declarado da vida nas
grandes cidades. Tinha forte inclinao por quebra
cabeas e adivinhaes, e quando lhe
perguntavam sua idade, ele respondia: eu tinha x1
anos de idade no ano x2 .
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Propriedades envolvendo negao,

conjuno e disjuno
pg.28/98
1. Prove estas propriedades usando tabelas de

verdade.
Propriedade distributiva da conjuno em

relao disjuno:
a (b c) = (a b) (a c)
Propriedade distributiva da disjuno em relao
conjuno:
a (b c) = (a b) (a c)
Primeiras leis de De Morgan:
(a b) = ( a) ( b)
(a b) = ( a) ( b)
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
ISEL-IPL
Anlise Matemtica 1
pg.29/98
UIED-FCT-UNL
2. Utilizando as propriedades das operaes

lgicas mostre que:
pg.30/98
b) ( p q) (p q) = F
a) ( p q) (p q) = q
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
c) (p q) (p q) = q
ISEL-IPL
pg.31/98
d) ((p q) p) ( p q) = V
Anlise Matemtica 1
UIED-FCT-UNL
Implicao
pg.32/98
Propriedades da implicao
1. (a b) (b c)
ac
(prop. transitiva)
2. a b
ab
3. a b
b a
(contra recproco)
4. (a b)
a b
5. ((a b) c)
(a c) (b c)
6. (a (b c))
(a b) (a c)
pq
p implica q;
se p ento q.
p q pq
V V
V F
F V
F F
(p q s falso se verdadeiro implicar falso)

ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Equivalncia
pg.33/98
Propriedades da equivalncia
1. a b
ba
(prop. comutativa)
2. (a b)
(a b) (b a)
3. (a b) (b c)
(a c)
(prop. transitiva)
pq
p equivalente a q;
p se, e s se, q;
p sse q.
Prioridade dos conectivos

p q pq
V V
V F
F V
F F
1o
2o
3o
4o
5o
(p equivalente a q se p e q tm o mesmo valor

lgico)
( )
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
1. Utilizando as propriedades das operaes

lgicas mostre as igualdades:
pg.34/98
b) (p q) ((p q) q) = p q
a) ( p q) (p (q q)) = V
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
c) [( p q) p] (p q) =
( p q) (p q)
ISEL-IPL
pg.35/98
d) ( p q) (p q) ( p q)
= p q
Anlise Matemtica 1
UIED-FCT-UNL
e) (p q) r = (p r ) (q r )
ISEL-IPL
pg.36/98
f) p (q r ) = (p q) r .
Anlise Matemtica 1
UIED-FCT-UNL
pg.36/98
g) ( p q) (p q) = q
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
03 Condies
pg.37/98
Condies
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
03 Condies
Vamos agora estudar condies...

Relembremos a definio...
pg.38/98
Conjunto Soluo de uma condio

Os valores da varivel para os quais a condio
verdadeira.
Condies ou Expresses Proposicionais

Expresses com variveis que se transformam
numa proposio (expresso que se pode
afirmar se verdadeira ou falsa) quando se
concretizam as variveis.
Exemplos:
Exemplos:
2x + 3 = 4
2n par
O conjunto soluo da condio 2x + 3 = 4,

para x ,
{ }
1
.
C.S. =
2
O conjunto soluo da condio 2n par, para

n ,
C.S. = .
Cada varivel tem associado um conjunto de

termos que ela pode assumir, a esse conjunto
chamamos universo da varivel.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
03 Condies
pg.39/98
Exemplos:
Condio universal
Uma condio universal se o seu conjunto
soluo
Condio possvel
Uma condio possvel se o seu conjunto
soluo
(um subconjunto que no vazio nem o
prprio universo).
Condio impossvel
Uma condio impossvel se o seu conjunto
soluo
.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
03 Condies
pg.40/98
Propriedades
Seja C uma condio, U uma condio universal
e I uma condio impossvel.
1. CU =
2. CI =
3. C C =
4. CU =
5. CI =
6. C C =
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
04 Quantificadores
pg.41/98
Quantificadores
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
04 Quantificadores
pg.42/98
Os quantificares transformam condies em

proposies.
Quantificador universal
Exemplo: a condio x > 2 transforma-se nas

proposies:
x , x > 2,
x , x > 2.
para todo o
qualquer que seja
para cada
Estas so proposies so verdadeiras ou falsas?

Afirma que uma condio com uma varivel
uma condio universal num dado universo.
Quantificador existencial
existe pelo menos um

existe
Afirma que uma condio com uma varivel
uma condio possvel num dado universo.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
04 Quantificadores
pg.43/98
Exemplo:
A negao de
x x > 2
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
04 Quantificadores
pg.43/98
Exemplo:
A negao de
x x > 2
(x > 2)
ou seja,
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
04 Quantificadores
Exemplo:
A negao de
pg.43/98
1. Negue:
a) x , x + 5 > 4.
x x > 2
(x > 2)
ou seja,
x x 2.
Segundas leis de De Morgan
ISEL-IPL
[x
p(x)] = x
p(x)
[x
p(x)] = x
p(x)
Anlise Matemtica 1
UIED-FCT-UNL
04 Quantificadores
b) n , n nmero primo.
ISEL-IPL
pg.44/98
c) n p : n = 2p n par.
ou seja,
n (p : n = 2p n par).
Anlise Matemtica 1
UIED-FCT-UNL
04 Quantificadores
pg.45/98
1. Das duas situaes seguintes, qual ilustra o 1o

princpio e qual ilustra o 2o ?
1o Princpio Lgico de Equivalncia

Quando numa expresso, composta por vrias
expresses, se substitui uma destas expresses
por outra equivalente, obtm-se uma expresso
equivalente primeira.
a) (x + 1)2 = x 2 + 2x + 1 verdadeiro.
Substituindo o x por 3, ainda verdadeiro
que (3 + 1)2 = 32 + 2 3 + 1.
2o Princpio Lgico de Equivalncia

Quando em duas expresses equivalentes entre
si, substituimos uma varivel por qualquer outra
expresso designatria obtemos ainda duas
expresses equivalentes entre si.
ISEL-IPL
b) 3 + x + x = 4 equivalente a 3 + 2x = 4.
Anlise Matemtica 1
UIED-FCT-UNL
Mapa conceptual
pg.46/98
Mapa conceptual
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Mapa conceptual
Construa um mapa conceptual deste captulo.
ISEL-IPL
pg.47/98
(Usando as ferramentas de edio e o Instantneo do Adobe Reader )
Anlise Matemtica 1
UIED-FCT-UNL
Mapa conceptual
pg.48/98
(continuao)
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Mapa conceptual
pg.49/98
(continuao)
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Para Praticar. . . 1
pg.50/98
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.51/98
Provavelmente no conhece estas matrias . . .
. . . normal!
Vamos fazer apenas uma anlise lgica . . .
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.52/98
1. Considere as condies elementares:
c) se x for menor que 2 ento maior que -1.
p: x <2
e
q : x > 1
Traduza para linguagem simblica cada uma
das expresses:
d) x menor ou igual que -1 se, e s se, x

menor que 2.
a) x menor que 2 e maior que -1.
b) x ou menor que 2 ou menor ou igual a -1.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.53/98
2. Considere o Teorema:
Se uma funo derivvel ento contnua.
d) Se tiver uma funo no derivvel tem a

certeza que ela no contnua?
a) Se tiver uma funo contnua tem a certeza

que ela derivvel?
e) Uma funo ou no derivvel ou contnua?
b) Se tiver uma funo derivvel tem a certeza

que ela contnua?
f) Uma funo pode ser derivvel e no
contnua?
c) Se tiver uma funo no contnua tem a

certeza que ela no derivvel?
Volte s questes anteriores, formalize
logicamente cada uma das expresses e confirme
todas as suas concluses utilizando as
propriedades da lgica.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.54/98
d) Se tiver uma funo no integrvel tem a

certeza que ela no contnua?
Toda a funo contnua integrvel.
a) Se tiver uma funo contnua tem a certeza

que ela integrvel?
e) Uma funo ou no integrvel ou
contnua?
b) Se tiver uma funo integrvel tem a
certeza que ela contnua?
f) Uma funo pode ser no integrvel e
contnua?
c) Se tiver uma funo no contnua tem a
certeza que ela no integrvel?
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Se a srie de an convergente ento an 0.
pg.55/98

a) Se tiver uma srie de an convergente tem a

certeza que an tende para 0?
b) Se tiver uma sucesso an a tender para 3

tem a certeza que a srie de an
convergente? E de que no converge?
c) Se tiver uma sucesso an a tender para 0,

tem a certeza que a srie de an converge?
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
5. Considere a definio:
Uma funo f diz-se injectiva se
a, b
pg.56/98
d) E se f (2) = f (3)?
(f (a) = f (b) a = b)
a) f no injectiva se:
e) Consegue provar que f injectiva testando
alguns elementos?
b) Use o contra-reciproco para dizer de outra

forma que f injectiva:
f) E que no injectiva?
c) Se f (2) = f (3) que pode concluir quanto

injectividade de f ?
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.57/98
Uma sucesso montona e no
limitada tem limite infinito.
d) Uma sucesso com limite finito que pode

concluir quanto monotonia?
Utilizando-o, que pode concluir?

a) Se tiver uma sucesso montona ela tem
limite infinito?
e) Se tiver uma sucesso no montona e
limitada que pode concluir quanto ao limite?
b) Se tiver uma sucesso no montona ela

no tem limite infinito?
c) Se tiver uma sucesso com limite infinito

que pode concluir quanto monotonia?
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.58/98
7. Indique, justificando, o valor lgico das

proposies:
e) x y : y x.
a) x : x = 2.
f) x, y x 2 y 2 = (x y )2 .
b) x : x = 2.
g) x, y z : x = yz.
c) x x 2 > 1.
h) x
x 2 + 1 > 1.
d) x y : x = y 2
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
i) x y : y = x 2 .
pg.59/98
8. Negue as proposies:
a) x x 2 > 1.
j) x : (x > 2 x > 1).

b) x y : x = y 2
k) x (x 2 > 1 x > 2).
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.60/98
9. Dada uma proposio do tipo...

a
ISEL-IPL
10. Dada uma proposio do tipo...
P(a)
P(a)
a) Explique como deve proceder para provar

que esta proposio falsa.
a) Explique como deve proceder para provar

que esta proposio falsa.
b) E verdadeira?
b) E verdadeira?
c) Negue a expresso inicial e compare com

a alnea a).
c) Negue a expresso inicial e compare com

a alnea a).
Anlise Matemtica 1
UIED-FCT-UNL
pg.61/98
11. Voltemos banda desenhada da capa...
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
a) Reescreva as falas da banda desenhada

usando smbolos lgicos.
ISEL-IPL
pg.62/98
b) Qual o erro lgico cometido pelo Manoelito?
Anlise Matemtica 1
UIED-FCT-UNL
pg.63/98
Teste
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
05 Teoria de conjuntos
pg.64/98
Teoria de conjuntos
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.65/98
Operaes com conjuntos

Reunio (ou unio) dos conjuntos A e B:
A B = {x : x A
x B}
Interseco dos conjuntos A e B:

A B = {x : x A
x B}
Diferena dos conjuntos A e B:

AB = {x : x A
x
/ B}
Complementar do conjunto A:
Ac = {x : x
/ A}
Produto Cartesiano dos conjuntos A e B:
A B = {(x, y ) : x A
A2 = A A
ISEL-IPL
y B}
Anlise Matemtica 1
UIED-FCT-UNL
pg.66/98
Propriedades
AA=A
AB =BA
(A B) C = A (B C)
AA=A
AB =BA
(A B) C = A (B C)
(A B) C = (A C) (B C)
(A B) C = (A C) (B C)
(Ac )c = A
Ac A = U e Ac A =
U c = e c = U
(A B)c = Ac B c e (A B)c = Ac B c
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
pg.67/98
1. Prove as propriedades distributivas.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
2. Prove que:
a) A(AB) = A B
ISEL-IPL
pg.68/98
b) (A C)B (AB) C
Anlise Matemtica 1
UIED-FCT-UNL
3. Indique, justificando, o valor lgico de:
pg.69/98
b) A (BA) = A B.
a) (A B = A C) B = C
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
c) Ac B c = A B = U
ISEL-IPL
pg.70/98
d) (A B = , B C = ) A C =
Anlise Matemtica 1
UIED-FCT-UNL
pg.71/98
e) A(B C) = (AB) (AC)
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
06 Mtodo de Induo
pg.72/98
Mtodo de induo matemtica
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
06 Mtodo de Induo
1. Considere a expresso
1 + 2 + 3 + + n =
pg.73/98
d) E se n=5?
n(n + 1)
.
2
a) Qual o significado da expresso se n=2?

e) E se n=10?
b) E se n=3?
c) E se n=1?
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
06 Mtodo de Induo
f)
Use uma folha de clculo para verificar que

a proposio verdadeira para n at 50.
Copie para esta folha a tabela.
ISEL-IPL
Anlise Matemtica 1
pg.74/98
g) Prove que a expresso verdadeira n
UIED-FCT-UNL
06 Mtodo de Induo
f)
Use uma folha de clculo para verificar que

a proposio verdadeira para n at 50.
Copie para esta folha a tabela.
pg.74/98
g) Prove que a expresso verdadeira n
No est a ver como faz-lo... no ?! O

mtodo que se segue permite-nos faz-lo com
toda a simplicidade...
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
06 Mtodo de Induo
Mtodo de Induo (verso 1)
Mtodo de Induo (verso 2)

Dado um conjunto X , tal que:
Seja C(n) uma condio relativa a um nmero

natural n.
E sendo k1 um nmero natural fixo.
Se C(k1 ) verdadeira.
Se, sempre que C(k ) verdadeira ento

C(k + 1) tambm verdadeira.
pg.75/98
1X
Se n X ento n + 1 X .
Ento X = .
Ento tem-se que,

C(n) verdadeira para qualquer natural
n k1 .
Esquematicamente:
C(k1 )
C(k ) = C(k + 1)
ento
C(n)
(para n k1 ).
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
06 Mtodo de Induo
pg.76/98
Voltando ento alnea g)...

Vamos provar que:
n(n + 1)
1 + 2 + 3 + + n =
,
2
Suponhamos que a proposio verdadeira para

um certo nmero k .
n .
Para
n=1
Para
, vejamos se a proposio
verdadeira:
12
1=
2
1=1
n=k
, ou seja,
1+2+3+ +k =
k (k + 1)
(Hiptese de Induo)
2
Portanto a proposio verdadeira para n = 1.
(continua)
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
06 Mtodo de Induo
pg.77/98
1 + 2 + 3 + + (k + 1) =
Vejamos se, nesse caso, a proposio
verdadeira para o nmero natural seguinte...
= 1 + 2 + 3 + + (k 1) + k +(k + 1)
|
{z
}
k (k +1)
2
ou seja,
n =k +1
para
,
ser verdadeiro que
1 + 2 + 3 + + (k + 1) =
por Hiptese de Induo,

=
(k + 1)((k + 1) + 1)
2
k (k + 1)
2
+ (k + 1)
reduzindo ao mesmo denominador,
isto , que
+ 2)
?1 + 2 + 3 + + (k + 1) = (k + 1)(k
?
2
k (k + 1) + 2(k + 1)
2
colocando (k + 1) em evidncia,
Vamos tentar prov-lo...
(k + 1)(k + 2)
2
Ora, temos o que queramos provar:

1 + 2 + 3 + + (k + 1) =
(k + 1)(k + 2)
2
Assim, pelo mtodo de induo,
1 + 2 + 3 + + n =
ISEL-IPL
Anlise Matemtica 1
n(n + 1)
,
2
n .
UIED-FCT-UNL
06 Mtodo de Induo
pg.78/98
1. Seja C(n) uma condio relativa a um nmero

natural n. Que concluso se pode tirar de:
a) C(5) verdadeira e C(i) ser verdadeira
implica que C(i + 2) tambm o .
b) C(1) e C(2) so verdadeiras e C(i) ser

verdadeira implica que C(i + 2) tambm o
.
d) C(50) verdadeira e C(i) ser verdadeira

implica que C(i 1) tambm o .
e) C(1) verdadeira e C(i) ser verdadeira implica

que C(4i) e C(i 1) tambm o so.
f) C(1) verdadeira e C(2i) ser verdadeira

implica que C(2i + 1) tambm o .
c) C(50) verdadeira e C(i) ser verdadeira
implica que C(i + 1) e C(i 1) tambm o
so.
g) Encontre um principio para concluir que uma
condio C(n) verdadeira para todos os
mltiplos de 3 maiores do que 9.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
06 Mtodo de Induo
2. Determine, justificando, o valor lgico das

proposies seguintes.
Pode utilizar uma Folha de clculo
para testar alguns valores...
a) 1 + 3 + 5 + + (2n + 1) = n2 ,
ISEL-IPL
n .
Anlise Matemtica 1
pg.79/98
b) Soma de uma progresso (geomtrica:

)
n
a + a2 + a3 + + an = a 1a
1a ,
a {1}, n .
UIED-FCT-UNL
06 Mtodo de Induo
pg.80/98
c) n! > 2n ,
ISEL-IPL
n , n 4.
d) 2 factor de n2 + n,
Anlise Matemtica 1
n .
UIED-FCT-UNL
06 Mtodo de Induo
e)
k =1
ISEL-IPL
k2 =
n(n + 1)(2n + 1)
,
6
pg.81/98
f) 1 + 2 2 + 3 22 + 4 23 + + n.2n1 =
1 + (n 1).2n ,
n .
n .
Anlise Matemtica 1
UIED-FCT-UNL
06 Mtodo de Induo
g) Determine a, de modo que:

(1 + a)p > pa + 1,
p 2.
ISEL-IPL
h) 1 + 4 + 9 + + r 2 = (4r 3)2 ,
Anlise Matemtica 1
pg.82/98
r .
UIED-FCT-UNL
06 Mtodo de Induo
pg.83/98
i)
k .k ! = (n + 1)! 1,
n .
j) n2 > n + 1,
n > 1.
k =1
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
06 Mtodo de Induo
3. Descubra o erro:
pg.84/98
4. Pode utilizar uma Folha de clculo para

garantir que uma proposio verdadeira para
todos os nmeros naturais? E para provar que
no verdadeira para todos os nmeros
naturais? E para testar alguns casos?
Vamos provar que:

EM QUALQUER CONJUNTO COM n
GATOS, TODOS OS GATOS SO DA
MESMA COR.
Num conjunto com um gato, todos os
gatos tm a mesma cor.
Supondo que dado um conjunto com k
gatos, todos os gatos tm a mesma cor.
Dado um conjunto com k + 1 gatos,
retira-se um gato e fica-se com k gatos,
logo tm a mesma cor. Volta-se a por
esse gato e tira-se outro. Ficam k gatos
logo tm a mesma cor, ou seja, o ltimo
gato da cor dos anteriores.
Portanto EM QUALQUER CONJUNTO
COM n GATOS, TODOS OS GATOS SO
DA MESMA COR!!!!
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
06 Mtodo de Induo
pg.85/98
Teste
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Bibliografia
pg.86/98
Referncias
Abar, C. A. A. P. (2004). Apostila de Introduo Lgica Matemtica. http:
//www.ebah.com.br/apostila-de-introducao-a-logica-matematica-doc-a11941.html
Caraa, B. J. (1951). Conceitos fundamentais da matemtica. Lisboa: Tipografia matemtica, Lda.
Ferreira, C. (2001). Elementos de lgica matemtica e Teoria dos Conjuntos: Folhas do IST Available
from http://preprint.math.ist.utl.pt/preprints.pt.xml?serie=textos_didaticos
McGee, V. (2002). Logic: The Art of Persuasion and the Science of Truth Available from http://ocw.
mit.edu/OcwWeb/Linguistics-and-Philosophy/24-241Fall-2005/Readings/index.htm,
traduo da autora.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Bibliografia
pg.87/98
Bibliografia*
Jos Alberto Rodrigues.
Mtodos matemticos em engenharia: Modelos em .
Edies Colibri, 2007.
Tiago Charters de Azevedo.
Teoria de conjuntos e clculo proposicional.
Unpublished notes - ISEL, 2009.
Jaime Campos Ferreira.
Elementos de lgica matemtica e teoria dos conjuntos: Folhas do i.s.t.
Available from
http://preprint.math.ist.utl.pt/preprints.pt.xml?serie=textos_didaticos, 2001.
Grupo de Matemtica da Universidade Tcnica de Lisboa.
Teoria dos conjuntos: Folhas do i.s.t.
Available from
http://preprint.math.ist.utl.pt/preprints.pt.xml?serie=textos_didaticos, 2001.
Salas, Hille, and Etgen.
Calculus: One variable.
John Wiley Sons, Inc., 9th edition, 2003.
Dale Varberg and Edwin J. Purcell.
Calculus.
Prentice-Hall, Inc., 7th edition, 1997.
*
Por ordem de adequao como complemento ao estudo.
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Notas
pg.88/98
Notas
(Algumas pginas em branco para utilizar como lhe aprouver... )
ISEL-IPL
Anlise Matemtica 1
UIED-FCT-UNL
Notas
ISEL-IPL
Anlise Matemtica 1
pg.89/98
UIED-FCT-UNL
Notas
ISEL-IPL
Anlise Matemtica 1
pg.90/98
UIED-FCT-UNL
Notas
ISEL-IPL
Anlise Matemtica 1
pg.91/98
UIED-FCT-UNL
Notas
ISEL-IPL
Anlise Matemtica 1
pg.92/98
UIED-FCT-UNL
Notas
ISEL-IPL
Anlise Matemtica 1
pg.93/98
UIED-FCT-UNL
Notas
ISEL-IPL
Anlise Matemtica 1
pg.94/98
UIED-FCT-UNL
Notas
ISEL-IPL
Anlise Matemtica 1
pg.95/98
UIED-FCT-UNL
Notas
ISEL-IPL
Anlise Matemtica 1
pg.96/98
UIED-FCT-UNL
Notas
ISEL-IPL
Anlise Matemtica 1
pg.97/98
UIED-FCT-UNL
Notas
ISEL-IPL
Anlise Matemtica 1
pg.98/98
UIED-FCT-UNL

Cap01 Logica2

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Cap01 Logica2

Transféré par

Droits d'auteur :

Formats disponibles

Captulo 01: Lgica e Teoria de conjuntos

Sandra Gaspar Martins

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

Filsofo grego, aluno de Plato e professor de

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

Lgica a cincia do argumento correcto.

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

Como vimos, a Lgica serve de base construo do pensamento cientifico.

Sendo portanto utilizada por todas as cincias...

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

A Lgica tem aplicao directa em diversas reas do saber...

lgebra dos Circuitos (lgebra Booleana):

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

Para responder s perguntas ou fazer anotaes, pode

As figuras e textos sobre matemticos foram retirados da

Se no domina adequadamente o Adobe Reader, veja o tutorial em

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

Expresses com sentido:

Designam entes matemticos (nmeros,

Quando a concretizao das variveis as

Expresses proposicionais ou condies:

Afirmaes sobre entes matemticos sobre as

Quando a concretizao das variveis as

1. Classifique as seguintes expresses:

Uma proposio no pode ser verdadeira e falsa

Uma proposio ou verdadeira ou falsa.

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

No que segue consideramos p, q, r , a, b e c proposies...

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

3. "A funo f : R R contnua".

( p verdadeiro quando p falso e vice-versa )

Confirmei no livro as minhas respostas.

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

Confirmei no livro as minhas respostas.

Confirmei no livro as minhas respostas.

1. Mostre a propriedade associativa usando a

2. Verifique as outras propriedades usando a

3. Simplifique usando as propriedades:

Captulo 01: Lgica, Teoria de conjuntos e Mtodo de Induo

Confirmei no livro as minhas respostas.

1. Mostre a propriedade associativa usando a

2. Verifique as outras propriedades usando a

3. Simplifique usando as propriedades:

Formulou as Leis De Morgan e foi o primeiro a

Propriedades envolvendo negao,

1. Prove estas propriedades usando tabelas de

Propriedade distributiva da conjuno em

Confirmei no livro as minhas respostas.

2. Utilizando as propriedades das operaes

Confirmei no livro as minhas respostas.

(p q s falso se verdadeiro implicar falso)

Prioridade dos conectivos

(p equivalente a q se p e q tm o mesmo valor

Confirmei no livro as minhas respostas.

Confirmei no livro as minhas respostas.

1. Utilizando as propriedades das operaes

Vamos agora estudar condies...

Conjunto Soluo de uma condio

Condies ou Expresses Proposicionais

O conjunto soluo da condio 2x + 3 = 4,

O conjunto soluo da condio 2n par, para

Cada varivel tem associado um conjunto de