Logica Afa

MATEMTICA MDULO 1
PROF. RENATO MADEIRA PROMILITARES AFA/EFOMM/EN
LGICA
1. PROPOSIO
Proposio ou Sentena toda orao declarativa que pode ser classificada em verdadeira ou falsa. Toda
proposio apresenta um, e somente um, dos valores lgicos: verdadeira (V) ou falsa (F).
Exemplo: So proposies verdadeiras: 9 5 e 2 . So proposies falsas: 1 e 25.
Tautologia (proposio logicamente verdadeira) a proposio que possui valor V (verdadeira)

independente dos valores lgicos das proposies das quais depende.
Exemplo: A frase O recm-nascido menino ou menina sempre verdadeira, pois sendo menino teremos
V ou F, sendo menina teremos F ou V e em ambos os casos o resultado verdadeiro.
Contradio (proposio logicamente falsa) a proposio que possui valor F (falsa) independente dos
valores lgicos das proposies das quais depende.
Exemplo: A frase O recm-nascido menino e menina sempre falsa, pois sendo menino teremos V e F,
sendo menina teremos F e V e em ambos os casos o resultado falso.
Sentenas abertas so proposies cujo valor lgico depende do valor de uma ou mais variveis.
O conjunto de todos os valores que as variveis podem assumir denomina-se Universo.
O subconjunto do universo para o qual a sentena aberta verdadeira denomina-se Conjunto Verdade ou
ConjuntoSoluo.
Exemplo: No universo U , o conjunto verdade da sentena x2 5 V 0,1,2 .
2. NEGAO
A negao de uma proposio p indicada por p (ou p ) e tem sempre valor oposto ao de p .
Tabelaverdade
p p
V F
F V
1
MATEMTICA MDULO 1
Exemplo: A negao de p : 9 5 F p : 9 5 V .
3. CONECTIVOS
A conjuno (e), denotada por p q ou p q , verdadeira se p e q so ambas verdadeiras; se ao menos uma

delas for falsa, ento p q falsa.
A disjuno (ou), denotada por p q ou p q , verdadeira se ao menos uma das proposies p ou q

verdadeira; se p e q so ambas falsas, ento p q falsa.
Tabelaverdade
p q pq pq
V V V V
V F F V
F V F V
F F F F
Exemplos:
9 5 0 1 falsa, pois V F falsa.
9 5 0 1 verdadeira, pois V F verdadeira.
4. CONDICIONAIS
O condicional, denotado por p q falso somente quando p verdadeira e q falsa; caso contrrio, p q
verdadeiro.
O bicondicional, denotado por p q verdadeiro somente quando p e q so ambas verdadeiras ou ambas

falsas; se isso no acontecer p q falso.
Tabelaverdade
p q p q p q
V V V V
V F F F
F V V F
F F V V
A recproca de p q a proposio q p .
A contrria de p q a proposio pq .
A contrapositiva de p q a proposio qp .
2
MATEMTICA MDULO 1
PROBIZU
Uma proposio e sua contrapositiva so equivalentes: p q q p .
A recproca e a contrria de uma proposio so equivalentes: q p p q .
4.1. RELAO DE IMPLICAO
Diz-se que p implica q p q quando na tabela de p e q no ocorre VF em nenhuma linha, ou seja, quando o
condicional p q verdadeiro.
Nesse caso pode-se dizer que p condio suficiente para q ou que q condio necessria para p.
PROBIZU
pq

p condio suficiente para q

q condio necessria para p
Uma condio dita necessria quando ela precisa acontecer para o resultado ser verdadeiro, mas no
garante que ele seja verdadeiro.
Exemplo: x 0 uma condio necessria de x 1 .
Um teorema uma implicao da forma hiptese tese . Assim, demonstrar um teorema significa mostrar
que, sempre que a hiptese for verdadeira, a tese tambm ser verdadeira.
Exemplo: x 2 x2 4 (note que a volta no necessariamente verdadeira)
A proposio p q ser falsa se existir um objeto matemtico que satisfaa a hiptese p e no satisfaa a
concluso q VF . Esse objeto chamado contra exemplo para a proposio p q .
Por outro lado, um objeto matemtico que satisfaa a hiptese p e a tese q se diz um exemplo para a
proposio p q .
3
MATEMTICA MDULO 1
PROBIZU
Um nico contra exemplo suficiente para provar que uma proposio falsa, entretanto enumerar
exemplos no garante que a proposio seja verdadeira.
4.2. RELAO DE EQUIVALNCIA
Diz-se que p equivalente a q ( p q ou p q ) quando p e q tm tabelas-verdades iguais, isto , quando p e q

tm sempre o mesmo valor lgico, ou seja, p q verdadeiro.
Nesse caso diz-se que p condio necessria e suficiente para q ou que p se, e somente se, q.
PROBIZU
pq

p condio necessria e suficiente para q

p se, e somente se, q
Uma proposio do tipo p se, e somente se, q verdadeira quando p q (p condio necessria para q) e
q p (p condio suficiente para q) so ambas verdadeiras.
Exemplo: 3x 1 4 3x 4 1
Na resoluo de equaes e inequaes deve-se atentar para o significado das relaes de implicao e
equivalncia. Passagens relacionadas por equivalncia mantm exatamente o mesmo conjunto verdade, pois
ambas so verdadeiras ou falsas simultaneamente. J passagens relacionadas por implicao no garantem o
mesmo conjunto verdade. Nesse caso, o novo conjunto verdade contm o anterior, devendo-se ter cuidado
com a introduo de razes que no so vlidas. Isso ocorre com frequncia na resoluo de equaes
irracionais.
Exemplo: Resolver a equao x2 5x 1 1 2x
x2 5x 1 1 2x x2 5x 1 2x 1
x2 5x 1 2x 1 3x2 9x 0
2
x 0 x 3
4
MATEMTICA MDULO 1
Testando as razes obtidas verifica-se que x 0 no uma raiz vlida. Essa raiz apareceu exatamente quando
se elevou ao quadrado ambos os membros da equao, pois, nesse caso, no valia a relao de equivalncia,
mas somente a implicao. Como se pode notar, o novo conjunto soluo S 0,3 continha o conjunto
soluo da equao inicial S 3 .
Outra maneira de resolver a equao utilizando somente equivalncias seria:
x2 5x 1 1 2x x2 5x 1 2x 1

x2 5x 1 2x 1
2

2x 1 0
1
3x2 9x 0 x
2
1
x 0 x 3 x x 3
2
5. LGEBRA DAS PROPOSIES
Propriedade Idempotente:
p p p
pp p
Propriedade Comutativa:
p q qp
p q qp
Propriedade Associativa
p q r p q r
p q r p q r
Distributividade:
p q r p q p r
p q r p q p r
5
MATEMTICA MDULO 1
Absoro:
p p q p
p p q p
Dupla negao:
p p
Contrapositiva:
(p q) (q p)
Transformao de implicao em disjuno:
(p q) (p q)
6. QUANTIFICADORES
O quantificador universal () indica qualquer que seja, para todo.
Exemplo: x x2 0
O quantificador existencial () indica existe, existe pelo menos um, existe um. indica existe um
nico, existe um e um s.
Exemplos: x x 1 2 e x x 1 2 .
7. NEGAO DE PROPOSIES (LEIS DE DE MORGAN)
A negao de proposies com conectivos ou condicionais feita com base nas relaes seguintes:
Leis de De Morgan
p q p q
p q p q
p q p q
A Leis de De Morgan mostram que:
i) Negar que duas proposies so verdadeiras ao mesmo tempo equivale a afirmar que pelo menos uma
delas falsa.
6
MATEMTICA MDULO 1
ii) Negar que pelo menos uma de duas proposies verdadeira equivale a afirmar que ambas so falsas.
Exemplos:
1) A negao de Juca bom e honesto Juca no bom ou no honesto.
2) A negao de Juca bom ou honesto Juca no bom e no honesto.
3) A negao de Se Juca bom, ento honesto Juca bom e no honesto.
A negao de uma proposio do tipo: Para todo objeto, com uma certa propriedade, algo acontece :
Existe um objeto com a certa propriedade, tal que aquele algo no acontece.
A negao de uma proposio do tipo: Existe um objeto, com uma certa propriedade, para o qual algo
acontece : Para todo objeto com a certa propriedade, aquele algo no acontece.
PROBIZU
Em geral, usa-se o quantificador existencial para negar proposies com quantificador universal, e o
quantificador universal para negar proposies com quantificador existencial.
Atente para os casos a seguir:
PROPOSIO NEGAO
Todos os alunos usam culos. Existe pelo menos um aluno que no usa culos.
Algum aluno usa culos. Nenhum aluno usa culos.
Todo homem honesto. Algum homem no honesto.
Algum homem honesto. Todo homem no honesto.
95 95
8. TCNICAS DE DEMONSTRAO
8.1. DEMONSTRAO INDIRETA OU REDUO AO ABSURDO
Consiste em admitir a negao da concluso q e da deduzir logicamente uma contradio qualquer c (uma
proposio logicamente falsa como p. ex. p p ).
Isso pode ser verificado observando que q c q c q c q .
* x y
Exemplo: Sendo x,y , prove que 2 .
y x
x y
Supondo por absurdo a negao da proposio inicial 2 , teremos:
y x
7
MATEMTICA MDULO 1
x y x 2 y2
2 x2 y2 2xy x y 0
2
2 CONTRADIO.
y x xy
Logo, a proposio inicial vlida.
8.2. CONTRA EXEMPLO
Para mostrar que uma proposio da forma x A p x falsa (F), basta mostrar que a sua negao
x A p x verdadeira (V), isto , que existe pelo menos um elemento x 0 A tal que p x0 uma
proposio falsa (F). O elemento x0 diz-se um contra exemplo para a proposio x A p x .
Exemplo: Prove que a proposio x 2n n2 falsa.
Basta verificar que para n 2 tem-se 22 22 falsa. Logo 2 um contraexemplo para a proposio
apresentada que, em consequncia, falsa.
8.3. PRINCPIO DA INDUO FINITA (P.I.F.)
AXIOMAS DE PEANO
O conjunto dos nmeros naturais caracterizado pelas seguintes propriedades:
(1) Existe uma funo injetiva s : . A imagem s n de cada nmero natural n chama-se o sucessor
de n.
Todo nmero natural tem um sucessor, que ainda um nmero natural; nmeros diferentes tm sucessores
diferentes.
(2) Existe um nico nmero natural 1 tal que 1 s n para todo n .
Existe um nico nmero natural 1 que no sucessor de nenhum outro.
(3) Se um conjunto X tal que 1 X e sX X (isto , nX s n X ) ento X .
Se um conjunto de nmero naturais contm o nmero 1 e contm tambm o sucessor de cada um dos seus
elementos, ento esse conjunto contm todos os nmeros naturais. (Princpio da Induo)
Mtodo da Induo Finita (recorrncia)
8
MATEMTICA MDULO 1
Se uma propriedade P vlida para o nmero 1 e se, supondo P vlida para o nmero n da resultar que P
vlida tambm para seu sucessor s(n), ento P vlida para todos os nmeros naturais.
APLICAO DO PIF
Passo1: demonstrar que a afirmao verdadeira para um caso particular, por exemplo, n 1 (ou o menor
elemento do conjunto);
Passo2: supor que a afirmao vlida para n k (hiptese de induo);
Passo3: demonstrar, a partir disto, que a afirmao vlida para n k 1 .
n n 1
Exemplo: Demonstrar que 1 2 3 n .
2
Vamos aplicar o PRINCPIO DA INDUO FINITA (PIF):
Passo1:
1 1 1
n 1: 1 V
2
Passo 2:
k k 1
Supondo que a propriedade vlida para n k , ento 1 2 3 k .
2
Passo 3:
Para n k 1 , temos:
k k 1 k k 1 k 2
123 k k 1 k 1 k 1 1
2 2 2
Como a propriedade vlida tambm para n k 1 , ela vlida para todo natural. C.Q.D.
9
MATEMTICA MDULO 1
EXERCCIOS DE COMBATE
1. (EPCAR 2012) Uma pessoa foi realizar um curso de aperfeioamento. O curso foi ministrado em x dias nos
perodos da manh e da tarde desses dias. Durante o curso foram aplicadas 9 avaliaes que ocorreram em
dias distintos, cada uma no perodo da tarde ou no perodo da manh, nunca havendo mais de uma avaliao
no mesmo dia. Houve 7 manhs e 4 tardes sem avaliao. O nmero x divisor natural de
a) 45
b) 36
c) 20
d) 18
2. (CN 2002) Um torneio de jud disputado por 10 atletas e deve ter apenas um campeo. Em cada luta no
pode haver empate e aquele que perder trs vezes deve ser eliminado da competio. Qual o nmero mximo
de lutas necessrio para se conhecer o campeo?
a) 27
b) 28
c) 29
d) 30
e) 31
3. (CN 2001) Numa prova de vinte questes, valendo meio ponto cada uma, trs questes erradas anulam
uma certa. Qual a nota de um aluno que errou nove questes em toda essa prova?
a) Quatro
b) Cinco
c) Quatro e meio
d) Cindo e meio
e) Seis e meio
4. (CN 2001) Um bebedouro que usa garrafo de gua tem 2,5 metros de serpentina por onde a gua passa
para gelar. Sabe-se que tal serpentina gasta 12 segundos para ficar totalmente gelada. Colocando-se um
garrafo de 10 litros e ligando-se o bebedouro, leva-se 5 minutos para que toda a gua saia gelada. Se nas
mesmas condies fosse colocado um garrafo de 20 litros no lugar do de 10 litros, o tempo gasto para que
toda a gua sasse gelada seria de:
a) 9 min 36 seg
10
MATEMTICA MDULO 1
b) 9 min 48 seg
c) 10 min
d) 10 min 12 seg
e) 11 min
5. (CN 1994) Em um navio existem 6 barcos e 15 guarnies. Cada barco tem uma guarnio de servio por
dia. Quantos dias, no mnimo, sero necessrios para que todas as guarnies tenham ficado de servio o
mesmo nmero de vezes?
a) 5
b) 6
c) 7
d) 8
e) 15
6. (CN 1991) Uma fbrica de fsforo usa as seguintes definies:

Caixa: conjunto de 45 fsforos
Mao: conjunto com 10 caixas
Pacote: conjunto com 12 maos
Dividindo-se 13 pacotes, 5 maos, 8 caixas e 22 fsforos por 8 , obtm-se um nmero p de pacotes, m de
maos, c de caixas e f de fsforos, tais que p mc f igual a:
a) 25
b) 26
c) 27
d) 28
e) 29
7. (UFF 2002) As trs filhas de Seu Anselmo Ana, Regina e Hel vo para o colgio usando, cada uma, seu
meio de transporte preferido: bicicleta, nibus ou moto. Uma delas estuda no Colgio Santo Antnio, outra no
So Joo e outra no So Pedro. Seu Anselmo est confuso em relao ao meio de transporte usado e ao
colgio em que cada filha estuda. Lembra-se, entretanto, de alguns detalhes:
- Hel a filha que anda de bicicleta;
- a filha que anda de nibus no estuda no Colgio Santo Antnio;
- Ana no estuda no Colgio So Joo e Regina estuda no Colgio So Pedro.
11
MATEMTICA MDULO 1
Pretendendo ajudar Seu Anselmo, sua mulher junta essas informaes e afirma:
I. Regina vai de nibus para o Colgio So Pedro.
II. Ana vai de moto.
III. Hel estuda no Colgio Santo Antnio.
Com relao a estas afirmativas, conclui-se:
a) Apenas a I verdadeira.
b) Apenas a I e a II so verdadeiras.
c) Apenas a II verdadeira.
d) Apenas a III verdadeira.
e) Todas so verdadeiras.
8. Quatro suspeitos de praticar um crime fazem as seguintes declaraes:

Andr: Carlos o criminoso,
Bernardo: Eu no sou o criminoso,
Carlos: Danilo o criminoso,
Danilo: Carlos est mentindo.
Sabendo que apenas um dos suspeitos disse a verdade, o criminoso :
a) Andr
b) Bernardo
c) Carlos
d) Danilo
e) impossvel determinar
9. Eduardo mente nas quartas, quintas e sextas e diz a verdade no resto da semana. Andr mente aos
domingos, segundas e teras e diz a verdade no resto dos dias. Se ambos dizem: amanh um dia no qual eu
minto. Que dia da semana ser amanh?
a) Sbado
b) Tera-feira
c) Quarta-feira
d) Sexta-feira
12
MATEMTICA MDULO 1
10. (UFF 1998) Na cidade litornea de Ioretin rigorosamente obedecida a seguinte ordem do prefeito: Se
no chover, ento todos os bares beira-mar devero ser abertos. Pode-se afirmar que:
a) Se todos os bares beira-mar esto abertos, ento choveu.
b) Se todos os bares beira-mar esto abertos, ento no choveu.
c) Se choveu, ento todos os bares beira-mar no esto abertos.
d) Se choveu, ento todos os bares beira-mar esto abertos.
e) Se um bar beira-mar no est aberto, ento choveu.
11. (CEFET 2001) Qual o nmero mnimo de vezes que uma pessoa dever lanar um dado (no viciado) para,
com certeza, obter pelo menos trs resultados repetidos?
a) 6
b) 12
c) 13
d) 18
e) 20
12. (CEFET 2007) Considere as seguintes afirmativas:

Todos os matemticos so cientistas.
Alguns cientistas so filsofos.
Todos os filsofos so cientistas ou professores.
Nem todo professor cientista.
Agora, considere as seguintes afirmativas:

Alguns matemticos so filsofos.
Nem todo filsofo cientista.
Alguns filsofos so professores.
Se um filsofo no matemtico, ele professor.
Alguns filsofos so matemticos.
Partindo do princpio de que as 4 (quatro) primeiras afirmativas so verdadeiras, quantas afirmativas do 2
grupo so NECESSARIAMENTE verdadeiras:
a) 0
b) 1
c) 2
d) 3
e) 4
13
MATEMTICA MDULO 1
13. (UFRJ 1999) Uma amostra de 100 caixas de plulas anticoncepcionais fabricadas pela Nascebem S.A. foi
enviada para a fiscalizao sanitria.
No teste de qualidade, 60 foram aprovadas e 40 reprovadas, por conterem plulas de farinha. No teste de
quantidade 74 foram aprovadas e 26 reprovadas, por conterem um nmero de plulas menor do que o
especificado.
O resultado dos dois testes mostrou que 14 caixas foram reprovadas em ambos os testes.
Quantas caixas foram aprovadas em ambos os testes?
a) 24
b) 30
c) 36
d) 48
e) 50
14. (PUCRJ 1993) Trs caixas etiquetadas esto sobre uma mesa. Uma delas contm apenas canetas; outra,
apenas lpis; e h uma que contm lpis e canetas. As etiquetas so lpis, canetas e lpis e canetas,
porm nenhuma caixa est com a etiqueta correta. permitida a operao escolher uma caixa e dela retirar
um nico objeto. O nmero mnimo de operaes necessrias para identificar corretamente as etiquetas :
a) 0
b) 1
c) 2
d) 3
e) 4
15. (FGV 81) Simplificando a expresso X Y X Y , teremos:
a) universo
b) vazio
c) X Y
d) X Y
e) X Y
16. Sendo p e q proposies lgicas, pode-se afirmar que a proposio composta p q p q

equivalente a:
14
MATEMTICA MDULO 1
a) p
b) q
c) p q
d) p q
e) p q
17. (EN 1989) Dada a proposio p q r p q p r podemos afirmar que :
a) logicamente falsa
b) uma tautologia
c) equivalente a p q r
d) equivalente a p q r
e) equivalente a p q r
18. (CPII 2013) A sentena logicamente equivalente a Se a matemtica no divertida, ento eu sou triste :
a) Se eu no sou triste, ento a matemtica divertida.
b) Se eu no sou triste, ento a matemtica no divertida.
c) Se eu sou triste, ento a matemtica divertida.
d) Se eu sou triste, ento a matemtica no divertida.
19. (CPII 2007) Dada a proposio: Se um quadriltero um retngulo ento suas diagonais cortam-se ao meio,
podemos afirmar que:
a) Se um quadriltero tem as diagonais cortando-se ao meio ento ele retngulo.
b) Se um quadriltero no tem as diagonais cortando-se ao meio ento ele no um retngulo.
c) Se um quadriltero no um retngulo ento suas diagonais no se cortam ao meio.
d) Se em um quadriltero as diagonais se cortam ao meio ento ele no um retngulo.
20. Sejam x, y e z nmeros reais distintos, prove que 3 x y 3 y z 3 z x 0 .
n
n1
21. Demonstrar que, para n 1 , vlida a desigualdade n! , onde n! 1 2 3 n .
2
15
MATEMTICA MDULO 1
n (n 1) (2n 1)
22. Demonstrar a seguinte frmula, n e n 1 : 12 22 32 n2 .
6
23. (OEMRJ 1990) Demonstre que, num tringulo retngulo de hipotenusa a , catetos b e c e altura relativa
hipotenusa h , tem-se a h b c .
24. (IME 2002)

xyz 3
a) Sejam x , y e z nmeros reais positivos. Prove que: x y z . Em que condies se verifica a
3
igualdade?
b) Considere um paraleleppedo de lados a , b e c , e rea total S0 . Determine o volume mximo desse
paraleleppedo em funo de S0 . Qual a relao entre a , b e c para que o volume seja mximo? Demonstre
seu resultado.
16
MATEMTICA MDULO 1
GABARITO
1. Observe que o nmero de manhs e o nmero de tardes o igual ao nmero x de dias.

Se houve 7 manhs sem avaliao, ento houve x 7 manhs com avaliao.
Se houve 4 tardes sem avaliao, ento houve x 4 tardes com avaliao.
Como foram aplicadas 9 avaliaes, ento x 7 x 4 9 2x 20 x 10 .
Logo, o nmero x 10 um divisor natural de 20 .
RESPOSTA: C
2. Em cada luta computada uma vitria e uma derrota. O nmero mximo de lutas necessrio para se
conhecer o campeo ocorre quando 9 atletas tiverem perdido trs vezes e o atleta campeo tiver perdido
duas vezes. Isso resulta em um total de 9 3 2 29 derrotas, ou seja, 29 lutas.
Vamos mostrar um caso em que essa quantidade de lutas ocorre: 8 dos 10 atletas lutam trs vezes contra um
dos outros dois atletas, perdem as trs lutas e so eliminados, totalizando 24 lutas; os 2 atletas restantes
disputam 5 lutas entre si, um deles vence as duas primeiras, outro as duas seguintes e o vencedor da quinta
luta o campeo, perfazendo um total de 24 5 29 lutas.
RESPOSTA: C
3. Se o aluno errou 9 questes, ento acertou 20 9 11 .

9
As 9 questes erradas anulam 3 certas, ento a nota do aluno corresponde a 11 3 8 acertos.
3
Portanto, a sua nota 8 0,5 4 .
RESPOSTA: A
4. O tempo necessrio para gelar os 10 de gua, aps gelar a serpentina, 5min 12 seg 4min 48 seg .
Assim, para gelar um garrafo de 20 so necessrios 12 seg mais 2 4 min 48 seg 9min36 seg e o tempo total
9min36 seg 12 seg 9min 48 seg .
RESPOSTA: B
5. Seja D o nmero de dias passados at que todas as guarnies tenham ficado de servio o mesmo nmero
N de vezes pela primeira vez.
O nmero de guarnies escaladas em D dias 6 D e, como cada guarnio foi escalada N vezes, o nmero de
guarnies escaladas 15 N . Logo, 6 D 15 N .
17
MATEMTICA MDULO 1
Para que o nmero de dias D seja o menor possvel o resultado 6 D 15 N deve ser o menor mltiplo comum
(m.m.c.) de 6 e 15.
mmc 6,15 30 6 D 15 N 30 D 5 e N 2
Logo, aps 5 dias, cada guarnio ficou de servio 2 vezes.

RESPOSTA: A
6. 22 fsforos
8 caixas contm 8 45 360 fsforos
5 maos contm 10 5 50 caixas, que contm 50 45 2250 fsforos
13 pacotes contm 13 12 156 maos, que contm 156 10 1560 caixas, que contm 1560 45 70200 fsforos
Logo, o total de fsforos 22 360 2250 70200 72832 8 9104 .
Como 1 pacote contm 12 10 45 5400 fsforos e um mao contm 10 45 450 fsforos, ento o resultado da
diviso dos fsforos por 8 , que resulta 9104 fsforos, equivale a 1 pacote e restam 9104 5400 3704 ; 8
maos e restam 3704 8 450 104 ; 2 caixas e restam 104 2 43 14 ; e 14 fsforos. Portanto, p 1 , m 8 , c 2 ,
f 14 , e p m c f 1 8 2 14 25 .
RESPOSTA: A
7.
BICICLETA NIBUS MOTO
S. ANTNIO -- -- ANA
S. JOO HEL -- --
S. PEDRO -- REGINA --
O diagrama acima mostra a colgio e o meio de transporte de cada uma das filhas. Note-se que no pode
haver mais de um nome na mesma linha ou coluna.
As concluses acima foram alcanadas como segue:
1) Ana no estuda no SJ e Regina estuda no SP, implica que Ana estuda no SA.
2) Como Ana estuda no SA no usa nibus e como Hel usa a bicicleta, Ana usa moto.
3) Como Ana estuda no SA e Regina no SP, ento Hel estuda no SJ.
4) Finalmente Regina estuda no SP e usa nibus.
RESPOSTA: B
18
MATEMTICA MDULO 1
8. A declarao de Bernardo a ideal para comearmos a anlise.

Vamos supor que ele esteja falando a verdade, ento ele no o criminoso e todos os outros esto mentindo.
Mas, nesse caso, a declarao de Danilo Carlos est mentindo seria verdadeira. Isso implica que dois dos
suspeitos estariam falando a verdade, o que contradiz o enunciado.
Assim, Bernardo deve estar mentido e ele mesmo o criminoso. Vamos analisar as outras afirmaes apenas
para checar a coerncia do problema. As declaraes de Andr e Carlos so falsas, j que o criminoso
Bernardo. Portanto, Danilo deve estar falando a verdade, o que realmente ocorre.
RESPOSTA: B
9. Se Eduardo diz amanh um dia no qual eu minto, ento pode ser tera (verdade) ou sexta (mentira).
Se Andr diz amanh um dia no qual eu minto, ento pode ser sbado (verdade) ou tera (mentira).
O dia comum em ambos os casos a tera. Portanto, amanh ser quarta-feira.
RESPOSTA: C
10. A ordem uma proposio do tipo pq. Essa proposio equivalente sua contrapositiva
q p q p .
Assim, podemos afirmar que: Se um bar beira-mar no est aberto, ento choveu.
RESPOSTA: E
11. Essa uma aplicao do Princpio das Casas dos Pombos. Se uma pessoa lanar um dado 6 1 7 vezes,
pelo menos um nmero aparecer duas vezes. J se ela lanar o dado 2 6 1 13 vezes pelo menos um
nmero aparecer trs vezes.
Para chegar a essa concluso, basta observar que, se cada nmero aparecesse no mximo duas vezes, o
nmero mximo de lanamentos seria 2 6 12 .
RESPOSTA: C
12. Afirmativas VERDADEIRAS (enunciado):

Todos os matemticos so cientistas.
Est no diagrama: o conjunto dos Matemticos est contido no dos Cientistas.
Alguns cientistas so filsofos.
Garante que a regio azul no vazia.
Todos os filsofos so cientistas ou professores.
Est no diagrama: O conjunto dos Filsofos est contido na unio dos Cientistas e dos Professores.
19
MATEMTICA MDULO 1
Nem todo professor cientista.

Garante que a regio amarela no vazia.
Afirmativas a ANALISAR:
Alguns matemticos so filsofos.
No possvel garantir isso. Sabemos que a regio azul inteira no vazia, mas no temos certeza se isso
verdade para a interseo entre Matemticos e Filsofos (regies 2 e 3).
Nem todo filsofo cientista.
No possvel garantir isso. Sabemos que a regio amarela inteira no vazia, mas no temos certeza se isso
verdade para o conjunto dos Filsofos no Cientistas (regio 1)
Alguns filsofos so professores.
No possvel garantir isso. A justificativa a mesma da afirmativa anterior.
Se um filsofo no matemtico, ele professor.
No possvel garantir isso. Se um filsofo no Matemtico, ele pode ser um Cientista no Matemtico e
pode nem haver Filsofos que sejam Professores.
Alguns filsofos so matemticos.
No possvel garantir isso. A justificativa a mesma da primeira afirmativa.
RESPOSTA: A
13. Com as informaes do enunciado possvel construir o diagrama a seguir:
Aprovado Qualidade Reprovado Qualidade

100 caixas
Total = 60 Total = 40
Aprovado Quantidade
Total = 74
x y
Reprovado Quantidade
Total = 26 z 14
20
MATEMTICA MDULO 1
A partir do diagrama, podemos escrever as equaes:

z 14 26 z 12
x 12 60 y 48
Caixas aprovadas em ambos os testes: y 48 .
RESPOSTA: D
14. Como nenhuma caixa est com a etiqueta correta, podemos identificar todas as caixas com uma nica
operao. Basta retirar um objeto da caixa lpis e canetas, essa caixa dever ter apenas um tipo de objeto.
Vamos supor sem perda de generalidade que sejam lpis. Essa deve ser a etiqueta dessa caixa. A caixa que
tiver a etiqueta lpis errada deve ser a caixa das canetas e a caixa que tiver a etiqueta canetas errada deve
ser a caixa dos lpis e canetas.
RESPOSTA: B
15. X Y X Y (X Y) (X Y) (X Y) (X Y) Y X (X Y) Y X
RESPOSTA: C
*
16. p q p q p q p q p q p q (p (q q)) p
F
(*) volta da distributividade da disjuno em relao conjuno

RESPOSTA: A
17. A expresso representa a distributividade da conjuno em relao disjuno. Portanto, uma
tautologia.
RESPOSTA: B
18. A sentena uma proposio do tipo pq. Essa proposio equivalente sua contrapositiva
q p q p .
Assim, podemos afirmar que: Se eu no sou triste, ento a matemtica divertida.

RESPOSTA: A
19. A sentena uma proposio do tipo p q . Essa proposio equivalente sua contrapositiva qp .
Assim, podemos afirmar que: Se um quadriltero no tem as diagonais cortando-se ao meio ento ele no
um retngulo.
RESPOSTA: B
21
MATEMTICA MDULO 1
20. Considere a identidade de Gauss
a3 b3 c3 3abc a b c a2 b2 c2 ab ac bc
Supondo por absurdo 3 x y 3 y z 3 z x 0 e definindo 3 x y a , 3 y z b e 3 z x c .
a b c 0 a3 b3 c3 3abc
x y y z z x 33 x y 3 y z 3 z x 33 x y y z z x 0
A ltima igualdade implica que um dos trs fatores deve ser nulo, ou seja, dois dos nmeros x, y e z devem ser
iguais, o que uma contradio.
3 x y 3 y z 3 z x 0C.Q.D.
21. Vamos aplicar o Princpio da Induo Finita.

2
21
1 passo: A desigualdade vlida para n 2 , pois 2! 2
9
.
4 2
k
k 1
2 passo: Supondo que a desigualdade verdadeira para n k (hiptese de induo), ou seja, k! .
2
3 passo: Vamos demonstrar que a desigualdade verdadeira para n k 1 .

k 1
k
k k k
k 1! k! k 1 k 1 k 1 k 1 k 2 k 2 k 2
2 2k
2k 2 2
Portanto, pelo P.I.F., a desigualdade vlida para todo n 1 , como queramos demonstrar.
22. Princpio da Induo Finita (PIF):

1 (1 1) (2 1 1)
Para n 1 , tem-se 12 (verdadeira).
6
Supondo vlido para n k (Hiptese de Induo).

Vamos provar para n k 1 :
k (k 1) (2k 1) k (2k 1)
12 22 k2 (k 1)2 (k 1)2 (k 1) k 1
6 6
2k2 k 6k 6 (k 1) (2k2 7k 6) (k 1) (k 2) (2k 3)
(k 1)
6 6 6
Como vale para n k 1 , pelo P.I.F., est demonstrada a proposio.
23. Seja por absurdo, a h b c .
Como a b 0 e b c , ento a h b c a h2 b c 2 a2 2ah h2 b2 2bc c2 .
22
MATEMTICA MDULO 1
Sabemos que em um tringulo retngulo ah bc e a2 b2 c2 (teorema de Pitgoras), ento h2 0 (absurdo).

Portanto, a h b c C.Q.D. .
24.
a)
a3 b3 c3 3abc a b 3ab a b c3 3abc

3
a b c a b a b c c2 3ab a b c
2
a b c a2 b2 c2 ab ac bc
1
a b c a b a c b c 0
2 2 2
2
Logo, a3 b3 c3 3abc 0 e a igualdade s ocorre quando a b c .
Fazendo a 3 x , b 3 y e c 3 z , temos:
xyz 3
x y z 33 x 3 y 3 z 0 x y z 33 xyz x y z C.Q.D.
3
Da mesma forma, a igualdade s ocorre quando x y z .
b) Em um paraleleppedo de lados a , b e c , a rea total S0 dada por S0 2ab ac bc e o volume V por

V abc .
Usando a desigualdade do item (a):

S0
ab ac bc 3 S3
ab ac bc 2 V2 V 0
3
3 3 6 6
S30
Logo, o volume mximo VMAX , que ocorre quando ocorre a igualdade inicial, ou seja, quando a b c .
6 6
Nesse caso, o paraleleppedo um cubo.
23

Logica Afa

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Afa

Cargado por

Copyright:

Formatos disponibles

MATEMTICA MDULO 1

PROF. RENATO MADEIRA PROMILITARES AFA/EFOMM/EN

Exemplo: So proposies verdadeiras: 9 5 e 2 . So proposies falsas: 1 e 25.

Tautologia (proposio logicamente verdadeira) a proposio que possui valor V (verdadeira)

O conjunto de todos os valores que as variveis podem assumir denomina-se Universo.

Exemplo: No universo U , o conjunto verdade da sentena x2 5 V 0,1,2 .

A conjuno (e), denotada por p q ou p q , verdadeira se p e q so ambas verdadeiras; se ao menos uma

A disjuno (ou), denotada por p q ou p q , verdadeira se ao menos uma das proposies p ou q

9 5 0 1 falsa, pois V F falsa.

9 5 0 1 verdadeira, pois V F verdadeira.

O bicondicional, denotado por p q verdadeiro somente quando p e q so ambas verdadeiras ou ambas

Uma proposio e sua contrapositiva so equivalentes: p q q p .

A recproca e a contrria de uma proposio so equivalentes: q p p q .

4.1. RELAO DE IMPLICAO

Exemplo: x 0 uma condio necessria de x 1 .

Exemplo: x 2 x2 4 (note que a volta no necessariamente verdadeira)

4.2. RELAO DE EQUIVALNCIA

Diz-se que p equivalente a q ( p q ou p q ) quando p e q tm tabelas-verdades iguais, isto , quando p e q

Exemplo: Resolver a equao x2 5x 1 1 2x

Outra maneira de resolver a equao utilizando somente equivalncias seria:

5. LGEBRA DAS PROPOSIES

Transformao de implicao em disjuno:

O quantificador universal () indica qualquer que seja, para todo.

7. NEGAO DE PROPOSIES (LEIS DE DE MORGAN)

1) A negao de Juca bom e honesto Juca no bom ou no honesto.

2) A negao de Juca bom ou honesto Juca no bom e no honesto.

3) A negao de Se Juca bom, ento honesto Juca bom e no honesto.

Atente para os casos a seguir:

8.1. DEMONSTRAO INDIRETA OU REDUO AO ABSURDO

Isso pode ser verificado observando que q c q c q c q .

Logo, a proposio inicial vlida.

8.2. CONTRA EXEMPLO

proposio falsa (F). O elemento x0 diz-se um contra exemplo para a proposio x A p x .

Exemplo: Prove que a proposio x 2n n2 falsa.

8.3. PRINCPIO DA INDUO FINITA (P.I.F.)

O conjunto dos nmeros naturais caracterizado pelas seguintes propriedades:

(2) Existe um nico nmero natural 1 tal que 1 s n para todo n .

Existe um nico nmero natural 1 que no sucessor de nenhum outro.

(3) Se um conjunto X tal que 1 X e sX X (isto , nX s n X ) ento X .

Mtodo da Induo Finita (recorrncia)

Passo2: supor que a afirmao vlida para n k (hiptese de induo);

Passo3: demonstrar, a partir disto, que a afirmao vlida para n k 1 .

Vamos aplicar o PRINCPIO DA INDUO FINITA (PIF):

6. (CN 1991) Uma fbrica de fsforo usa as seguintes definies:

8. Quatro suspeitos de praticar um crime fazem as seguintes declaraes:

12. (CEFET 2007) Considere as seguintes afirmativas:

Agora, considere as seguintes afirmativas:

15. (FGV 81) Simplificando a expresso X Y X Y , teremos:

16. Sendo p e q proposies lgicas, pode-se afirmar que a proposio composta p q p q

17. (EN 1989) Dada a proposio p q r p q p r podemos afirmar que :

20. Sejam x, y e z nmeros reais distintos, prove que 3 x y 3 y z 3 z x 0 .

24. (IME 2002)

1. Observe que o nmero de manhs e o nmero de tardes o igual ao nmero x de dias.

3. Se o aluno errou 9 questes, ento acertou 20 9 11 .

Portanto, a sua nota 8 0,5 4 .

Logo, aps 5 dias, cada guarnio ficou de servio 2 vezes.

8. A declarao de Bernardo a ideal para comearmos a anlise.

12. Afirmativas VERDADEIRAS (enunciado):

Nem todo professor cientista.

13. Com as informaes do enunciado possvel construir o diagrama a seguir:

Aprovado Qualidade Reprovado Qualidade

A partir do diagrama, podemos escrever as equaes:

Caixas aprovadas em ambos os testes: y 48 .