LGICA FORMAL

Professor Nelson Carnaval

Proposio
Chama-se proposio toda sentena
declarativa que pode ser classificada em
verdadeira ou falsa, mas no as duas.
Letras so usualmente utilizadas para
denotar
proposies.
As
letras
convencionais para esse propsito so
p,q,r,s,... .
O valor lgico de uma proposio
verdadeira denotado por V e o de uma
proposio falsa representado por F.
So exemplos de proposies:

p : O Brasil exporta minrios.

q : Mrcia no foi ao shopping.
r : O nmero 1 primo.
s: zero um nmero par.
No so proposies:
1.
2.
3.
4.
5.

Que dia hoje?

Esta frase falsa.
x + 10 = 25
Ele jogador de futebol.
Que Deus lhe ajude.

As sentenas optativas, interrogativas,

exclamativas e imperativas no so
consideradas proposies.
Tambm no so proposies as
chamadas sentenas abertas ou funes
proposicionais, como 3 e 4. Ao atribuirmos
um valor para a varivel, a sentena aberta
se transforma em proposio.
Sendo assim, so proposies as
sentenas:
7 + 10 = 25
Lcio jogador de futebol.
A sentena Esta frase falsa no uma
proposio porque impossvel definirmos
se ela verdadeira ou falsa. Se dissermos
que ela verdadeira, ento ela ser falsa. E
ao contrrio, se dissermos que ela falsa,
ento ela ser verdadeira.

As trs leis do pensamento

A lgica formal ou aristotlica se baseia
em trs princpios fundamentais, chamados
leis do pensamento.
1) Se
qualquer
proposio

verdadeira, ento ela verdadeira.

(Princpio da identidade)
2) Nenhuma proposio pode ser
verdadeira e falsa, ao mesmo
tempo, sob uma mesma condio.
(Princpio da no-contradio)

3) Uma proposio ou verdadeira ou

falsa. (Princpio do terceiro
excludo)

Proposio composta
Denomina-se proposio composta a
proposio formada (ou conectada) por
duas ou mais proposies simples.
Ao fazermos uso da linguagem
combinamos idias simples atravs de
conectivos como e, ou, se..., ento,
se, e somente se obtendo, ento,
proposies compostas.
O valor lgico de uma proposio
composta totalmente determinado pelos
valores lgicos das proposies simples
que a constituem e pela forma como elas
esto ligadas atravs do conectivo.
Exemplos:
1) Joo alto e Alberto gordo.
2) A governanta mentiu ou o cozinheiro
culpado.
3) Se Scrates homem, ento ele
mortal.
4) Um nmero natural par se e somente
se no for mpar.

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 1

Tabela-verdade
muito importante a organizao da
valorao das proposies em uma tabela
que chamada tabela-verdade.
O nmero de linhas da tabela depende da
quantidade das proposies iniciais.
Se houver uma proposio, existiro duas
linhas (V e F); se houver duas proposies,
existiro quatro linhas (VV, VF, FV, FF); se
houver trs proposies, existiro oito
n
linhas; se houver n proposies, existiro 2
linhas.

Conectivo ou
Quando duas proposies simples
so ligadas pelo conectivo ou, a
proposio
composta
resultante

chamada disjuno das proposies

simples iniciais.
A proposio p ou q representada
simbolicamente por p
q

Tabela-verdade:

Conectivo e
p
V
V
F
F

Quando duas proposies simples so

ligadas pelo conectivo e, a proposio
composta chamada conjuno das
proposies simples iniciais.
A proposio composta p e q
representada simbolicamente por p q

q
V
V
V
F

Concluso:
A proposio p q s falsa se as
proposies p e q forem falsas.

Tabela-verdade:
p
V
V
F
F

q
V
F
V
F

q
V
F
V
F

q
V
F
F
F

Concluso:
A proposio p q s verdadeira se as
proposies p e q forem verdadeiras.
Exemplos:
(V) A Terra gira em torno do Sol e 3
mpar.
(F) 2 primo e 13 composto.

Exemplos:
(V) 2+4 = 7 ou 3+5 = 8
(F) 4 mpar e 1 primo.

Modificador no
O operador no utilizado para formar
a negao de uma proposio.
A negao de uma proposio p
representada por ~ p, que verdadeira
quando p falsa e falsa quando p
verdadeira.
A negao de uma proposio pode
tambm ser feita utilizando expresses
como falso dizer que ,no verdade
que, etc.
Assim, a negao da proposio O
gato mia, pode ser O gato no mia, No
verdade que o gato mia ou falso dizer
que o gato mia.
Tabela-verdade:
p
V
F

~p
F
V

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 2

Tautologia, contradio e
contingncia

Conectivo se..., ento

As sentenas que tm a forma se p,
ento q, so chamadas de proposies
condicionais
e
representadas
simbolicamente por p
q.
Tabela-verdade:
p
V
V
F
F

q
V
F
V
F

Tautologia a proposio composta

que sempre verdadeira.
Contradio a proposio composta
que sempre falsa.
Contingncia a proposio composta
que pode ser verdadeira ou falsa.

q
V
F
V
V

RESUMO DAS REGRAS DOS

QUATRO CONECTIVOS
PROPOSIO

Concluso :

PQ

A proposio composta p
q s falsa
se p verdadeira e q falsa.

PvQ

Exemplos:

PQ

(V) Se Macei a capital de Sergipe, ento

Belm a capital do Piau.
(F) Se 2 par e primo, ento 3 mpar e
composto.

PQ

Conectivo se, e somente se

As sentenas que tm a forma p se, e
somente se, q so chamadas de
proposies
bicondicionais
e
so
representadas por p
q.

Exerccios com tabela-verdade

01. Construir a tabela-verdade de cada
uma das seguintes proposies analisando
o caso de contradio, contingncia e
tautologia.

Tabela-verdade:
p
V
V
F
F

q
V
F
V
F

q
V
F
F
V

Concluso:
A proposio composta p
q s falsa
se s uma das proposies p e q for falsa.

CONDIO PARA SER

VERDADEIRA
VV
S pode ser V V
FF
No pode ter FF
VF
No pode ter VF
VF/FV
No pode V F Nem FV

a) p

~(p

q)

b) (p

q)

( ~p

c) (p

q)

(p

~q)
~q)

02. Considerando que R e T so

proposies lgicas simples, julgue os
itens a seguir, acerca da construo de
tabelas-verdade.
2.1)

Exemplos:
(V) A Terra quadrada se e somente se
Pel no foi um jogador de futebol.
(F) 4+5 = 9 se e somente se Plato foi um
grande filsofo

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 3

2.2)

QUESTES DE CONCURSO
01. Surfo ou estudo. Fumo ou no surfo.
Velejo ou no estudo. Ora, no velejo.
Assim,
a) estudo e fumo.
b) no fumo e surfo.
c) no velejo e no fumo.
d) estudo e no fumo.
e) fumo e surfo.

03. Se P ( p, q, r ) = p

(q

r ) ento P

(VVV, VVF, VFV, VFF, FVV, FVF, FFV,

FFF) igual, respectivamente, a:
a) VVVFFFFF
b) VFVVVVFV

02. Ana prima de Bia, ou Carlos filho

de Pedro. Se Jorge irmo de Maria,
ento Breno no neto de Beto. Se
Carlos filho de Pedro, ento Breno
neto de Beto. Ora, Jorge irmo de
Maria. Logo:
a) Carlos filho de Pedro ou Breno
neto de Beto
b) Breno neto de Beto e Ana prima
de Bia.
c) Ana no prima de Bia e Carlos
filho de Pedro.
d) Jorge irmo de Maria e Breno
neto de Beto.
e) Ana prima de Bia e Carlos no
filho de Pedro.

c) VFVFVFVF
d) VVFFVVFF
e) FFFFVVFF
04. Considere a seguinte proposio na
eleio para a prefeitura, o candidato
A ser eleito ou no ser eleito.
Do ponto de vista lgico, a afirmao da
proposio caracteriza
03.
a)
b)
c)
d)
e)

Se M = 2x + 3y, ento M = 4p + 3r.

Se M = 4p + 3r, ento M = 2w 3r.
Por outro lado, M = 2x + 3y, ou M =
0. Se M = 0, ento M+H = 1. Ora,
M+H 1. Logo:

um silogismo
uma tautologia
uma equivalncia
uma contingncia
uma contradio
a)
b)
c)
d)
e)

05. Chama-se tautologia a toda proposio

que sempre verdadeira, independente da
verdade dos termos que a compem. Um
exemplo de tautologia :
a)

Se Joo alto, ento Joo alto ou

Guilherme gordo.

b)

Se Joo alto, ento Joo alto e

Guilherme gordo.

c)

Se Joo alto ou Guilherme

gordo, ento Guilherme gordo.

d)

Se Joo alto ou Guilherme

gordo, ento Joo alto e Guilherme
gordo.

e)

Se Joo alto ou no alto, ento

Guilherme gordo.

04.

2w 3r = 0
4p + 3r 2w 3r
M 2x + 3y
2x + 3y 2w 3r
M = 2w 3r

Ricardo, Rogrio e Renato so

irmos. Um deles mdico, outro
professor, e o outro msico. Sabese que: 1) ou Ricardo mdico, ou
Renato mdico, 2) ou Ricardo
professor, ou Rogrio msico; 3)
ou Renato msico, ou Rogrio
msico, 4) ou Rogrio professor,
ou Renato professor. Portanto, as
profisses de Ricardo, Rogrio e
Renato so, respectivamente,

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 4

a) professor, mdico, msico.

b) mdico, professor, msico.
c) professor, msico, mdico.

a) loira, ruiva, morena.

b) ruiva, morena, loira.
c) ruiva, loira, morena.
d) loira, morena, ruiva.
e) morena, loira, ruiva.

d) msico, mdico, professor.

e) mdico, msico, professor.

05.

Homero no honesto, ou Jlio

justo. Homero honesto, ou Jlio
justo, ou Beto bondoso. Beto
bondoso, ou Jlio no justo. Beto
no bondoso, ou Homero
honesto. Logo,
a) Beto bondoso, Homero honesto,
Jlio no justo.
b) Beto no bondoso, Homero
honesto, Jlio no justo.
c) Beto bondoso, Homero honesto,
Jlio justo.
d) Beto no bondoso, Homero no
honesto, Jlio no justo.
e) Beto no bondoso, Homero
honesto, Jlio justo.

06.

Ana, Beatriz e Carla desempenham

diferentes papis em uma pea de
teatro. Uma delas faz o papel de
bruxa, a outra o de fada, e a outra o
de princesa. Sabe-se que: ou Ana
bruxa, ou Carla bruxa; ou Ana
fada, ou Beatriz princesa; ou Carla
princesa, ou Beatriz princesa; ou
Beatriz fada, ou Carla fada. Com
essas informaes conclui-se que os
papis desempenhados por Ana e
Carla so, respectivamente:

08.

Se Pedro inocente, ento Lauro

inocente. Se Roberto inocente,
ento Snia inocente. Ora, Pedro
culpado ou Snia culpada.
Segue-se logicamente, portanto,
que:

a)
b)
c)
d)

Lauro culpado e Snia culpada.

Snia culpada e Roberto inocente.
Pedro culpado ou Roberto culpado.
Se Roberto culpado, ento Lauro
culpado.
e) Roberto inocente se e somente se
Lauro inocente.

09.

O reino est sendo atormentado por

um terrvel drago. O mago diz ao
rei:
O
drago
desaparecer
amanh se e somente se Aladim
beijou a princesa ontem. O rei,
tentando compreender melhor as
palavras do mago, faz as seguintes
perguntas ao lgico da corte:
1) Se a afirmao do mago falsa e
se o drago desaparecer amanh,
posso concluir corretamente que
Aladim beijou a princesa ontem?
2)

Se a afirmao do mago
verdadeira e se o drago
desaparecer
amanh,
posso
concluir corretamente que Aladim
beijou a princesa ontem?

3)

Se a afirmao do mago falsa e

se Aladim no beijou a princesa
ontem, posso concluir corretamente
que
o drago
desaparecer
amanh?

a) bruxa e fada
b) bruxa e princesa
c) fada e bruxa
d) princesa e fada
e) fada e princesa
07.

Ana possui tem trs irms: uma

gremista, uma corintiana e outra
fluminense. Uma das irms loira, a
outra morena, e a outra ruiva. Sabese que: 1) ou a gremista loira, ou a
fluminense loira; 2) ou a gremista
morena, ou a corintiana ruiva; 3) ou
a fluminense ruiva, ou a corintiana
ruiva; 4) ou a corintiana morena,
ou a fluminense morena. Portanto,
a gremista, a corintiana e a
fluminense, so, respectivamente,

O lgico da corte, ento, diz acertadamente

que as respostas logicamente corretas para
as trs perguntas so, respectivamente:
a) No, sim, no
b) No, no, sim

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 5

c) Sim, sim, sim

Exerccios sobre Equivalncia

d) No, sim, sim

01.
e) Sim, no, sim
10.

Quando no vejo Lucia, no passeio

ou fico deprimido. Quando chove,
no passeio e fico deprimido.
Quando no faz calor e passeio, no
vejo Lucia. Quando no chove e
estou deprimido, no passeio. Hoje,
passeio. Portanto, hoje:
a) vejo Lucia, e no estou deprimido e
no chove, e faz calor.
b) no vejo Lucia, e estou deprimido, e
chove, e faz calor.
c) no vejo Lucia, e estou deprimido, e
no chove , e no faz calor.
d) vejo Lucia, e no estou deprimido, e
chove, e faz calor.
e) vejo Lucia, e estou deprimido, e no
chove, e faz calor.

EQUIVALNCIA
Partindo das proposies p
qep
q,
podemos construir o seguinte resumo para
as proposies equivalentes notveis.
~q

~p

~pvq

Negue o antecedente e o
conseqente, troque a ordem e
mantenha o conectivo se
.....,ento
Negue o antecedente, afirme o
consequente
e troque o
conectivo por ou
p condio suficiente para q
q condio necessria para p
p a condio necessria e
suficiente para q.
q a condio necessria e
suficiente para p

Obs: Existe uma equivalncia muito til

na resoluao de problemas de concurso. Ela
se denomina modus tollens, mostrada na
tabela acima. Esta equivalncia facilmente
demonstrada atravs da tabela-verdade e
a mais cobrada nos concursos.
p

~q

~p

Um economista deu a seguinte

declarao em uma entrevista: "Se os
juros bancrios so altos, ento a
inflao baixa".
Uma
proposio
logicamente
equivalente do economista :
a) se a inflao no baixa, ento os
juros bancrios no so altos.
b) se a inflao alta, ento os juros
bancrios so altos.
c) se os juros bancrios no so
altos, ento a inflao no baixa.
d) os juros bancrios so baixos e a
inflao baixa.
e) ou os juros bancrios, ou a inflao
baixa.

02. X e Y so nmeros tais que: Se X 4,

ento Y>7. Sendo assim:
a)
b)
c)
d)
e)

Se Y 7, ento X > 4.
Se Y > 7, ento X 4.
Se X 4, ento Y < 7.
Se Y < 7, ento X 4.
Se X < 4, ento Y 7.

03. Considere a seguinte proposio: "Se

uma pessoa no faz cursos de
aperfeioamento na sua rea de
trabalho, ento ela no melhora o seu
desempenho
profissional.
Uma
proposio logicamente equivalente
proposio dada :
a) falso que, uma pessoa no melhora o seu
desempenho profissional ou faz cursos de
aperfeioamento na sua rea de trabalho.
b) No verdade que, uma pessoa no faz cursos
de aperfeioamento profissional e no melhora o
seu desempenho profissional.
c) Se uma pessoa no melhora seu desempenho
profissional, ento ela no faz cursos de
aperfeioamento na sua rea de trabalho.
d) Uma pessoa melhora o seu desempenho
profissional ou no faz cursos de aperfeioamento
na sua rea de trabalho.
e) Uma pessoa no melhora seu desempenho
profissional ou faz cursos de aperfeioamento na
sua rea de trabalho.
04. Se Marcos no estuda, Joo no
passeia. Logo:

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 6

a) Marcos estudar concluso

necessria para Joo no passear;
b) Marcos estudar condio
suficiente para Joo passear;
c) Marcos no estudar condio
necessria para Joo no passear;
d) Marcos no estudar condio
suficiente para Joo passear;
e) Marcos estudar condio
necessria para Joo passear.

05. Carlos no ir ao Canad condio

necessria para Alexandre ir
Alemanha. Helena no ir Holanda
condio suficiente para Carlos ir ao
Canad. Alexandre no ir Alemanha
condio necessria para Carlos no ir
ao Canad. Helena ir Holanda
condio suficiente para Alexandre ir
Alemanha. Portanto:
a) Helena no vai Holanda, Carlos
no vai ao Canad, Alexandre no
vai Alemanha;
b) Helena vai Holanda, Carlos vai ao
Canad, Alexandre no vai
Alemanha;
c) Helena no vai Holanda, Carlos
vai ao Canad, Alexandre no vai
Alemanha;
d) Helena vai Holanda, Carlos no
vai ao Canad, Alexandre vai
Alemanha;
e) Helena vai Holanda, Carlos no
vai ao Canad, Alexandre no vai
Alemanha.

06. Sabe-se que Joo estar feliz

condio necessria para Maria sorrir e
condio suficiente para Daniela
abraar Paulo. Sabe-se, tambm, que
Daniela abraar Paulo condio
necessria e suficiente para a Sandra
abraar Srgio. Assim, quando Sandra
no abraa Srgio:
a) Joo est feliz, e Maria no sorri, e
Daniela abraa Paulo.
b) Joo no est feliz, e Maria sorri, e
Daniela no abraa Paulo.
c) Joo est feliz, e Maria sorri, e
Daniela no abraa Paulo.
d) Joo no est feliz, e Maria no sorri,
e Daniela no abraa Paulo.
e) Joo no est feliz, e Maria sorri, e
Daniela abraa Paulo.

07. Dizer que Ana alegre ou Beatriz

feliz , do ponto de vista lgico, o
mesmo que dizer:
a) se Ana alegre, ento Beatriz
feliz;
b) se Beatriz feliz, ento Ana
alegre;
c) se Ana alegre, ento Beatriz
feliz;
d) se Ana alegre, ento Beatriz no
feliz;
e) se Ana no alegre, ento Beatriz
feliz.
08. Dizer que Andr artista ou
Bernardo no engenheiro
logicamente equivalente a dizer que:
a) Andr artista se e somente se
Bernardo no engenheiro.
b) Se Andr artista, ento Bernardo
no engenheiro.
c) Se Andr artista, ento Bernardo
engenheiro
d) Se Bernardo engenheiro, ento
Andr artista
e) Andr no artista e Bernardo
engenheiro
09. A sentena penso, logo existo
logicamente equivalente a:
a)
b)
c)
d)
e)

Penso e existo.
Nem penso, nem existo.
No penso ou existo.
Penso ou no existo.
Existo, logo penso

10. Sejam F e G duas proposies e ~F e

~G suas repectivas negaes. Marque
a opo que equivale logicamente
proposio composta: F se e somente
G.
a)
b)
c)
d)
e)

F implica G e ~G implica F.
F implica G e ~F implica ~G.
Se F ento G e se ~F ento G.
F implica G e ~G implica ~F.
F se e somente se ~G.

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 7

NEGAO DAS PROPOSIES

USUAIS

Para transformar uma sentena aberta

em uma proposio, temos duas maneiras:
1) Atribuir um valor varivel
2) Quantificar a varivel
Assim, a sentena x+5 = 9 no uma
proposio, mas, Existe x, tal que x+5 = 9
uma proposio.
Existem dois quantificadores:

Afirmao
P
p q
p q
p
q

Negao
~p
~p ~ q
~p ~ q
p ~q

Afirmao

Negao
Negue as duas proposies e
troque o conectivo epelo
conectivo ou
Negue as duas proposies e
troque o conectivo ou pelo
conectivo e
Afirme o antecedente, troque
o conectivo condicional pelo
conectivo e e negue o
conseqente.

Obs: A negao de uma proposio

composta cujo conectivo e ou ou feita
com a utilizaao das leis de De Morgan:
1) ~ (p

2) ~ (p

q)

q)

~p

~p

~q

~q

Exemplos:
1. A governanta mentiu e o mordomo
culpado.

Negao: A governanta no mentiu ou

o mordomo no culpado

2. Mrcia carioca ou Marconi no

paulista.

Negao: Mrcia
Marconi paulista.

Quantificadores

no carioca e

Quantificador existencial:
Quantificador universal:
qualquer que seja)

(existe)
(para todo,

Obs1.: Para negar que Todo elemento do

conjunto A tem a propriedade P,
basta afirmar que Existe
um
elemento de A que no tem a
propriedade P.
Exemplo:
Proposio: Todos os advogados so
honestos.
Negao: Existe advogado que
honesto.

no

Obs2.: Para negar que Existe um elemento

no conjunto A que tem a
propriedade P, basta afirmar que
Todos os elementos do conjunto A
no tm a propriedade P.
Exemplo:
Proposio: Existe cobra listrada que no
venenosa.
Negao: Toda cobra listrada venenosa
EM RESUMO:
Afirmao
Particular afirmativa
(algum....)
Universal negativa
(nenhum....ou
todo.....no)
Universal afirmativa
(todo.....)
Particular negativa
(algum....no)

Negao
Universal negativa
(nenhum..ou
todo...no...)
Particular afirmativa
(algum......)
Particular negativa
(algum...no)
Universal afirmativa
(todo...)

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

Pgina 8

EXERCCIOS
01. Dizer que a afirmao todos os
economistas so mdicos falsa,
do ponto de vista lgico, equivale a
dizer que a seguinte afirmao
verdadeira:
a) pelo menos um economista no
mdico
b) nenhum economista mdico
c) nenhum mdico economista
d) pelo menos um mdico no
economista
e) todos os no mdicos so no
economistas.
02. Dizer que no verdade que Pedro
pobre e Alberto alto, logicamente
equivalente a dizer que verdade que:
a) Pedro no pobre ou Alberto no
alto.
b) Pedro no pobre e Alberto no
alto.
c) Pedro pobre ou Alberto no alto.
d) se Pedro no pobre, ento Alberto
alto.
e) se Pedro no pobre, ento Alberto
no alto.
03. A negao da afirmao Me caso ou
compro sorvete :
a) me caso e no compro sorvete;
b) no me caso ou no compro
sorvete;
c) no me caso e no compro
sorvete;
d) no me caso ou compro sorvete;
e) se me casar, no compro sorvete.
04. A negao de x > 4 ou x < 2 :
a)
b)
c)
d)
e)

x < 4 e x > 2;
x < 4 ou x > 2;
x
4ex
2;
x
4 ou x
2;
se x
4, ento x < 2.

05. A negao da proposio O juiz

determinou a libertao de um
estelionatrio e de um ladro.
expressa na forma O juiz no

determinou a libertao de
estelionatrio nem de um ladro
( ) certo

um

( ) errado

06. A negao de: Milo a capital da Itlia

ou Paris a capital da Inglaterra :
a) Milo no a capital da Itlia e Paris
no a capital da Inglaterra.
b) Paris no a capital da Inglaterra.
c) Milo no a capital da Itlia ou
Paris no a capital da Inglaterra.
d) Milo no a capital da Itlia.
e) Milo a capital da Itlia e Paris no
a capital da Inglaterra.

07. A correta negao da proposio "todos

os cargos deste concurso so de
analista judicirio. :
a) alguns cargos deste concurso so
de analista judicirio.
b) existem cargos deste concurso que
no so de analista judicirio.
c) existem cargos deste concurso que
so de analista judicirio.
d) nenhum dos cargos deste concurso
no de analista judicirio.
e) os cargos deste concurso so ou de
analista, ou no judicirio.

08. A negao da frase Todos os homens

dirigem bem :
a) todos os homens dirigem mal.
b) todas as mulheres dirigem bem.
c) todas as mulheres dirigem mal.
d) nenhum homem dirige bem.
e) existe homem que dirige mal.

09. A negao da afirmao condicional

se estiver chovendo, eu levo o guardachuva :
a) se no estiver chovendo, eu levo
guarda-chuva.
b) No est chovendo e eu levo
guarda-chuva.
c) No est chovendo e eu no levo
guarda-chuva.
d) Se estiver chovendo, eu no levo
guarda-chuva.
e) Est chovendo e eu no levo
guarda-chuva.

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com)

o
o
o
o
o

Pgina 9

10. A negao da sentena se voc

estudou Lgica ento voc acertar
esta questo :
a) se voc no acertar esta questo,
ento no estudou lgica;
b) voc no estudou lgica e acertar
esta questo;
c) se voc estudou lgica, ento no
acertar esta questo;
d) voc estudou lgica e no acertar
esta questo;
e) voc no estudou lgica e no
acertar esta questo.
11. Considere a afirmao P: A ou B,
onde A e B, por sua vez, so as
seguintes afirmaes:
A: Carlos dentista
B: Se Enio economista, ento Juca
arquiteto.
Ora, sabe-se que a afirmao P falsa.
Logo:
a) Carlos no dentista; Enio no
economista; Juca no arquiteto.
b) Carlos no dentista; Enio
economista; Juca no arquiteto.
c) Carlos no dentista; Enio
economista; Juca arquiteto.
d) Carlos dentista; Enio no
economista; Juca no arquiteto.
e) Carlos dentista; Enio economista;
Juca no arquiteto.
12. Qual a negao da proposio
Alguma lmpada est acesa e todas as
portas esto fechadas?
a) Todas as lmpadas esto apagadas
e alguma porta est aberta.
b) Todas as lmpadas esto apagadas
ou alguma porta est aberta.
c) Alguma lmpada est apagada e
nenhuma porta est aberta.
d) Alguma lmpada est apagada ou
nenhuma porta est aberta.
e) Alguma lmpada est apagada e
todas as portas esto abertas.

13. Considere as proposies:

P: sanso forte e q: Dalila linda.
A negao da proposio p
q
a) Se Dalila no linda, ento Sanso
forte.
b) Se Sanso no forte, ento Dalila
no linda.
c) No verdade que Sanso forte e
Dalila linda.
d) Sanso no forte ou Dalila linda.
e) Sanso no forte e Dalila linda.

14. A negao da sentena "A Terra

chata e a Lua um planeta." :
a) Se a Terra chata, ento a Lua no
um planeta.
b) Se a Lua no um planeta, ento a
Terra no chata.
c) A Terra no chata e a Lua no
um planeta.
d) A Terra no chata ou a Lua um
planeta.
e) A Terra no chata se a Lua no
um planeta.

15. Considere a afirmao:

Pelo menos um ministro participar da
reunio ou nenhuma deciso ser
tomada.
Para que essa afirmao seja FALSA
a) suficiente que nenhum ministro tenha
participado da reunio e duas decises
tenham sido tomadas.
b) suficiente que dois ministros tenham
participado da reunio e alguma deciso
tenha sido tomada.
c) necessrio e suficiente que alguma
deciso
tenha
sido
tomada,
independentemente da participao de
ministros na reunio.
d) necessrio que nenhum ministro tenha
participado da reunio e duas decises
tenham sido tomadas.
e) necessrio que dois ministros tenham
participado da reunio e nenhuma deciso
tenha sido tomada.

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com) Pgina 10

d) algum fsico aposentado;

e) algum fsico no aposentado.

Diagramas lgicos
importante a representao atravs
de diagramas de trs proposies bsicas:
1) Todo a b.

2) Algum a b.

3) Nenhum a b.

Exerccios
01. Em certo planeta, todos os Aleves so
Bleves, todos os Cleves so Bleves,
todos os Dleves so Aleves, e todos os
Cleves so Dleves. Sobre os habitantes
desse planeta, correto afirmar que
a) Todos os Dleves so Bleves e so
Cleves.
b) Todos os Bleves so Cleves e so
Dleves.
c) Todos os Aleves so Cleves e so
Dleves.
d) Todos os Cleves so Aleves e so
Bleves.
e) Todos os Aleves so Dleves e
alguns Aleves podem no ser
Cleves.
02. Considerando-se
que
todos
os
virginianos so organizados e que
Aurlio organizado, temos que:
a)
b)
c)
d)
e)

Aurlio no virginiano.
Aurlio no pode ser virginiano.
Aurlio virginiano.
Aurlio pode ser virginiano.
Aurlio possui ascendente em
virgem.

03. Em uma cidade, verdade que algum

fsico desportista e que nenhum
aposentado desportista. Portanto,
nessa cidade:
a) nenhum aposentado fsico;
b) nenhum fsico aposentado;
c) algum aposentado no fsico;

04. Em uma pequena comunidade, sabese que nenhum filsofo rico e que
alguns professores so ricos. Assim,
pode-se afirmar, corretamente, que
nesta comunidade:
a)
b)
c)
d)

alguns filsofos so professores.

alguns professores so filsofos
nenhum filsofo professor
alguns
professores
no
so
filsofos
e) nenhum professor filsofo.
05. Todos os alunos de matemtica so,
tambm, alunos de ingls, mas
nenhum aluno de ingls aluno de
histria. Todos os alunos de portugus
so tambm alunos de informtica, e
alguns alunos de informtica so
tambm alunos de histria. Como
nenhum aluno de informtica aluno
de ingls, e como nenhum aluno de
portugus aluno de histria, ento
a) pelo menos um aluno de portugus
aluno de ingls
b) pelo
menos
um
aluno
de
matemtica aluno de histria
c) nenhum aluno de portugus
aluno de matemtica
d) todos os alunos de informtica so
alunos de matemtica
e) todos os alunos de informtica so
alunos de portugus
06. Uma escola de arte oferece aulas de
canto, dana, teatro, violo e piano.
Todos os professores de canto so,
tambm professores de dana, mas
nenhum professor de dana
professor de teatro. Todos os
professores de violo so, tambm,
professores de piano, e alguns
professores de piano, so tambm
professores de teatro. Sabe-se que
nenhum professor de piano professor
de dana, e como as aulas de piano,
violo e teatro no tm nenhum
professor em comum, ento:
a) nenhum professor de violo
professor de canto
b) pelo menos um professor de violo
professor de teatro
c) pelo menos um professor de canto
professor de teatro
d) todos os professores de piano so
professores de canto

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com) Pgina 11

e) todos os professores de piano so

professores de violo
07. Observe a sentena: Todo tcnico de
informtica entende de computador.
Algumas pessoas que estudam em uma
faculdade
no
entendem
de
computador. A partir da sentena
correto concluir que:
a) As pessoas que no estudam em uma
faculdade entendem de computador.
b) Alguns tcnicos de informtica que
estudam em uma faculdade no
entendem de computador.
c) Nenhum tcnico de informtica estuda
em alguma faculdade.
d) Todos os tcnicos de informtica que
estudam em uma faculdade entendem de
computador.
08. Avalie as afirmativas a seguir:
I Se todo X Y e todo Y Z ento todo X
Z.
II Se nem todo A B ento existe A que
no B.
III Se todo A B ento todo B A.
Est correto o que se afirma em:
a) I, apenas;
b) I e II, apenas;
c) I e III, apenas;
d) II e III, apenas;
e) I,II e III.
09. Todo A B, e todo C no B, portanto:
a) algum A C
b) algum B C
c) nenhum A C

Cardinalidade de um conjunto
01. Em um grupo de 54 pessoas, 20
praticam futebol, 15 praticam natao,
12 praticam vlei, 8 praticam futebol e
natao, 6 praticam futebol e vlei, 2
praticam natao e vlei e 1 pratica
todos os esses trs esportes. O
nmero de pessoas que no pratica
nenhum esporte :
a)
b)
c)
d)
e)

22
23
24
25
26

02. Uma escola de uma cidade do interior

fez uma excurso com alguns de seus
alunos cidade de So Paulo para
visitar o zoolgico. Desses alunos:
* 18 j estiveram antes em So Paulo,
mas nunca haviam ido a um
zoolgico;
* 28 j tinham ido a algum zoolgico,
mas nunca haviam ido a So Paulo;
* ao todo, 44 j haviam ido antes a um
zoolgico;
* ao todo, 40 nunca estiveram antes em
So Paulo.
Pode-se concluir que a escola levou,
nessa excurso:
a) 84 alunos;
b) 80 alunos;
c) 74 alunos;
d) 76 alunos;
e) 66 alunos.

d) nenhum B A
e) nenhum A B
10. Se Alguns poetas so nefelibatas e
Todos
os
nefelibatas
so
melanclicos, ento, necessariamente:
a)
b)
c)
d)
e)

Todo melanclico nefelibata.

Todo nefelibata poeta.
Algum poeta melanclico.
Nenhum melanclico poeta.
Nenhum poeta no melanclico.

03. Numa sala de 30 alunos, 17 foram

aprovados em Matemtica, 10 em
Histria, 9 em Desenho, 7 em
Matemtica e em Histria, 5 em
Matemtica e Desenho, 3 em Histria e
Desenho e 2 em Matemtica, Histria e
Desenho. Sejam:
v o nmero de aprovados em pelo
menos uma das trs disciplinas;
w o nmero de aprovados em pelo
menos duas das trs disciplinas;
x o nmero de aprovados em uma
e uma s das trs disciplinas;

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com) Pgina 12

y o nmero de aprovados em duas

e somente duas das trs disciplinas;
z o nmero dos que no foram
aprovados em qualquer uma das
trs disciplinas.

Argumento
Os valores de v, w, x, y, z so
respectivamente:
a)
b)
c)
d)
e)

30, 17, 9, 7, 2;
30, 12, 23, 3, 2;
23, 12, 11, 9, 7;
23, 11, 12, 9, 7;
23, 11, 9, 7, 2.

04. Em uma pesquisa sobre o consumo

de trs produtos A, B e C se observou
que 22 pessoas consomem A; 29 B;
23 C; 15 A e B; 12 A e C; 13 B e C; 8
A, B e C e 40 nenhum dos trs.
a) Quantas
pessoas
foram
consultadas?
b) Quantas pessoas consomem s A?
c) Quantas pessoas consomem A ou
B?
d) Quantas pessoas no consomem
A?
e) Quantas pessoas no consomem A
ou no consomem B?

Argumentar

apresentar
uma
proposio
como
sendo
uma
conseqncia
de
uma
ou
mais
proposies. Um argumento constitudo
pelas proposies p1, p2,..., pn, chamadas
premissas, nas quais nos baseamos para
garantir a proposio c, chamada
concluso.
Um argumento no uma proposio
que devemos classificar como verdadeira
ou falsa; ele estabelece uma relao entre
as premissas e a concluso, garantindo a
concluso a partir das premissas.
Dizemos que um argumento vlido
quando as premissas esto de tal modo
relacionadas com a concluso que no
possvel ter a concluso falsa se as
premissas forem verdadeiras.
O argumento que no vlido
chamado sofisma ou falcia.
Se um argumento constitudo de duas
premissas
e
uma
concluso,

denominado silogismo.
Exemplos:

05. Uma escola de idiomas oferece

apenas trs cursos: um curso de
alemo, um curso de francs e um
curso de ingls. A escola possui 200
alunos e cada aluno pode matricular-se
em quantos cursos desejar. No
corrente ano, 50% dos alunos esto
matriculados no curso de alemo, 30%
no curso de francs e 40%, no de
ingls. Sabendo-se que 5% dos alunos
esto matriculados em todos os trs
cursos,
o
nmero
de
alunos
matriculados em mais de um curso
igual a:
a) 30
b) 10
c) 15
d) 5
e) 20

01. Todos os gatos so mamferos.

Todos os mamferos tm pulmo.
Portanto, todos os gatos tm pulmo.
vlido

02. Todos os cachorros miam.

Os gatos no miam.
Logo, cachorros no so gatos.
vlido

Matemtica e Raciocnio Lgico Nelson Carnaval (nelson_carnaval@hotmail.com) Pgina 13