RACIOCNIO LGICO

NELSON CARNAVAL

RACIOCNIO LGICO
Lgica proposicional
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,... .
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)

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 linhas; se houver n
proposies, existiro 2n linhas.
Conectivo e
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

Tabela-verdade:
p
V
V
F
F

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.

q
V
F
V
F

pq
V
F
F
F

Concluso:

A proposio p q s verdadeira se as
proposies p e q forem verdadeiras.

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

RACIOCNIO LGICO NELSON CARNAVAL

Pgina 1

RACIOCNIO LGICO
NELSON CARNAVAL
Tabela-verdade:
p
V
V
F
F

q
V
F
V
F

V
V
V
F

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

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.
Tabela-verdade:
p
V
V
F
F

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

q
V
F
V
F

pq
V
F
F
V

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

Tautologia, contradio e contingncia

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

~p
F
V

Conectivo se..., ento

As sentenas que tm a forma se p,
ento q, so chamadas de proposies
condicionais
e
representadas
simbolicamente por p q.

RESUMO DAS REGRAS DOS QUATRO

CONECTIVOS

PROPOSIO

CONDIO PARA SER

VERDADEIRA

PQ
Tabela-verdade:
PvQ
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

PQ
PQ

Concluso :
A proposio composta p q s falsa
se p verdadeira e q falsa.
RACIOCNIO LGICO NELSON CARNAVAL

Pgina 2

RACIOCNIO LGICO
NELSON CARNAVAL
Exerccios com tabela-verdade
01. Construir a tabela-verdade de cada
uma das seguintes proposies.
a) p

~(p

QUESTES DE CONCURSO
1. Dadas as proposies compostas:

q)

b) (p q) ( ~p ~q)

I )3 4 7 53 125
II )3 2 6 4 4 9
III ) 3 1 ( no um n real)
IV ) 2 1 20 2
V)2 0 2 0

2. 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
a)
b)
c)
d)
e)

um silogismo
uma tautologia
uma equivalncia
uma contingncia
uma contradio

3. 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.

RACIOCNIO LGICO NELSON CARNAVAL

A que tem valor lgico FALSO a

a) I

b) II

c) III

d) V

e) IV

A B , ou B C , mas no
ambos. Se B D , ento A D .

2. Ou

Ora,

B D . Logo:

a)

BC

b)

CD

c)

BA

d)

DA

e)

CA

3. 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
Pgina 3

RACIOCNIO LGICO
NELSON CARNAVAL
que
o
amanh?

drago

desaparecer

d) X > Q > Z > R;

e) Q < X < Z < Y.

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

EQUIVALNCIA LGICA
Duas proposies so logicamente
equivalentes quando possuem a mesma
tabela-verdade

c) Sim, sim, sim

d) No, sim, sim

Demonstrar
proposies:

e) Sim, no, sim

X: ~p (q v p )

4. Se no durmo, bebo. Se estou furioso,

durmo. Se durmo, no estou furioso. Se
no estou furioso, no bebo. Logo,
a) no durmo, estou furioso e no
bebo
b) durmo, estou furioso e no bebo
c) no durmo, estou furioso e bebo
d) durmo, no estou furioso e no
bebo
e) no durmo, no estou furioso e
bebo
5. Se Alceu tira frias, ento Brenda fica
trabalhando.
Se
Brenda
fica
trabalhando, ento Clvis chega mais
tarde ao trabalho. Se Clvis chega mais
tarde ao trabalho, ento Dalva falta ao
trabalho. Sabendo-se que Dalva no
faltou ao trabalho, correto concluir que
a) Alceu no tira frias e Clvis chega
mais tarde ao trabalho.
b) Brenda no fica trabalhando e Clvis
chega mais tarde ao trabalho.
c) Clvis no chega mais tarde ao
trabalho e Alceu no tira frias.
d) Brenda fica trabalhando e Clvis
chega mais tarde ao trabalho.
e) Alceu tira frias e Brenda fica
trabalhando.
6. Uma professora de Matemtica faz as
trs seguintes afirmaes:
X>QeZ<Y
X > Y e Q > Y, se e somente se Y > Z
R Q, se e somente se Y = X.
Sabendo-se que todas as afirmaes da
professora so verdadeiras, conclui-se
corretamente que:
a) X > Y > Q > Z;
b) X > R > Y > Z;
c) Z < Y < X < R;
RACIOCNIO LGICO NELSON CARNAVAL

Y: (~q

equivalncia

das

~p) p

A seguir, mostraremos as equivalncias

notveis.

EXERCCIOS
01.

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.

2. Se Francisco desviou dinheiro da

campanha assistencial, ento ele
cometeu um grave delito. Mas
Francisco no desviou dinheiro da
campanha assistencial. Logo:
a) Francisco desviou dinheiro
campanha assistencial.

da

Pgina 4

RACIOCNIO LGICO
NELSON CARNAVAL
b) Francisco no cometeu um grave
delito.
c) Francisco cometeu um grave delito.
d) Algum
desviou
dinheiro
campanha assistencial.

da

e) Algum no desviou dinheiro da

campanha assistencial.

a ocorrncia de A. Assim, quando C

ocorre:
a) D ocorre e B no ocorre
b) D no ocorre ou A no ocorre
c) B e A ocorrem
d) nem B nem D ocorrem

a) Andr artista se e somente se

Bernardo no engenheiro.
b) Se Andr artista, ento Bernardo
no engenheiro.
c) Se Andr no artista, ento
Bernardo espanhol
d) Se Bernardo engenheiro, ento
Andr artista
e) Andr no artista e Bernardo
engenheiro

Dada a proposio: Se Carla

solteira, ento Maria estudante.
Uma proposio equivalente :

2.

Carla solteira e Maria

estudante;
b) Se Maria estudante, ento Carla
solteira;
c) Se Maria no estudante, ento
Carla no solteira;
d) Maria estudante se, e somente
se, Carla solteira;
e) Se Carla solteira, ento Maria
no estudante.
3.
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)

a)
b)
c)
d)
e)
4.

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.
Se Marcos no estuda, Joo no
passeia. Logo:

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.
5.

Sabe-se que a ocorrncia de B

condio
necessria
para
a
ocorrncia de C e condio suficiente
para a ocorrncia de D. Sabe-se,
tambm, que a ocorrncia de D
condio necessria e suficiente para

RACIOCNIO LGICO NELSON CARNAVAL

Dizer que Andr artista ou

Bernardo no engenheiro
logicamente equivalente a dizer que:

6.

Uma empresa mantm a seguinte

regra
em
relao
a
seus
funcionrios: Se um funcionrio tem
mais de 45 anos de idade, ento ele
dever, todo ano, realizar pelo
menos um exame mdico e tomar a
vacina contra a gripe. Considerando
que essa regra seja sempre
cumprida, correto concluir que,
necessariamente, se um funcionrio
dessa empresa

7.

a) anualmente realiza um exame

mdico e toma a vacina contra a
gripe, ento ele tem mais de 45
anos de idade.
b) tem 40 anos de idade, ento ele no
realiza exames mdicos anualmente
ou no toma a vacina contra a gripe.
c) no realizou nenhum exame mdico
nos ltimos dois anos, ento ele no
tem 50 ou mais anos de idade.
d) tem entre 55 e 60 anos de idade,
ento ele realiza um nico exame
mdico por ano, alm de tomar a
vacina contra a gripe.
8.

Considere verdadeira a declarao:

Se x par, ento y mpar.
Com base na declarao, correto
concluir que, se
a)
b)
c)
d)

x mpar, ento y par.

x mpar, ento y mpar.
y mpar, ento x par.
y par, ento x par.

Pgina 5

RACIOCNIO LGICO
NELSON CARNAVAL
e)
9.

y par, ento x mpar.

Se todos os nossos atos tm causa,
ento no h atos livres. Se no h
atos livres, ento todos os nossos atos
tm causa. Logo,

a)

alguns atos no tm causa se no h

atos livres.

b)

todos os nossos atos tm causa se e

somente se h atos livres.

c)

todos os nossos atos tm causa se e

somente se no h atos livres.

d)

todos os nossos atos no tm causa

se e somente se no h atos livres.

e)

alguns atos so livres se e somente se

todos os nossos atos tm causa.

2) ~ (p

q)

~p

~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.

no carioca e

Quantificadores

10. Considerando-se as regras da lgebra

a)
b)
c)
d)
e)

proposicional, qual das proposies

citadas nas alternativas abaixo pode ser
deduzida das seguintes proposies: ~
X Z e X ~ Y ?
~ Y ~ Z
YZ
~ (Y Z )
~ (Y Z )
YZ

NEGAO DAS PROPOSIES

USUAIS (RESUMO)
Uma proposio a negao lgica da
outra, se possuir concluso oposta da outra
na tabela-verdade.
Ex:
Mostrar que so opostas as proposies:
A: (p q) ( p q)
B: (p

q)

( p v q)

q)

~p

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:
Quantificador existencial: (existe)
Quantificador universal:
qualquer que seja)

~q

RACIOCNIO LGICO NELSON CARNAVAL

(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:
honestos.

Obs: A negao de uma proposio

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

Para transformar uma sentena aberta

em uma proposio, temos duas maneiras:

Todos

os

advogados

Negao: Existe advogado que

honesto.

so

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:
Pgina 6

RACIOCNIO LGICO
NELSON CARNAVAL
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...)

EXERCCIOS
1. 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.
2. A negao de Todos viajaram e
retornaram todos na tera-feira
a)
b)
c)
d)
e)

Ningum viajou, portanto no

retornaram todos na tera-feira.
Ningum viajou ou ningum
retornou na tera-feira.
Pelo menos um no viajou ou
algum no retornou na terafeira.
Pelo menos um no viajou e
algum no retornou na terafeira.
Pelo menos um no viajou ou
ningum retornou na tera-feira.

3. Considere a afirmao:

Pelo
menos
um
ministro
participar
da
reunio
ou
nenhuma deciso ser tomada.
Para que essa afirmao seja FALSA

RACIOCNIO LGICO NELSON CARNAVAL

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.
4. 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.
5. A negao da afirmao condicional
se estiver chovendo, eu levo o
guarda-chuva :
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.

o
o
o
o
o

6. 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;

Pgina 7

RACIOCNIO LGICO
NELSON CARNAVAL
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.
7. Duas pessoas que sabiam lgica, um
estudante e um garom, tiveram o
seguinte dilogo numa lanchonete:
Garom: O que deseja?
Estudante: Se eu comer um sanduche,
ento no comerei salada, mas tomarei
sorvete.
A situao que torna a
declarao do estudante falsa :
a) o estudante no comeu salada, mas
tomou sorvete;
b) o estudante comeu sanduche, no
comeu salada e tomou sorvete;
c) o estudante no comeu sanduche;
d) o estudante comeu sanduche, mas
no tomou sorvete;
e) o estudante no comeu sanduche,
mas comeu salada.
8. 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.
9. Uma turma de alunos de um curso de
Direito reuniu-se em um restaurante
para um jantar de confraternizao e
coube a Francisco receber de cada
um a quantia a ser paga pela
participao.
Desconfiado
que
Augusto , Berenice e Carlota no
tinham pago as suas respectivas
partes, Francisco conversou com os
trs
e
obteve
os
seguintes
RACIOCNIO LGICO NELSON CARNAVAL

depoimentos: Augusto: No
verdade que Berenice pagou ou
Carlota no pagou.Berenice:Se
Carlota
pagou,
ento
Augusto
tambm pagou. Carlota: Eu paguei,
mas sei que pelo menos um dos dois
outros no pagou. Considerando que
os trs falaram a verdade, correto
afirmar que:
a) Apenas Berenice no pagou a sua
parte.
b) Apenas Carlota no pagou a sua
parte.
c) Augusto e Carlota no pagaram
suas partes.
d) Berenice e Carlota pagaram suas
partes.
e) Os trs pagaram suas partes.
10. Marque a alternativa que contm a
negao da proposio mentira que,
se a seleo brasileira de futebol no
ganha, ento o seu tcnico demitido.

a) A

seleo brasileira de futebol

ganhou ou seu tcnico foi demitido.
b) A seleo brasileira de futebol no
ganhou ou o seu tcnico no foi
demitido.
c) A seleo brasileira de futebol no
ganhou e o seu tcnico foi demitido.
d) A seleo brasileira de futebol
ganhou ou o seu tcnico no foi
demitido.
e) A seleo brasileira de futebol no
ganhou ou o seu tcnico foi demitido.

Diagramas lgicos/Argumentos
importante a representao atravs
de diagramas de trs proposies bsicas:
1) Todo a b.
2) Algum a b.
3) Nenhum a b.
Pgina 8

RACIOCNIO LGICO
NELSON CARNAVAL
Exerccios
1. Considere
que
as
seguintes
afirmaes so verdadeiras:
- Todo motorista que no obedece s leis
de trnsito multado.
- Existem pessoas idneas que so
multadas.

c) pelo menos um professor de canto

professor de teatro
d) todos os professores de piano so
professores de canto
e) todos os professores de piano so
professores de violo

4. 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) se um motorista idneo e no
obedece s leis de trnsito, ento
ele multado.
b) se um motorista no respeita as
leis de trnsito, ento ele idneo.
c) todo motorista uma pessoa
idnea.
d) toda pessoa idnea obedece s
leis de trnsito.
e) toda pessoa idnea no multada.

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.

Com base nessas

verdade Que

afirmaes

2. Em uma pequena comunidade, sabe-se

que nenhum filsofo rico e que
alguns professores so ricos. Assim,
pode-se afirmar, corretamente, que
nesta comunidade:

5. Admita que todo A B, algum B C, e

algum C no A. Caio, Ana e Lo
fizeram as seguintes afirmaes:

a) alguns filsofos so professores.

b) alguns professores so filsofos
c) nenhum filsofo professor
d)
alguns professores no so
filsofos
e) nenhum professor filsofo.
3. 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:

Est inequivocamente correto APENAS

o que afirmado por
a) Caio.
b) Ana.
c) Lo. d) Caio e Ana. e) Caio e Lo.

a)

nenhum professor de violo

professor de canto
b) pelo menos um professor de violo
professor de teatro
RACIOCNIO LGICO NELSON CARNAVAL

Pgina 9