PDF AEP SPF2013 RaciocinioLogico Apostila PedroEvaristo

2013 Copyright. Curso Agora eu Passo - Todos os direitos reservados ao autor.
Super Polcia Federal 2013

Raciocnio Lgico
Apostila
Pedro Evaristo

Raciocnio Lgico
Prof. Pedro Evaristo 2

CAPTULO 1

ESTRUTURA LGICA: INVESTIGAO
Somos o que fazemos, mas somos principal mente, o que fazemos para
mudar o que somos
EDUARDO GALEANO

INVESTIGANDO

As questes de estrutura lgica, tambm chamadas de investigaes, esto
presentes na maioria das provas de raciocnio lgico, mas cada edital descreve
esse tipo de questo de maneira diferente. Podemos dizer que essas questes
tratam do entendimento da estrutura lgica de relaes arbitrrias entre pessoas,
lugares, objetos ou eventos fictcios, deduzindo novas informaes a partir de
relaes fornecidas e avaliao das condies usadas para estabelecer a
estrutura daquelas relaes.
Uma investigao um processo de construo do conhecimento que tem
como metas principais gerar novos conhecimentos e/ou confirmar ou refutar
algum conhecimento pr-existente. A investigao, no sentido de pesquisa, pode
ser definida como o conjunto de atividades orientadas e planejadas pela busca
de um conhecimento.
As questes de investigao so muito interessantes e prazerosas de se fazer.
No enunciado, so dadas pistas que associadas a hipteses nos fazem concluir a
resposta correta ou ainda nos levam a concluses diretas, sem precisar supor. O
primeiro passo ento, perceber se precisaremos ou no supor alguma coisa, ou
seja, se todas as informaes so verdadeiras ou existem mentiras. Quando todas
as informaes forem verdadeiras, no haver necessidade de hipteses, mas
quando existirem verdades e mentiras envolvidas, devemos fazer suposises para
chegarmos as concluses.

HIPTESE

Uma hiptese uma teoria provvel, mas no demonstrada, uma suposio
admissvel. Na matemtica, o conjunto de condies para poder iniciar uma
demonstrao. Surge no pensamento cientfico aps a coleta de dados
observados e na conseqncia da necessidade de explicao dos fenmenos
associados a esses dados.
normalmente seguida de experimentao, que pode levar verificao
(aceitao) ou refutao (rejeio) da hiptese. Assim que comprovada, a
hiptese passa a se chamar teoria, lei ou postulado.
Podemos ento dizer que uma afirmao sujeita a comprovao.

Raciocnio Lgico
IDENTIFICANDO CADA CASO

Existem basicamente trs casos de questes de investigaes. Todos eles
procuram deduzir novas informaes, com base nas informaes fornecidas no
enunciado.
Para resolver questes de investigao, devemos inicialmente identificar o
caso (ordenao, associao ou suposio) e seguir os procedimentos peculiares
a cada um deles.

1 CASO - Somente Verdades: ORDENAO.
Esse tipo de questo d apenas informaes verdadeiras, que nos
permite colocar em ordem pessoas, objetos, datas, idades, cores,
figuras ou qualquer outra coisa, mediante pistas que devem ser
seguidas. O fato de colocar os dados fornecidos na ordem desejada
permitir identificar o item correto a ser marcado.

EXEMPLO:
Aline mais velha que Bruna, que mais nova que Carol, mas esta
no a mais velha de todas. Sejam A, B e C as respectivas idades de
Aline, Bruna e Carol, defina a ordem das idades.

CONCLUSES:
Sejam A, B e C as respectivas idades de Aline, Bruna e Carol, ento
A > B (Aline mais velha que Bruna) e C > B (Bruna mais nova
que Carol)
Como Carol no a mais velha, podemos ordenar as idades das
meninas da seguinte forma:
A > C > B

2 CASO - Somente Verdades: ASSOCIAO.
Como todas as informaes dadas so verdadeiras, o que ser
importante saber organizar as informaes em uma tabela para
cruzar os dados. Por exemplo, cada coluna trata das informaes de
uma determinada pessoa e as linhas tratam das caractersticas dessas
pessoas. O que devemos fazer preencher a tabela cruzando as
informaes de cada uma das pessoas, iniciando pelas informaes
diretas e posteriormente deduzindo as outras.

EXEMPLO:
Aline, Bruna e Carol fazem aniversrio no mesmo dia, mas no tm a
mesma idade, pois nasceram em trs anos consecutivos. Uma delas
Psicloga, a outra Fonoaudiloga e a mais nova Terapeuta. Bruna
a mais nova e tm 25 anos. Carol a mais velha e no Psicloga.

Raciocnio Lgico
CONCLUSES:
Do enunciado, podemos construir a tabela a seguir.
A B C

Profisso
Idade
Como Bruna a mais nova e tm 25 anos, e que a mais nova
Terapeuta, deduzimos que Bruna Terapeuta. Logo podemos
preencher os seguintes dados na tabela.
A B C

Profisso T
Idade 25

Como Carol a mais velha e no Psicloga, deduzimos que Carol
Fonoaudiloga e tm 27 anos, j que as trs nasceram em anos
consecutivos e a mais nova tem 25 anos. Logo podemos
acrescentar as seguintes informaes na tabela.
A B C

Profisso T F
Idade 25 27

Por excluso, deduz-se que Aline tem 26 anos e Psicloga. Assim,
temos a tabela totalmente preenchida.
A B C

Profisso P T F
Idade 26 25 27

3 CASO - Verdades e Mentiras: SUPOSIO.
Esse ltimo caso requer maior ateno, pois existem verdades e
mentiras envolvidas no enunciado e atravs da anlise das hipteses
chegaremos s devidas concluses. Por exemplo, quando um delegado
procurar descobrir quem o verdadeiro culpado entre trs suspeitos, ele
lana mo de hipteses, ou seja, ele vai supondo que cada um deles seja o
culpado e vai analisando a veracidade de informao que ele possui, a fim
de confirmar ou rejeitar a hiptese.

Raciocnio Lgico
EXEMPLO:
Aline, Bruna e Carol so suspeitas de ter comido a ultima fatia do bolo
da vov. Quando perguntadas sobre o fato, declararam o seguinte:
ALINE: Foi a Bruna que comeu
BRUNA: Aline est mentindo
CAROL: No fui eu
Sabendo que apenas uma delas est dizendo a verdade e que
apenas uma delas comeu o bolo, descubra quem comeu o bolo.

CONCLUSES:

1 PASSO:
(identificar que existem verdades e mentiras)

No enunciado, foi dito que apenas uma delas est dizendo a
verdade, portanto duas delas mentem e outra fala a verdade,
tratando-se de uma questo do 3 caso, ou seja, teremos que fazer
suposies.

2 PASSO:
(construir a tabela e lanar as hipteses)

Do enunciado, podemos construir a tabela a seguir.

ANLISE DAS AFIRMAES
HIPTESES A B C

Se A foi quem comeu
Se B foi quem comeu
Se C foi quem comeu

3 PASSO:
(julgar a veracidade, ou no, das afirmaes, mediante cada uma
das hipteses)
Como Aline disse que Foi a Bruna que comeu, ela s estar dizendo
a verdade caso (na hiptese de) Bruna realmente tenha comido o
bolo, caso contrrio estar mentindo, logo temos:

A B C

A comeu F
B comeu V
C comeu F

Raciocnio Lgico
Como Bruna disse que Aline est mentindo, temos que Bruna s
mente no caso (na hiptese de) de Aline falar a verdade, caso Aline
realmente esteja mentindo ento Bruna estar falando a verdade, ou
seja, as colunas A e B tero valores lgicos contrrios, logo temos:
A B C

A comeu F V
B comeu V F
C comeu F V

Finalmente, como Carol disse no fui eu, ela s estar mentindo
caso (na hiptese de) ela tenha comido o bolo, caso contrrio estar
falando a verdade, logo analisando essa afirmao, temos:
A B C

A comeu F V V
B comeu V F V
C comeu F V F

4 PASSO:
(aceitar ou rejeitar as hipteses, de acordo com o proposto no
enunciado)
Foi dito no enunciado que apenas uma das meninas diz a verdade,
ento com base nisso devemos identificar a nica linha que tem
apenas uma afirmao verdadeira. Observe que apenas na terceira
linha, ou seja, apenas no caso de Carol ter comido o bolo, teremos
duas garotas mentindo e apenas uma dizendo a verdade. Portanto,
podemos afirmar que a 3 hiptese foi aceita e as outras duas foram
rejeitadas.
Concluso, Carol comeu a ltima fatia do bolo.

EXEMPLO DO 1 CASO - VERDADES: ORDENAES

01. Em um prdio de 4 andares moram Erick, Fred, Giles e Heitor, cada um em um
andar diferente. Sabe-se que Heitor no mora no 1 andar, Erick mora acima de
Todos, Giles mora mediatamente abaixo de Fred e este acima de Heitor,
Determine quem mora no 2 andar.
a) Heitor
a) Erick
d) Fred
e) Giles

Raciocnio Lgico
SOLUO:
Com base nas informaes fornecidas no enunciado, vamos ordenar os
moradores.
Inicialmente como Erick mora acima de todos, ento ele mora no 4 andar.
Como Fred mora acima de Heitor e Heitor no mora no 1 andar, ento Heitor
tem que morar no 2 andar e Fred no 3 andar, para satisfazer essas condies. Por
excluso, Giles mora no 1 andar, o que satisfaz a condio de morar
mediatamente abaixo de Fred, ou seja, existe exatamente uma pessoa entre ele
Fred.

EXEMPLOS DO 2 CASO - VERDADES: ASSOCIAO

02. (IPAD) Luciano, Cludio e Fernanda so trs estudantes de Filosofia. Sabe-se
que um deles estuda Frege, o outro Kant e o terceiro Wittgenstein. Sabe-se ainda
que: 1) Cludio ou Fernanda estuda Frege, mas no ambos; 2) Luciano ou
Fernanda estuda Kant, mas no ambos; 3) Luciano estuda Frege ou Cludio
estuda Wittgenstein, mas no ocorrem as duas opes simultaneamente; 4)
Fernanda ou Cludio estuda Wittgenstein, mas no ambos. Luciano, Cludio e
Fernanda estudam respectivamente:
a) Kant, Wittgenstein e Frege.
b) Kant, Frege e Wittgenstein.
c) Wittgenstein, Kant e Frege.
d) Frege, Kant e Wittgenstein.
e) Frege, Wittgenstein e Kant.

LINK:
importante diferenciar em cima, acima, em baixo e abaixo.
Por exemplo, se Pedro mora no 8 andar de um prdio e Milena mora:
ACIMA, ento Milena mora em um andar superior ao dele, no
necessariamente em cima.
EM CIMA, ento Milena mora no andar IMEDIATAMENTE acima,
ou seja, no 9 andar.
MEDIATAMENTE ACIMA, ento Milena mora duas posies acima,
com exatamente um andar entre eles, ou seja, no 10 andar.
ABAIXO, ento Milena mora em um andar inferior ao dele, no
necessariamente em baixo.
EM BAIXO, ento Milena mora no andar IMEDIATAMENTE abaixo,
ou seja, no 7 andar.
MEDIATAMENTE ABAIXO, ento Milena mora duas posies
abaixo, com exatamente um andar entre eles, ou seja, no 6 andar.

Raciocnio Lgico
SOLUO:
Do enunciado, podemos organizar as informaes na tabela a seguir:

Luciano Cludio Fernanda
Frege
Kant
Wittgenstein

De acordo com cada premissa podemos eliminar (X) os cruzamentos incorretos:

1) Se Cludio ou Fernanda estuda Frege, mas no ambos, ento Luciano no
estuda Frege

Frege F
Kant
Wittgenstein

2) Se Luciano ou Fernanda estuda Kant, mas no ambos, ento Cludio no
estuda Kant

Frege F
Kant F
Wittgenstein

3) Se Luciano estuda Frege ou Cludio estuda Wittgenstein, mas no ambos,
ento Cludio estuda Wittgenstein pois j tnhamos concludo que Luciano no
estuda Frege

Frege F
Kant F
Wittgenstein F VERDADE F

Como Luciano no estuda nem Frege, nem Wittgenstein ento por excluso ele
estuda Kant. Nesse caso resta apenas que Fernanda estuda Frege

Frege F VERDADE
Kant VERDADE F
Wittgenstein F VERDADE F

Raciocnio Lgico
03. Trs crianas Astolfo, Belarmino e Cleosvaldo brincavam, cada qual, com
um nico tipo de brinquedo. Considere as seguintes informaes:
Os brinquedos so: Falcon, Playmobil e Atari;
As idades dos trs so: 11, 8 e 6;
Astolfo no brincava com um Falcon e nem com o Atari;
A criana que tem 11 anos, brincava de Atari;
Cleosvaldo tem menos de 8 anos.
Com base na informaes dadas, correto afirmar que
a) Belarmino tem 11 anos.
b) Astolfo tem 11 anos.
c) Belarmino brincava com um Falcon.
d) Cleosvaldo brincava com um Atari.
e) Astolfo no tem 8 anos.

SOLUO:
Do enunciado, podemos organizar a tabela a seguir:

ASTOLFO BELARMIN
O
CLEOSVALD
O
IDADE
BRINQUEDO

Sabendo que Astolfo brincava com um Playmobil e que Cleosvaldo tem 6
anos, temos:

ASTOLFO BELARMIN
O
CLEOSVALD
O
IDADE 6
BRINQUEDO Play

Como A criana que tem 11 anos, brincava de Atari, apenas Belarmino se
encaixa, logo

ASTOLFO BELARMIN
O
CLEOSVALD
O
IDADE 11 6
BRINQUEDO Play Atari

Por excluso, temos

ASTOLFO BELARMIN
O
CLEOSVALD
O
IDADE 8 11 6
BRINQUEDO Play Atari Falcon

Raciocnio Lgico

04. Trs amigas, Anna, Bruna e Camila, encontram-se em uma festa. O vestido de
uma delas azul, o de outra preto, e o de outra branco. Elas calam pares de
sapatos destas mesmas trs cores, mas somente Anna est com vestido e sapatos
de mesma cor. Nem o vestido nem os sapatos de Bruna so brancos. Camila est
com sapatos azuis. Desse modo,
a) o vestido de Bruna azul e o de Anna preto.
b) o vestido de Bruna branco e seus sapatos so pretos.
c) os sapatos de Bruna so pretos e os de Anna so brancos.
d) os sapatos de Anna so pretos e o vestido de Camila branco.
e) o vestido de Anna preto e os sapatos de Camila so azuis.

SOLUO:
Do enunciado, podemos organizar a tabela a seguir:

ANNA BRUNA CAMILA
VESTIDO
SAPATOS

Sabendo que Camila est com sapatos azuis, temos:

ANNA BRUNA CAMILA
VESTIDO
SAPATOS Az

Sabendo que Nem o vestido nem os sapatos de Bruna so brancos, ento Anna
tem que ter sapatos brancos

ANNA BRUNA CAMILA
VESTIDO
SAPATOS Br Az

Como Anna est com vestido e sapatos de mesma cor, temos

ANNA BRUNA CAMILA
VESTIDO Br
SAPATOS Br Az

Por excluso, deduz-se que Bruna est com sapatos pretos e sabendo que
somente Anna est com vestido e sapatos de mesma cor, temos

ANNA BRUNA CAMILA
VESTIDO Br Az Pr
SAPATOS Br Pr Az

Raciocnio Lgico

EXEMPLOS DO 3 CASO VERDADES E MENTIRAS: SUPOSIO

05. Quando a me de Alysson, Bosco, Carlos e Daniel, chega em casa, verifica
que seu vaso preferido havia sido quebrado. Interrogados pela me, eles fazem as
seguintes declaraes:
"Me, o Bosco foi quem quebrou" disse Alysson
"Como sempre, o Daniel foi culpado" disse Bosco
"Me, sou inocente" disse Cleber
Claro que o Bosco est mentindo" disse Daniel
Sabendo que apenas um dos quatro disse a verdade, diga quem quebrou o vaso.
a) Alysson
b) Bosco
c) Cleber
d) Daniel

SOLUO:
Do enunciado, podemos construir a tabela a seguir, onde sero analisadas as
declaraes mediante as hipteses:

ANLISE DAS DECLARAES
HIPTESES ALYSSON BOSCO CLEBER DANIEL
ALYSSON
BOSCO
CLEBER
DANIEL
Analisaremos as declaraes de cada criana, de acordo com as hipteses dos
culpados. Por exemplo, Alysson declara que Bosco foi quem quebrou, ento ele
estar falando a verdade somente no caso de Bosco realmente ser o culpado, ou
seja, ele mente (F) na hiptese de outra pessoa ser o culpado, logo:

ALYSSON F
BOSCO V
CLEBER F
DANIEL F

Como Bosco disse que Daniel foi o culpado, nota-se que apenas no caso de
Daniel ser o culpado ele estar dizendo a verdade, ento para qualquer outra
hiptese de culpado ele mente (F), logo temos:

ALYSSON F F
BOSCO V F
Raciocnio Lgico
CLEBER F F
DANIEL F V

Como Cleber se declara inocente, apenas na hiptese dele ser o culpado, sua
declarao dita como falsa (F), em todas as demais hipteses ele realmente
ser considerado inocente, logo:

ALYSSON F F V
BOSCO V F V
CLEBER F F F
DANIEL F V V

Como Daniel disse que Bosco est mentindo", ento nesse caso, sempre a
declarao de Daniel ter valor lgico contrrio ao de Bel, pois eles se
contradizem, ento Daniel s ir mentir no caso dele ser o culpado, ou seja:

ALYSSON F F V V
BOSCO V F V V
CLEBER F F F V
DANIEL F V V F

Anlise das hipteses:
1 Hiptese: Alysson culpado (REJEITADA) Dois mentiram (F) e
dois falaram a verdade (V)
2 Hiptese: Bosco culpado (REJEITADA) Somente um mentiu
(F)
3 Hiptese: Cleber culpado (ACEITA) Somente um falou a
verdade (V)
4 Hiptese: Daniel culpado (REJEITADA) Dois mentiram (F) e
dois falaram a verdade (V)
Observe que somente na hiptese de Cleber ser o culpado que apenas uma
das declaraes se torna verdadeira (V), sendo ento trs falsas (F). Como
somente Daniel diz a verdade, a terceira hiptese a nica aceita, logo Cleber
declarado culpado.

06. Cinco jovens encontram-se diante de trs portas na Caverna do Drago,
buscando um caminho para voltar para casa. Diante das portas esto trs
guardies. As portas levam: ao castelo do Vingador, a um labirinto e finalmente
uma passagem para seu mundo, mas no nessa ordem. Cada um dos guardies
declara:
1 Guardio: O castelo do seu inimigo no est na porta da direita
2 Guardio: A porta do meio a passagem para seu mundo
Raciocnio Lgico
3 Guardio: A porta do centro leva a um labirinto e a da direita ao Castelo
do Vingador
Quando o Mestre dos Magos aparece, avisa aos garotos de que apenas dois
dos guardies estava falando a verdade. Logo, eles concluram que:
a) o labirinto est na porta da esquerda
b) a passagem est na porta da esquerda
c) a passagem est na porta do centro
d) o castelo do Vingador est na porta do centro
e) o castelo do Vingador est na porta da direita

SOLUO:
Do enunciado, podemos construir a tabela a seguir, que mostra as possibilidades
para cada porta:

HIPTESES 1
GUARDIO
2
GUARDIO
3
GUARDIO
C L P
C P L
P C L
P L C
L P C
L C P

O 1 guardio declarou que O castelo no est na porta da direita, ento ele s
estar mentindo (F) no caso do castelo est na porta da direita, ou seja, o que
ocorre na 4 e na 5 hiptese, logo temos:

HIPTESES 1
GUARDIO
2
GUARDIO
3
GUARDIO
C L P V
C P L V
P C L V
P L C F
L P C F
L C P V

Raciocnio Lgico
J o 2 guardio declarou que A porta do meio a passagem para seu mundo,
ento na 2 e na 5 hiptese ele s estar mentindo (F), pois nestas hipteses
supe-se que a passagem (P) est no meio, logo:

HIPTESES 1
GUARDIO
2
GUARDIO
3
GUARDIO
C L P V F
C P L V V
P C L V F
P L C F F
L P C F V
L C P V F

O 3 guardio fez duas declaraes, que a porta do centro leva a um labirinto e
que a porta da direita leva ao Castelo do Vingador, ento ele s estar falando
a verdade (V) no caso das duas afirmaes ocorrerem, ou seja, apenas na 4
hiptese, logo temos:

HIPTESES 1
GUARDIO
2
GUARDIO
3
GUARDIO
C L P V F F
C P L V V F
P C L V F F
P L C F F V
L P C F V F
L C P V F F

Observe que apenas na 2 hiptese, dois dos guardies falam a verdade e um
mente, o que satisfaz a condio imposta no enunciado da questo, ento a
ordem ser:
Castelo (C), Passagem (P) e Labirinto (L)
Portanto, a passagem est na porta do centro.

Raciocnio Lgico
A matemtica o mais maravilhoso instrumento criado pelo gnio do homem
para a descoberta da verdade

EXERCCIOS

Certo dia, trs tcnicos distrados, Andr, Bruno e Carlos, saram do trabalho e
cada um foi a um local antes de voltar para casa. Mais tarde, ao regressarem
para casa, cada um percebeu que havia esquecido um objeto no local em que
havia estado. Sabe-se que:
Um deles esqueceu o guarda-chuva no bar e outro, a agenda na pizzaria;
Andr esqueceu um objeto na casa da namorada;
Bruno no esqueceu a agenda e nem a chave de casa.

Com base nessas informaes, julgue os itens.

01. Carlos foi quem esqueceu a agenda na pizzaria.

02. Andr no foi quem esqueceu guarda-chuva.

Quatro empresas (Maccorte, Mactex, Macval, Macmais) participam de uma
concorrncia para compra de certo tipo de mquina. Cada empresa apresentou
um modelo diferente do das outras (Thor, Hrcules, Netuno, Zeus) e os prazos de
entrega variavam de 8 a 14 dias. Sabe-se que:
Sobre os prazos de entrega, Macval apresentou o menor e Mactex o maior.
O modelo Zeus foi apresentado pela Maccorte, com prazo de entrega de 2
dias a menos do que a Mactex.
O modelo Hrcules seria entregue em 10 dias.
Macval no apresentou o modelo Netuno.
Nessas condies, julgue os itens a seguir.

03. Macval entregar em 8 dias o modelo Thor.

04. Mactex entregar em 14 dias o modelo Netuno.

(CESPE) Na ltima corrida do campeonato anual de motocicleta, participaram 8
pilotos, numerados de 1 a 8. As cores dos capacetes dos pilotos so todas
diferentes. De acordo com a acumulao de pontos nas corridas anteriores, se o
piloto 8 terminasse essa corrida em pelo menos duas posies frente do piloto 3,
o piloto 8 seria o campeo do ano. Encerrada a corrida, observou-se que

I. o piloto 1 chegou imediatamente depois do piloto de capacete prata e a
seguir chegou o de capacete vermelho;
II. o piloto 4 venceu a corrida;
III. o piloto 3 terminou a corrida duas posies atrs do piloto 1 e uma posio
frente do piloto de capacete azul;
Raciocnio Lgico
IV. o piloto de capacete prata cruzou a linha de chegada imediatamente aps
o piloto 2;
V. o piloto de capacete preto terminou a corrida em segundo lugar;
VI. o piloto de capacete verde, penltimo colocado na corrida, chegou
imediatamente aps o piloto 6;
VII. o piloto de capacete amarelo chegou imediatamente depois do piloto de
capacete preto;
VIII. o ltimo piloto a terminar a corrida foi o de nmero 5;
IX. o piloto 2 terminou a corrida duas posies frente do piloto de capacete
branco e duas depois do piloto de capacete laranja;
X. o piloto 7 terminou a corrida duas posies atrs do piloto 8.

Com base nessas informaes correto afirmar que

05. o piloto 1 ficou em stimo lugar nessa corrida.

06. o piloto de capacete laranja venceu a corrida.

07. o ltimo colocado nessa corrida foi o piloto de capacete azul.

08. o piloto 7 o de capacete preto.

09. o piloto 8 venceu o campeonato.

Trs bolas A, B e C foram pintadas: uma de vermelho, uma de preto e uma de azul,
no necessariamente nessa ordem. Leia atentamente as declaraes abaixo:
A azul
B no azul
C no preta

Sabendo-se que apenas uma das declaraes acima verdadeira, julgue os itens.

10. A bola A preta e a bola B azul.

11. A bola A no azul e a bola C no preta.

(CESPE) Marcos e Newton carregam fichas nas cores branca ou preta. Quando
Marcos carrega a ficha branca, ele fala somente a verdade, mas, quando
carrega a ficha preta, ele fala somente mentiras. Por outro lado, quando Newton
carrega a ficha branca, ele fala somente mentira, mas, quando carrega a ficha
preta, fala somente verdades. Cada um deles deu a seguinte declarao:
MARCOS: "Nossas fichas so iguais"
NEWTON: Nossas fichas so diferentes"
Com base nessas informaes, julgue os itens a seguir.

Raciocnio Lgico
12. Marcos e Newton carregam fichas brancas.

13. Marcos e Newton mentem.

(CESPE) Um lder criminoso foi morto por um de seus quatro asseclas: A, B, C e D.
Durante o interrogatrio, esses indivduos fizeram as seguintes declaraes.
A afirmou que C matou o lder.
B afirmou que D no matou o lder.
C disse que D estava jogando dardos com A quando o lder foi morto e, por
isso, no tiveram participao no crime.
D disse que C no matou o lder.
Considerando a situao hipottica apresentada acima e sabendo que trs dos
comparsas mentiram em suas declaraes, enquanto um deles falou a verdade,
julgue os itens seguintes.

14. A declarao de C no pode ser verdadeira.

15. D matou o lder.

(CESPE) Durante blitz de rotina, um agente de trnsito notou um veculo que havia
parado a distncia, no qual o condutor trocou de lugar com um dos passageiros.
Diante dessa situao, o agente resolveu parar o veculo para inspeo. Ao
observar o interior do veculo e constatar que havia uma garrafa de bebida no
console, indagou aos quatro ocupantes sobre quem teria bebido a cachaa e
obteve as seguintes respostas:
No fui eu, disse Andr, o motorista.
Foi o Carlos, disse Bruno.
Foi o Daniel, disse Carlos.
Bruno est mentindo, disse Daniel.
Considerando a situao hipottica acima, bem como o fato de que apenas um
dos ocupantes do veculo ingeriu bebida alcolica e que apenas um dos
ocupantes do carro estivesse mentindo, julgue o item subsequente.

16. correto afirmar que Daniel foi quem estava alcoolizado.

17. O nico mentiroso Bruno.

(CESPE) Considere que, em um pequeno grupo de pessoas G envolvidas em
um acidente, haja apenas dois tipos de indivduos: aqueles que sempre falam a
verdade e os que sempre mentem. Se, do conjunto G, o indivduo P afirmar que o
indivduo Q fala a verdade, e Q afirmar que P e ele so tipos opostos de indivduos,
ento, julgue os itens a seguir.

18. Nesse caso, correto concluir que P e Q mentem.

19. P e Q so indivduos do mesmo tipo.

Raciocnio Lgico
(CESPE) Sobre uma mesa tem-se trs caixas, uma redonda, uma quadrada e uma
triangular. Apenas uma das caixas contm um diamante. As outras duas contm
apenas algodo. Em cada caixa h uma inscrio. Na caixa redonda est escrito:
esta caixa contm um diamante. Na caixa quadrada est escrito: nesta caixa
no h um diamante. Por fim, na caixa triangular est escrito: a caixa redonda
contm um diamante. Sabendo-se que pelo menos uma das inscries
verdadeira e que, pelo menos, uma das inscries falsa.

Com base no texto, julgue os itens a seguir.

20. A inscrio da caixa redonda falsa.

21. O diamante est na caixa triangular.

22. A caixa triangular contm um algodo.

ILUSO DE TICA

Na figura a seguir, procure onde est a imagem do filho do casal.

R
E
S
P
O
S
T
A

O

f
i
l
h
o

d
o

c
a
s
a
l

u
m

b
e
b

e
m

p
o
s
i
o

f
e
t
a
l

q
u
e

p
o
d
e

s
e
r

v
i
s
t
o

n
a
s

l
i
n
h
a
s

d
e
l
i
m
i
t
a
d
a
s

p
e
l
o
s

g
a
l
h
o
s

d
a

r
v
o
r
e
,

r
o
c
h
a
s

e

c
h
o

o
n
d
e

e
l
e
s

e
s
t
o
.

Raciocnio Lgico

CAPTULO 2

DIAGRAMAS LGICOS

TEORIA DOS CONJUNTOS

Podemos dizer que um conjunto sem dvida um dos conceitos mais
bsicos da matemtica, sendo dessa forma o elemento principal da teoria dos
conjuntos.
Basicamente, um conjunto uma coleo de elementos, ou seja, dados
agrupados que no levam em conspirao a ordem. A relao bsica entre um
objeto e o conjunto a relao de pertinncia: quando um objeto x um dos
elementos de um conjunto A, podemos dizer que x pertence ao conjunto A.
Como veremos a segui, alm de relacionarmos elemento e conjunto,
tambm fundamental relacionar conjuntos entre si.

NOMENCLATURA BSICA
- conjunto vazio;
- smbolo de unio entre dois conjuntos;
- smbolo de interseco entre dois conjuntos;
- smbolo de pertinncia entre elemento e conjunto
- smbolo de incluso entre dois conjuntos;
" - para todo ou qualquer que seja;
$ - existe pelo menos um.
R - conjunto dos nmeros reais;
Q - conjunto dos nmeros racionais;
Z - conjunto dos nmeros inteiros;
N - conjunto dos nmeros naturais;

QUANTIFICADORES

So elementos que transformam as sentenas abertas em proposies.
Eles so utilizados para indicar a quantidade de valores que a varivel de
uma sentena precisa assumir para que esta sentena torne-se verdadeira ou
falsa e assim gere uma proposio.

TIPOS DE QUANTIFICADORES
a) Quantificador existencial:
Raciocnio Lgico
o quantificador que indica a necessidade de existir pelo menos um
elemento satisfazendo a proposio dada para que esta seja considerada
verdadeira.
indicado pelo smbolo $, que se l existe, existe um ou existe pelo
menos um.

EXEMPLO:
(p) $xR / x 3
(q) Existe dia em que no chove.

b) Quantificador universal:
o quantificador que indica a necessidade de termos todos os elementos
satisfazendo a proposio dada para que esta seja considerada verdadeira.
indicado pelo smbolo ", que se l para todo ou qualquer que seja.

EXEMPLO:
(m) "xR | x 5 (L-se: para todo x pertencente aos reais, tal que x maior
ou igual a 5)
(n) Qualquer que seja o dia, no chover.

UNIO ( )

Unio de dois conjuntos A e B o conjunto formado pelos elementos que
pertencem ao conjunto A, ou ao conjunto B ou a ambos.

INTERSEO ( )
Interseo de dois conjuntos A e B o conjunto formado pelos elementos que
pertencem ao mesmo tempo a ambos os conjuntos dados.

EX.: Pessoas que so atletas
(A) ou baianos (B)
(o ou no excludente,
portanto isso significa que o
conjunto unio abrange os
elementos que fazem parte de
pelo menos um dos conjuntos)
EX.: Pessoas que
so atletas (A) e so
baianos (B)
B

A

A B
A B
B

A

1
o
. A B = B A
2
o
A = A
3
o
A A = A
4
o
(A B) C = A (B C)
5
o
n(A B) = n(A) + n(B) n(A B)

LINK:
1
o
A B = B A
2
o
A =
3
o
A A = A
4
o
(A B) C = A (B C)
LINK:
Raciocnio Lgico

DIFERENA ( ) ou COMPLEMENTAR
Diferena entre os conjuntos A e B, nesta ordem, o conjunto formado pelos
elementos que pertencem a A, porm, no pertencem a B. O conjunto A B
tambm chamado de complementar de B e em A, pois o que falta para B
completar o conjunto A.

COMPLEMENTAR EM RELAO AO UNIVERSO
O complementar de A, o conjunto de todos os elementos do conjunto
universo que no pertencem ao conjunto A.

DIFERENA ENTRE UNIO E INTERSEO
A diferena o conjunto unio e o conjunto interseo de A e B, resulta nos
elemento que pertencem a somente um desses conjuntos, ou seja, pertencem
somente ao conjunto A, ou somente ao conjunto B.

EX.: Pessoas que so
atletas (A), mas no so
baianos (B)
A B
B

A

EX.: Pessoas que no
so atletas (A)
(Dentre todos os
envolvidos, podendo ser,
ou no, baianos)
EX.: Pessoas que ou so
atletas (A), ou so baianos
(B)
(O ou...ou excludente)
(AB) - (AB)
B

A

C
A
= A
B

A

Raciocnio Lgico

SENTENA
uma frase declarativa (afirmativa ou negativa), podendo ser classificada
como sentena aberta ou sentena fechada. Quando a sentena for fechada,
ganhar o nome de proposio.

SENTENA ABERTA: aquela frase declarativa na qual no possvel atribuir
valor lgico (V ou F), por no termos informaes suficientes para defini-la
como sendo verdadeira ou falsa.

EXEMPLO:
X um nmero par (Pode ser VERDADEIRO ou FALSO)
O irmo do meu irmo meu irmo (Pode ser VERDADEIRO ou FALSO)

SENTENA FECHADA: aquela frase declarativa que possvel atribuir a ela
um valor lgico (V ou F), pois temos informaes suficientes para defini-la
como sendo verdadeira ou falsa.

Observe como representar em trs diagramas, alguns
termos muito usados em provas:

LINK:
Raciocnio Lgico
EXEMPLO:
4 um nmero par (VERDADEIRO)
Pel jogou futebol no Flamengo (FALSO)
No Portugus existem vrios tipos de frases cuja entoao mais ou menos previsvel, de acordo com o
sentido que transmitem. Embora s nos interessem para o raciocnio lgico apenas as frases declarativas,
vale a pena distingui-las.

LINK:
DECLARATIVA
Esse tipo de frase informa ou declara alguma coisa,
podendo ser afirmativas ou negativas.
Fortaleza uma cidade grande. (AFIRMATIVA)
Salvador no a capital do Brasil. (NEGATIVA)

INTERROGATIVA
So aquelas que exprimem uma pergunta, podendo ser
divididas em direta ou indireta.
Quantos anos voc tem? (DIRETA)
Diga qual a sua idade. (INDIRETA)

EXCLAMATIVA
So frases que exprimem uma emoo, apresentando
entoao ligeiramente prolongada.
Que prova difcil! (ADMIRAO)
Voc aqui na cidade?! (SURPRESA)

IMPERATIVA
Contm uma ordem, um conselho ou faz um pedido,
utilizando o verbo no modo imperativo.
V estudar agora! (ORDEM)
Por favor, v estudar. (PEDIDO)

OPTATIVA
Essa classificao menos conhecida, ocorre quando se
exprime um bom desejo.
V com Deus!
Tenha um dia feliz.

IMPRECATIVA
Ainda menos conhecida que a optativa, esse tipo de
frase exprime um mau desejo.
Vai te lascar!
Eu quero mais que ela morra!

Raciocnio Lgico

PROPOSIO SIMPLES
uma sentena fechada, pois a ela pode ser atribudo um valor lgico:
verdadeiro (V) ou falso (F).

EXEMPLO:
A: Fortaleza a capital do Cear (VERDADE)
B: O Brasil um pas da Europa (FALSO)

EQUIVALNCIA
Duas proposies so ditas equivalentes, quando possuem sempre o
mesmo valor lgico, ou seja, dizemos que A equivale a B, no caso de A ser
verdade, B tambm verdade, assim como se A falso, B tambm falso. Alm
disso, temos que A implica em B e que B implica em A ao mesmo tempo.

EXEMPLO:
A: Joo culpado
B: Joo no inocente

NEGAO
Uma proposio a negao de outra, quando sempre possui valor lgico
contrrio, ou seja, dizemos que A negao de B, se A verdade, ento B falso
e se A falso, ento B verdade.

EXEMPLO:
AFIRMAES: NEGAES:
A: Fortaleza a capital do Cear (VERDADE) ~A: Fortaleza no a capital do
Cear (FALSO)
B: O Brasil um pas da Europa (FALSO) ~B: O Brasil no um pas da
Europa (VERDADE)

TAUTOLOGIA
Dizemos que uma proposio composta uma tautologia quando
inevitavelmente verdadeira, ou seja, quando tem sempre o valor lgico
verdadeiro independentemente dos valores lgicos das proposies simples
usadas na sua elaborao.

EXEMPLO:
Ou Daniel culpado, ou ele inocente (Obrigatoriamente VERDADEIRO)

CONTRADIO
Dizemos que uma proposio composta uma contradio quando
inevitavelmente falsa, ou seja, quando tem sempre o valor lgico falso
independentemente dos valores lgicos das proposies simples usadas na sua
elaborao.
Raciocnio Lgico

EXEMPLO:
Maria culpada, mas inocente (Obrigatoriamente FALSO)

CONTINGNCIA
Dizemos que uma proposio composta uma contingncia quando
depende do contingente de proposies simples para poder ser V ou F, ou seja, a
contingncia pode ter os valores lgico verdadeiro ou falso.

EXEMPLO:
Renato nasceu em Fortaleza ou nasceu em Natal (Pode ser VERDADEIRO ou
FALSO)

DIAGRAMAS LGICOS

Devemos representar proposies simples atravs de diagramas, sobretudo
aquelas que apresentam pronomes indefinidos, tais como: Nenhum, Algum ou
Todo.

NENHUM (~$)

No existe interseo entre os conjuntos. Por exemplo, ao dizer que nenhum A
B, garante-se que no existe um elemento de A que tambm esteja em B. Sendo
a recproca verdadeira, ou seja, nenhum B A.

CUIDADO!
Existe uma tnue diferena entre Algum e Nem
todos, por isso bom prestar ateno.

ALGUM
Significa que pelo menos um, mas pode at ser que
todos.

NEM TODOS
Significa que pelo menos um, mas no todos.

LINK:
Raciocnio Lgico
EX.:
A: Nenhum advogado bancrio

ALGUM ($)

Existe pelo menos um elemento na interseo entre os conjuntos, mas no
necessariamente todos. Por exemplo, ao dizer que algum A B, garante-se que
existe pelo menos um elemento de A que tambm esteja em B. Sendo a recproca
verdadeira, ou seja, algum B A.

EX.:
B: Algum advogado bancrio

TODO (")

Um dos conjuntos subconjunto do outro. Por exemplo, ao dizer que todo A B,
garante-se que se um elemento est em A, ento ele tambm est em B, mas no
necessariamente se est em B tambm estar em A.

EX.:
C: Todo advogado e bancrio

NEGAES:
~A: No verdade que nenhum advogado bancrio
~A: Existe pelo menos um advogado que bancrio
~A: Algum advogado bancrio
ADVOGADOS BANCRIOS

ADVOGADOS

BANCRIOS
BANCRIOS ADVOGADOS

EQUIVALNCIAS:
A: No existe advogado que seja bancrio
A: Todo advogado no bancrio
A: Se ele advogado, ento no bancrio
NEGAES:
~B: No verdade que algum advogado bancrio
~B: No existe um advogado que seja bancrio
~B: Nenhum advogado bancrio
EQUIVALNCIAS:
B: Pelo menos um advogado bancrio
B: Existe advogado que bancrio
B: H um advogado que seja bancrio
EQUIVALNCIAS:
C: Nenhum advogado no bancrio
C: No existe advogado que no seja bancrio
C: Se ele advogado, ento bancrio
Raciocnio Lgico

EXEMPLOS

01. Considere que os argumentos so verdadeiros:
Todo comilo gordinho;
Todo guloso comilo;
Com base nesses argumentos, correto afirmar que:
a) Todo gordinho guloso.
b) Todo comilo no guloso.
c) Pode existir gordinho que no guloso.
d) Existem gulosos que no so comiles.
e) Pode existir guloso que no gordinho.

SOLUO:
Do enunciado temos os conjuntos:

Portanto, podemos concluir que pode existir gordinho que no seja guloso.

02. (IPAD) Supondo que todos os cientistas so objetivos e que alguns filsofos
tambm o so, podemos logicamente concluir que:
a) no pode haver cientista filsofo.
b) algum filsofo cientista.
c) se algum filsofo cientista, ento ele objetivo.
d) alguns cientistas no so filsofos.
e) nenhum filsofo objetivo.

GULOSO
COMILO
GORDINHO
NEGAES:
~C: No verdade que todo advogado bancrio
~C: Existe pelo menos um advogado que no
bancrio
~C: Algum advogado no bancrio
Raciocnio Lgico
SOLUO:

Dadas as premissas:
A: todos os cientistas so objetivos
B: alguns filsofos so objetivos
Sejam
O Objetivos
C Cientistas
F Filsofos
Do enunciado, para satisfazer as premissas A e B, temos os seguintes diagramas
possveis:

Dessa forma, temos que se algum filsofo cientista ele fica de acordo com o 2
ou 3 diagrama, o que implica necessariamente que esse filsofo ser objetivo,
pois todo cientista objetivo.
Resposta: C

03. (IPAD) Supondo que cronpios e famas existem e que nem todos os cronpios
so famas, podemos concluir logicamente que:
a) nenhum cronpio fama.
b) no existe cronpio que seja fama.
c) todos os cronpios so famas.
d) nenhum fama cronpio.
e) algum cronpio no fama.

SOLUO:
Dada a premissa:
A: Nem todos os cronpios so famas
Sejam
C Cronpios
F Famas
Do enunciado, para satisfazer a premissa A, temos os seguintes diagramas
possveis:

O
C F
O
C F 1
o
2
o
3
o

O
F
C
C
F
1
o
2
o

C
F
Raciocnio Lgico

Podemos concluir que Se nem todo cronpio fama, ento necessariamente
existe pelo menos um cronpio que no fama.
Resposta: E

04. verdade que "Alguns A so R" e que "nenhum G R" ento necessariamente
verdade que:
a) Alguns A no G.
b) Algum A G.
c) Nenhum A G.
d) Algum G A.
e) Nenhum G A.

SOLUO:
Sabe-se que todos os A que tambm so R, no podem ser G, pois nenhum G R,
ento existem alguns A que nunca sero G.
Resposta: A

OBS.:
Os outros itens esto errados por que podem ser verdade ou no, dependendo de
como for o diagrama. Mas como no se pode garantir que G e A tm interseo
ou no, nada se pode afirmar.

05. Atravs de uma pesquisa, descobriu-se que nenhum politico honesto e que
alguns advogados so honestos. Dessa forma, aponte o nico item errado.
a) possvel que alguns politicos sejam advogados.
b) Alguns advogados no so politicos.
c) impossvel que algum advogado seja poltico.
d) H possibilidade de que nenhum politico seja advogado.
e) Pode ou no haver advogado poltico.

SOLUO:
Do enunciado temos os possveis diagramas, que satisfazem as condies
impostas:

Cuidado! No podemos afirmar que existe A que P, nem to pouco dizer que
no existe A que P. O fato que pode ou no existir A que seja P, ou seja,
podemos at afirmar que possvel existir um A que seja P, ou ainda, possvel
que no exista A que seja P. Ento, ser errado dizer que impossvel que um A
seja P.
P
A
H
1
o
2
o

P
A
H
Raciocnio Lgico
Resposta: C
CUIDADO!
Existe uma tnue diferena entre Algum e Nem todos, por
isso bom prestar ateno.

ALGUM
Significa que pelo menos um, mas pode at ser que todos.

NEM TODOS
Significa que pelo menos um, mas no todos.

LINK:
LINK:
CERTEZA
100% de chance de acontecer o fato.
PROVVEL
Possvel e com grande chance de acontecer.
POSSVEL
Existe alguma chance de acontecer, seja pequena, mdia ou
grande.
IMPROVVEL
Possvel, mas com pequena chance de acontecer.
IMPOSSVEL
0% de chance de acontecer o fato.
Raciocnio Lgico

EXERCCIOS

(CESPE) Na lgica sentencial, denomina-se proposio uma frase que pode ser
julgada como verdadeira (V) ou falsa (F), mas no, como ambas. Assim, frases
como Como est o tempo hoje? e Esta frase falsa no so proposies
porque a primeira pergunta e a segunda no pode ser nem V nem F. As
proposies so representadas simbolicamente por letras maisculas do alfabeto
A, B, C etc. Uma proposio da forma A ou B F se A e B forem F, caso
contrrio V; e uma proposio da forma Se A ento B F se A for V e B for F,
caso contrrio V. Um raciocnio lgico considerado correto formado por uma
sequncia de proposies tais que a ltima proposio verdadeira sempre que
as proposies anteriores na sequncia forem verdadeiras. Considerando as
informaes contidas no texto acima, julgue os itens subsequentes.

23. Nas sentenas abaixo, apenas A e D so proposies.
A: 12 menor que 6.
B: Para qual time voc torce?
C: x + 3 > 10.
D: Existe vida aps a morte.

24. Na lista de frases apresentadas a seguir, h exatamente pelo menos duas
proposies.
A frase dentro destas aspas uma mentira.
X+Y uma expresso positiva.
O valor de 2 + 3 = 7.
Que horas so?.
O inimigo do meu inimigo meu amigo.

25. A frase Joo e Maria so Advogados uma proposio simples.

26. Toda proposio lgica pode assumir no mnimo dois valores lgicos.

27. A negao da proposio Pedro mais novo que Carlos a proposio
Pedro mais velho que Carlos.

(CESPE) Proposies tambm so definidas por predicados que dependem de
variveis e, nesse caso, avaliar uma proposio como V ou F vai depender do
conjunto onde essas variveis assumem valores. Por exemplo, a proposio Todos
os advogados so homens, que pode ser simbolizada por ("x)(A(x) H(x)), em
que A(x) representa x advogado e H(x) representa x homem, ser V se x
pertencer a um conjunto de pessoas que torne a implicao V; caso contrrio,
ser F. Para expressar simbolicamente a proposio Algum advogado homem,
escreve-se ($x)(A(x) H(x)). Nesse caso, considerando que x pertena ao conjunto
de todas as pessoas do mundo, essa proposio V.
Na tabela abaixo, em que A e B simbolizam predicados, esto simbolizadas
algumas formas de proposies.
Raciocnio Lgico

A partir das informaes do texto, julgue os itens subsequentes.

28. A proposio Nenhum pavo misterioso est corretamente simbolizada por
($x)(P(x) M(x)), se P(x) representa x um pavo e M(x) representa x
misterioso.

29. Considerando que ("x)A(x) e ($x)A(x) so proposies, correto afirmar que a
proposio ("x)A(x) ($x)A(x) avaliada como V em qualquer conjunto em que
x assuma valores.

30. A proposio ("x) ((x > 0) (x + 2) par) V se x um nmero inteiro.

31. Podemos afirmar que a proposio ("x) ((x primo) (x termina em 1, 3, 7 ou
9)) V se x um nmero natural maior que 10.

(CESPE) Com relao lgica formal, julgue os itens subsequentes.

32. A negao da proposio Nenhum aluno policial a proposio Algum
aluno policial.

33. Se a afirmativa Todos os beija-flores voam rapidamente for considerada falsa,
ento a afirmativa Algum beija-flor no voa rapidamente tem de ser
considerada verdadeira.

34. A negao da proposio Algum turista argentino a proposio
Nenhum turista argentino.

35. A negao de Algum restaurante tem comida italiana a sentena
Nenhum restaurante italiano tem comida.

36. A negao de Nenhum pas da Amrica Latina independente a
sentena Todos os pases da Amrica Latina so independentes.

37. Se a afirmativa todas as janelas esto fechadas for considerada falsa, ento
a afirmativa pelo menos uma janela est aberta tem de ser considerada
verdadeira.

(CESPE) Com relao lgica argumentativa, julgue os itens subsequentes.

Raciocnio Lgico
38. Considere que as proposies Todo funcionrio pblico sabe lgica e Todo
policial funcionrio pblico so premissas de uma argumentao cuja
concluso Todo policial sabe lgica. Ento essa argumentao vlida.

39. Considere que as proposies Todo advogado sabe lgica e Todo
funcionrio do frum advogado so premissas de uma argumentao cuja
concluso Todo funcionrio do frum sabe lgica. Ento essa argumentao
vlida.

40. Considere que as proposies Todo A B e Algum B C so premissas de
uma argumentao cuja concluso Algum A C. Ento essa argumentao
vlida.

41. Supondo que Todo A B e que Nem todo C B, podemos logicamente
concluir que Algum A C.

42. Das premissas Nenhum A B e Algum C B, segue, necessariamente, que
Algum C A.

43. Considere uma argumentao em que duas premissas so da forma
1. Nenhum A B.
2. Todo C A.
e a concluso da forma Nenhum C B. Essa argumentao no pode ser
considerada vlida.

(CESPE) Um argumento constitudo por uma sequncia de trs proposies P1,
P2 e P3, em que P1 e P2 so as premissas e P3 a concluso considerado
vlido se, a partir das premissas P1 e P2, assumidas como verdadeiras, obtm-se a
concluso P3, tambm verdadeira por consequncia lgica das premissas. A
respeito das
formas vlidas de argumentos, julgue os prximos itens.

44. Considere a seguinte sequncia de proposies:
P1 Existem policiais que so mdicos.
P2 Nenhum policial infalvel.
P3 Nenhum mdico infalvel.
Nessas condies, correto concluir que o argumento de premissas P1 e P2 e
concluso P3 vlido.

45. Se as premissas P1 e P2 de um argumento forem dadas, respectivamente, por
Todos os lees so pardos e Existem gatos que so pardos, e a sua concluso
P3 for dada por Existem gatos que so lees, ento essa sequncia de
proposies constituir um argumento vlido.

Raciocnio Lgico

VISO ALM DO ALCANCE
Consegue achar 10 faces nesta rvore?

CAPTULO 3

LGICA PROPOSICIONAL

INTRODUO

A Lgica Matemtica, em sntese, pode ser considerada como a cincia do
raciocnio e da demonstrao. Este importante ramo da Matemtica
desenvolveu-se no sculo XIX, sobretudo atravs das idias de George Boole,
matemtico ingls (1815 - 1864), criador da lgebra Booleana, que utiliza smbolos
e operaes algbricas para representar proposies e suas inter-relaes. As
idias de Boole tornaram-se a base da Lgica Simblica, cuja aplicao estende-
se por alguns ramos da eletricidade, da computao e da eletrnica.

LGICA MATEMTICA

A lgica matemtica (ou lgica simblica), trata do estudo das sentenas
declarativas tambm conhecidas como proposies, as quais devem satisfazer
aos dois princpios fundamentais seguintes:

PRINCPIO DO TERCEIRO EXCLUDO: uma proposio s pode ser verdadeira ou
falsa, no havendo alternativa.
PRINCPIO DA NO CONTRADIO: uma proposio no pode ser ao mesmo
tempo verdadeira e falsa.
Raciocnio Lgico

Diz-se ento que uma proposio verdadeira possui valor lgico V (verdade)
e uma proposio falsa possui valor lgico F (falso). Os valores lgicos tambm
costumam ser representados por 0 (zero) para proposies falsas ( 0 ou F) e 1 (um)
para proposies verdadeiras ( 1 ou V ).
As proposies so geralmente, mas no obrigatoriamente, representadas
por letras maisculas.
De acordo com as consideraes acima, expresses do tipo, "O dia est
bonito!", Que horas so?, x um nmero par e x + 2 = 7, no so proposies
lgicas, uma vez que no poderemos associar a ela um valor lgico definido
(verdadeiro ou falso).
Exemplificamos a seguir algumas proposies, onde escreveremos ao lado
de cada uma delas, o seu valor lgico V ou F. Poderia ser tambm 1 ou 0.
A: "Fortaleza a capital do Cear (V)
B: O Brasil um pas da Europa (F)
C: "3 + 5 = 2" (F)
D: "7 + 5 = 12" (V)
E: "O Sol um planeta" (F)
F: "Um pentgono um polgono de dez lados" (F)

SENTENA ABERTA: No pode ser atribudo um valor lgico
EX.:
X um nmero par # Pode ser Verdadeiro (V) ou Falso (F), no se pode
afirmar.

SENTENA FECHADA: Pode ser atribudo um valor lgico V ou F.
EX.:
O professor Pedro Evaristo ensina Matemtica # Sentena Verdadeira (V)
A soma 2 + 2 igual a 5 # Sentena Falsa (F)

SMBOLOS UTILIZADOS NA LGICA (CONECTIVOS E QUALIFICADORES)

CONECTIVOS E QUALIFICADORES
NO
E
OU
OU ... OU
SE ... ENTO
SE E SOMENTE SE
TAL QUE
IMPLICA
EQUIVALENTE
Raciocnio Lgico
EXISTE
NO EXISTE
EXISTE UM E SOMENTE
UM
QUALQUER QUE SEJA

O MODIFICADOR NEGAO

Dada a proposio p, indicaremos a sua negao por ~p ou p. (L-se "no p" ).

EXEMPLOS:
p: 2 pontos distintos determinam uma nica reta (V)
~p: 2 pontos distintos no determinam uma nica reta (F)

q: Joo magro
~q: Joo no magro
~q: No verdade que Joo magro

s: Fernando honesto
s: Fernando no honesto
s: No verdade que Fernando honesto
s: Fernando desonesto

OBS.:
Duas negaes equivalem a uma afirmao, ou seja, em termos simblicos: ~(~p)
= p.

p: Diego dirige bem
~p: Diego no dirige bem
~(~p): No verdade que Diego no dirige bem
LINK:
IMPORTANTE:
Afirmao e negao sempre
possuem valores lgicos
contrrios!

Se A V, ento ~A F

Se A F, ento ~A V

A ~A

V F

F V
Raciocnio Lgico

ESTRUTURAS E OPERAES LGICAS

As proposies lgicas podem ser combinadas atravs dos operadores
lgicos , , e , dando origem ao que conhecemos como proposies
compostas. Assim, sendo p e q duas proposies simples, poderemos ento formar
as seguintes proposies compostas: , , , .
Estas proposies compostas recebem designaes particulares, conforme
veremos a seguir:

CONJUNO:
-se "p e q" )
DISJUNO NO EXCLUDENTE:
-se "p ou q")
DISJUNO EXCLUDENTE:
p -se "ou p, ou q")
CONDICIONAL:
-se "se p ento q")
BI-CONDICIONAL:
-se "p se e somente se q")

Conhecendo-se os valores lgicos de duas proposies simples p e q, como
determinaremos os valores lgicos das proposies compostas acima? Isto
conseguido atravs do uso da tabela a seguir, tambm conhecida pelo sugestivo
nome de TABELA VERDADE.

TABELA VERDADE

A tabela verdade mostra o valor lgico de proposies compostas, com base em
todas as possveis combinaes dos valores lgicos para as proposies simples
que a formam. Ou seja, devemos julgar a veracidade (ou no) da proposio
composta, mediante todas combinaes de V e F das proposies simples
envolvidas.
O nmero de linhas da tabela verdade depende do nmero de
proposies, como cada proposio simples pode assumir duas possveis
valoraes (V ou F), temos ento:

LINK:
FRMULA
n
o
de linhas da tabela = 2
(n de proposies simples)

Raciocnio Lgico

CONJUNO (E)

A conjuno s ser verdadeira em apenas um caso, se a premissa A for
verdadeira e a premissa B tambm for verdadeira, ou seja, caso uma delas seja
falsa a conjuno toda torna-se falsa.

EXEMPLO:
Analise a afirmao: Pedro vai Argentina e Bolvia.
A: Pedro vai Argentina
B: Pedro vai Bolvia

TABELA VERDADE
A B A B
V V V
V F F
F V F
F F F

CONCLUSES:
S existe uma possibilidade de essa proposio composta ser verdadeira,
que no caso de Pedro realmente ir aos dois pases.

Observe que a afirmao falsa, se pelo menos uma das premissas forem falsas.

A B (l-se Premissa A e premissa B)
LINK:
A B
Premissa A e premissa B

Raciocnio Lgico
DISJUNO NO-EXCLUDENTE (OU)

PREMISSAS NO EXCLUDENTES: so aquelas que podem ocorrer
simultaneamente. Portanto, nesse caso o ou significa dizer que pelo menos
uma das premissas dever ser verdadeira. Nesse caso o ou significa que pelo
menos uma das premissas verdadeira.

EXEMPLO:
Analise a afirmao: Pedro vai Argentina ou Bolvia.
A: Pedro vai Argentina
B: Pedro vai Bolvia

TABELA VERDADE
A B A B
V V V
V F V
F V V
F F F

CONCLUSES:
Sabendo que Pedro foi Argentina, conclui-se que ele pode ter ido ou no
Bolvia.
Sabendo que ele no foi Argentina, conclui-se que certamente foi
Bolvia.
Sabendo que ele foi Bolvia, conclui-se que ele pode ter ido ou no
Argentina.
Sabendo que ele no foi Bolvia, conclui-se que certamente foi
Argentina.

Observe que, nesse caso, o ou significa que Pedro vai a pelo menos um desses
lugares (nada impede que ele v aos dois pases).

A B (l-se Premissa A ou premissa B)
Raciocnio Lgico

DISJUNO EXCLUDENTE (OU...OU)

Quando estamos trabalhando com disjunes, devemos analisar inicialmente se
as premissas so excludentes ou no excludentes.

PREMISSAS EXCLUDENTES: so aquelas que no podem ocorrer
simultaneamente. Portanto, nesse caso o ou significa dizer que exatamente
uma das premissas dever ser verdadeira. Caso seja usado ou...ou, devemos
entender que se trata de disjuno excludente.

EXEMPLO:
Analise a afirmao: Felipe nasceu ou em Fortaleza, ou em So Paulo.
A:Felipe nasceu em Fortaleza
B:Felipe nasceu em So Paulo

LINK:
A v B
Premissa A ou premissa B

A B (l-se Ou premissa A, ou premissa B)
Raciocnio Lgico
TABELA VERDADE

A B A B
V V F
V F V
F V V
F F F

CONCLUSES:
Sabendo que ele nasceu em Fortaleza, conclui-se que no nasceu em So
Paulo.
Sabendo que ele no nasceu em Fortaleza, conclui-se que nasceu em So
Paulo.
Sabendo que ele nasceu em So Paulo, conclui-se que no nasceu em
Fortaleza.
Sabendo que ele no nasceu em So Paulo, conclui-se que nasceu em
Fortaleza.
Observe que na tabela verdade falso o caso de A e B serem verdade ao mesmo
tempo, pois fica claro que ningum pode nascer em dois lugares ao mesmo
tempo. Ento, a afirmao s ser verdadeira, se exatamente um das duas
premissas for verdadeira.

LINK:
A v B
Ou premissa A, ou premissa B
(Premissas excludentes)

Raciocnio Lgico

CONDICIONAL (SE ... ENTO)

Essa condio deixa clara que se a premissa A for verdadeira, ento a premissa B
ser necessariamente verdadeira tambm, mas a recproca no vlida, ou seja,
mesmo que A seja falsa nada impede que B seja verdadeira.

EXEMPLO:
Analise a afirmao: Se Pedro receber dinheiro na sexta-feira ento ir praia no
fim de semana.
A:Pedro recebe dinheiro na sexta-feira
B:Pedro vai praia no fim de semana

TABELA VERDADE
A B A B
V V V
V F F
F V V
F F V

CONCLUSES:
Sabendo que Pedro recebeu dinheiro, conclui-se que necessariamente ele
foi praia.
Sabendo que Pedro no recebeu dinheiro, ento ele pode ter ido ou no
praia.
Sabendo que Pedro foi praia, ento ele pode ter recebido ou no o
dinheiro.
Sabendo que Pedro no foi praia, conclui-se que ele necessariamente
no recebeu o dinheiro.

Observe que a afirmao s ser falsa, se Pedro receber o dinheiro e mesmo assim
no for praia.

A B (l-se Se premissa A, ento premissa B)
Raciocnio Lgico

BI-CONDICIONAL (SE E SOMENTE SE)

Nessas condies, fica claro que a premissa A s ser verdadeira no caso da
premissa B tambm ser. Fica ainda implcito que a recproca vlida, ou seja, a
premissa B tambm s ser verdadeira no caso da premissa A tambm ser.

EXEMPLO:
Analise a afirmao: Pedro ir praia no fim de semana, se e somente se ele
receber dinheiro na sexta-feira.
A:Pedro recebe dinheiro na sexta-feira
B:Pedro vai praia no fim de semana

TABELA VERDADE
A B A B
V V V
F V F
F F V
V F F

LINK:
A B
Se premissa A, ento premissa B

Do quadro acima podemos concluir que A B
equivalente a
~B ~A
Se no for verdadeira a premissa B, ento no
ser verdadeira a premissa A
A B (l-se Premissa A, se e somente se a premissa B)
Raciocnio Lgico
CONCLUSES:
Sabendo que Pedro recebeu dinheiro, conclui-se que certamente foi
praia.
Sabendo que Pedro no recebeu dinheiro, conclui-se que ele no foi
praia.
Sabendo que Pedro foi praia, conclui-se que porque ele recebeu o
dinheiro.
Sabendo que Pedro no foi praia, conclui-se que certamente ele no
recebeu o dinheiro.
Observe que a afirmao s ser verdadeira, se as duas premissas tiverem o
mesmo valor lgico.

LINK:
A B
Premissa A, se e somente se Premissa B

Do quadro acima podemos concluir que A B
equivalente a
~A ~B
Premissa ~A, se e somente se Premissa ~B

OBS.:
A condio necessria e suficiente para que B
ocorra
B condio necessria e suficiente para que A
ocorra

Raciocnio Lgico

NECESSRIO x SUFICIENTE

CONDIO SUFICIENTE: condio mxima que deve ser atendida (basta que A
ocorra para B ocorrer)

CONDIO NECESSRIA: condio mnima que deve ser atendida (caso B no
ocorra, A no ocorre)

Para um condicional (A B), temos:
A condio suficiente para que B ocorra
B condio necessria para que A ocorra
~B condio suficiente para que ~A ocorra
~A condio necessria para que ~B ocorra

RESUMINDO:
Quem est do lado esquerdo do condicional sempre condio suficiente para
quem fica do lado direito.

Quem est do lado direito do condicional sempre condio necessria para
quem fica do lado esquerdo.

OBSERVAO:
No caso do bi-condicional, sabemos que A implica em B e, ao mesmo tempo, B
implica em A, logo tanto A quanto B funcionam simultaneamente como condio
necessria e suficiente.
A B ~B ~A
A SUFIENTE para
B
~B SUFIENTE para
~A
A B ~B ~A
B NECESSRIO para
A
~A NECESSRIO para
~B
Raciocnio Lgico

TABELA VERDADE

Podemos resumir em uma nica tabela verdade todos os conectivos vistos. Dadas
as proposies simples A e B, cujos valores lgicos representaremos por (F) quando
falsa e (V) quando verdadeira, temos a tabela simplificada:

TABELA VERDADE

Da tabela acima, infere-se (deduz-se) que:
a conjuno verdadeira somente quando ambas as proposies so
verdadeiras.
a disjuno falsa somente quando ambas as proposies so falsas.
a condicional falsa somente quando a primeira proposio verdadeira e
a segunda falsa.
a bi-condicional verdadeira somente quando as proposies possuem
valores lgicos iguais.

EQUIVALNCIAS

Duas proposies so equivalentes quando possuem os mesmos valores
lgicos na tabela verdade, ou ainda, quando podem substituir uma outra sem
perda do sentido lgico. Na tabela ao lado, quando A verdade (V) temos que B
tambm verdade (V) e quando A falso (F) temos que B tambm falso (F),
logo A e B so equivalentes.
O importante nesse caso no confundir implicao com equivalncia. Por
exemplo, dizer que A:Joo rico implica em dizer que B:Joo no pobre, no
entanto, dizer B:Joo no pobre no implica em dizer que A:Joo rico,
portanto A e B no so equivalentes, mas podemos afirmar que A implica em B (A
B). Por outro lado, se P:Joo honesto ento implica que Q:Joo no
A B A
B
A
B

V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
A B
A NECESSRIO e
SUFICIENTE para B
A SUFICIENTE
para B
(A B) (B A)
A NECESSRIO
para B
Raciocnio Lgico
desonesto e de forma recproca se Q:Joo no desonesto ento implica que
P:Joo honesto, portanto nesse caso P e Q so equivalentes pois uma
proposio implica na outra (P Q).
Observe das principais equivalncias para proposies compostas:

A B = ~B ~A

EXEMPLOS:
A P: Se Joo est armado, ento ser preso.
~P ~A: Se Joo no foi preso, ento ele no est armado

R V: Se Pedro receber dinheiro, ento ele viaja
~V ~R: Se Pedro no viajou, ento ele no recebeu dinheiro

~S C: Caso no faa sol, ficarei em casa
~C S: Caso no fique em casa, fez sol

LINK:
EQUIVALNCIAS:
Algumas formas equivalentes de escrever uma
proposio composta condicional.

S P
Se fizer sol ento vou praia
Se fizer sol, vou praia
Fazer sol implica em ir praia
Fazendo sol, vou praia
Quando fizer sol, vou praia
Sempre que faz sol, vou praia
Toda vez que faz sol, vou praia
Caso faa sol, irei praia
Irei praia, caso faa sol
Fazer sol condio suficiente para que eu v praia
Ir praia condio necessria para ter feito sol

S P ~P ~S
Se no for praia ento no fez sol
No ir praia condio suficiente para no ter feito
sol
No fazer sol condio necessria para no ir praia
Raciocnio Lgico

A B = ~A B

EXEMPLOS:
A P: Se Joo est armado, ento ser preso.
~A P: Joo no est armado ou ser preso

S C: Faz sol ou fico em casa

A B = B A = (A B) (B A)

EXEMPLOS:
S P: Se e somente se fizer sol, ento irei praia
P S: Se e somente se for praia, ento fez sol
(S P)(P S): Se fizer sol, irei praia e se for a praia, fez sol

V R: Viajo se e somente se receber dinheiro
(R V)(V R): Se receber dinheiro, viajo e se viajar, recebi

P E: Passo se e somente se estudar
(P E)(E P): Se passar, estudei e se estudei, passei

A B = (A B) (~A ~B)

EXEMPLOS:
V R: Viajo se e somente se receber dinheiro
(R V)(~R ~V): Ou recebo dinheiro e viajo, ou no recebo e no viajo

P E: Passo se e somente se estudar
(E P)(~E ~P): Ou estudo e passo, ou no estudo e no passo

NEGAES (~) ou ()

A negao de uma proposio (A) outra proposio (~A) que possui
sempre valor lgico contrrio, ou seja, sempre que A for verdadeiro ento ~A
falso e quando A for falso ento ~A verdadeiro. Observe na tabela ao
lado que as proposies A e B possuem sempre valores lgicos contrrios, pois
Raciocnio Lgico
sempre que A verdade (V) temos que B ser falso (F) e quando A falso (F)
temos que B ser verdadeiro (V), logo A a negao de B.
comum o aluno confundir antnimo com negao! Mas cuidado, so
coisas diferentes. Por exemplo, rico e pobre so antnimos, mas Joo
pobre no a negao de Joo rico, afinal se Joo no for rico no quer
dizer que seja pobre, quer dizer apenas que Joo no rico. Mas existe caso em
que o antnimo a negao, tais como: culpado e inocente, honesto e
desonesto, vivo e morto, dentre outros.

EXEMPLOS DE NEGAES
A: Aline bonita ~A: Aline no bonita
(o fato dela no ser bonita no significa que ela feia)

B: Kleyton alto ~B: Kleyton no alto
(o fato dele no ser alto no significa que ele baixo)

C: Daniel magro ~C: Daniel no magro
(o fato dele no ser magro no significa que ele gordo)

E: Carol foi aprovada ~D: Carol foi reprovada
(nesse caso, reprovado significa no aprovado)

F: Lia culpada ~F: Lia inocente
(nesse caso, inocente significa no culpado)

LEIS DE AUGUSTUS DE MORGAN
Todas as propriedades a seguir podem ser verificadas com a construo das
tabelas verdades.

A conjuno s verdade se as duas proposies forem verdades, portanto se
no verdade B) por que pelo menos uma das proposies falsa (no
precisa que as duas sejam falsas).

TABELA VERDADE
A B ~A ~B
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V

Raciocnio Lgico
EXEMPLO:
Qual a negao da proposio "Carol estuda e aprende"?
A negao "Carol no estuda ou no aprende".

EXEMPLO:
Qual a equivalncia de No verdade que Ribamar cearense e bancrio?
Equivale a Ribamar no cearense ou no bancrio.

A disjuno no-excludente verdade se pelo menos uma das duas proposies
for verdadeira, portanto se no verdade por que as proposies tm
que ser falsas.

TABELA VERDADE
A B A B ~A ~B ~A ~B
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V

EXEMPLO:
Qual a negao da proposio "O Brasil um pas ou a Bahia um estado"?
A negao "O Brasil no um pas e a Bahia no um estado".

EXEMPLO:
Qual a equivalncia de No verdade que Roslia foi praia ou ao cinema?
Equivale a Roslia no foi praia e no foi ao cinema

~(A

O condicional s falso se A for verdade e que B for falso, portanto se no
verdade por que as proposies A e ~B tm que ser verdadeiras.

Raciocnio Lgico
TABELA VERDADE
A B A B A ~B A ~B
V V V F V F F
V F F V V V V
F V V F F F F
F F V F F V F

EXEMPLO:
Qual a negao da proposio: "Se Maria estuda ento aprende"?
A negao procurada : "Maria estuda e no aprende"

EXEMPLO:
Qual a equivalncia de No verdade que se Milena receber dinheiro ento
viajar?
Equivale a Milena recebe dinheiro e no viaja.

EQUIVALNCIAS
A B = (A B) v (~A
~B)
A B = (A B) (B
A)
A B = B A
A B = ~B ~A
A B = ~(A ~B) = ~A
v B
A = ~(~A)

NEGAES
~(A B) = ~A v ~B
~(A v B) = ~A ~B
~(A v B) = (A B) v (~A
~B)
~(A v B) = A B
~(A B) = A v B
~(A B) = A ~B
LINK:
LINK:
Raciocnio Lgico
TAUTOLOGIA
Como vimos anteriormente, uma proposio composta uma tautologia
quando inevitavelmente verdadeira. Para provar que essa proposio uma
tautologia podemos usar dois mtodos:

construir uma tabela verdade verificando que tal proposio sempre
verdade (V) para todas as combinaes de V e F das proposies simples
usadas na sua elaborao;
tentar atribuir valores lgicos (V e F) para forar que a proposio composta
se torne falsa (F), caso isso no seja possvel deduz-se que uma tautologia
e portanto inevitavelmente verdadeira (V).

EXEMPLO:
P ~P: Joo honesto ou desonesto
(Obrigatoriamente VERDADEIRA)

CONTRADIO
Uma proposio composta uma contradio quando inevitavelmente
falsa. Para provar que essa proposio uma contradio podemos usar dois
mtodos:

construir uma tabela verdade verificando que tal proposio sempre falsa
(F) para todas as combinaes de V e F das proposies simples usadas na
sua elaborao;
tentar atribuir valores lgicos (V e F) para forar que a proposio composta
se torne verdadeira (V), caso isso no seja possvel deduz-se que uma
contradio e portanto inevitavelmente falsa (F).

EXEMPLO:
Q ~Q: Maria culpada, mas inocente
(Obrigatoriamente FALSO)

CONTINGNCIA
Uma proposio composta uma contingncia quando depende do
contingente de proposies simples usadas na sua elaborao, para poder ser V
ou F.

EXEMPLO:
A B: Joo rico e Maria bonita
(Dependendo da outras proposies pode ser VERDADE ou FALSO)

Raciocnio Lgico
EXEMPLO

01. Dadas s proposies simples:
A: Sophia arquiteta
B: Sophia gosta de viajar
C: Sophia feliz
Traduza para a linguagem natural s proposies dadas a seguir, de acordo com
a simbologia.

a) ~A: Sophia no arquiteta

b) ~(~A): No verdade que Sophia no arquiteta

c) ~B: Sophia no gosta de viajar

d) A B: Sophia arquiteta e gosta de viajar

e) A B: Sophia arquiteta ou gosta de viajar

f) A B: Ou Sophia arquiteta, ou Sophia gosta de viajar

g) ~A B: Sophia no arquiteta ou gosta de viajar

h) A ~B: Sophia arquiteta ou no gosta de viajar

i) ~(A B): No verdade que Sophia arquiteta ou gosta de viajar

j) A B: Se Sophia arquiteta ento gosta de viajar

k) A B: Se e somente se Sophia arquiteta ento gosta de viajar

l) ~A B: Se Sophia no arquiteta ento gosta de viajar

m) ~(A B): No verdade que se Sophia arquiteta, gosta de viajar

n) (A B) C: Se Sophia arquiteta e gosta de viajar, ento feliz

o) A (B C): Se Sophia arquiteta, ento gosta de viajar e feliz

p) ~A (B C): Se Sophia no arquiteta, gosta de viajar ou feliz

02. Dadas s proposies simples:
A: Daniel rico
B: Daniel honesto
Passe da linguagem natural para a linguagem simblica, s proposies
compostas dadas a seguir.
Raciocnio Lgico

a) Daniel rico, mas honesto: A B

b) Daniel no rico, mas honesto: ~A B

c) Daniel rico, mas desonesto: A ~B

d) No verdade que Daniel rico e honesto: ~(A B)

e) Daniel rico ou honesto: A B

f) Daniel no rico ou honesto: ~A B

g) No verdade que Daniel rico ou honesto: ~(A B)

h) Se Daniel rico, ento ele honesto: A B

i) Se Daniel rico, ento ele desonesto: A ~B

j) Se Daniel no rico, ento ele honesto: ~A B

k) No verdade que se Daniel rico, ento ele honesto: ~(AB)

l) Daniel rico se e somente se ele honesto: A B

03. Dadas das proposies simples A: Felipe piloto e B: Diego tenista,
responda as questes a seguir.

TABELA VERDADE
A B A A B A B A B A B
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

a) Qual uma proposio equivalente a AB: Se Felipe piloto, ento Diego
tenista?

RESPOSTA:
Existem vrias formas de equivalncia, dentre ela a mais usada
~B~A: Se Diego no tenista, ento Felipe no piloto
Mas tambm pode ser dada por
AB: Felipe ser piloto condio suficiente para Diego ser tenista
Ou ainda
AB: Diego ser tenista condio necessria para Felipe ser piloto
Raciocnio Lgico

b) Qual uma possvel negao de AB: Se Felipe piloto, ento Diego
tenista?

RESPOSTA:
Uma possibilidade
~(AB): No verdade que se Felipe piloto, ento Diego tenista
Ou seja, como no verdade, temos que
A~B: Felipe piloto, mas Diego no tenista

c) Qual a negao de AB: Felipe piloto e Diego tenista?

RESPOSTA:
A negao pode ser dada por
~(AB): No verdade que Felipe piloto e Diego tenista
Ou ainda
(~A~B): Felipe no piloto ou Diego no tenista

d) Qual a negao de AB: Felipe piloto ou Diego tenista?

RESPOSTA:
~(AB): No verdade que Felipe piloto ou Diego tenista
Logo
(~A~B): Felipe no piloto e Diego no tenista
Ou ainda
(~A~B): Nem Felipe piloto, nem Diego tenista

e) Qual a negao de AB: Ou Felipe piloto, ou Diego tenista?

RESPOSTA:
~(AB): No verdade que ou Felipe piloto, ou Diego tenista
Logo, para que AB no seja verdade, temos que:
(AB)(~A~B): Ou Felipe piloto e Diego tenista, ou Felipe no piloto e
Diego no tenista

f) Qual a negao de AB: Felipe piloto, se e somente se Diego tenista?

RESPOSTA:
Lembre-se que o bi-condicional s verdade quando as duas proposies forem
verdade ou as duas forem falsas.
(AB)(~A~B): Ou Felipe piloto e Diego tenista, ou Felipe no piloto e
Diego no tenista
Logo, para que AB no seja verdade, temos que:
Raciocnio Lgico
~(AB) = (AB): Ou Felipe piloto, ou Diego tenista

04. Aponte a negao da proposio Ribamar advogado ou inocente.
a) Ribamar advogado e inocente
b) No verdade que Ribamar advogado e inocente
c) Ribamar no advogado e culpado
d) Ribamar no advogado ou culpado

SOLUO:
Sendo AB: Ribamar advogado ou inocente, ento sua negao pode ser
dada por ~(AB): No verdade que Ribamar advogado ou inocente, ou
ainda por ~A~B: Ribamar no advogado e culpado. (lembre-se que na
disjuno ou pelo menos uma das proposies tem que ser verdadeira)

05. (FJPF) Todos acreditam que: Co que late, no morde. Considerando
verdadeira essa afirmao, ento pode-se concluir que:
a) Um co pode latir e mesmo assim me morder.
b) Se um co no latir ir morder.
c) Se um co no morder por que ele latiu.
d) Se um animal latir e morder, ele no um co.
e) Todos os animais que no mordem so ces.

SOLUO:
Sabe-se que todo co que late, no morde, ento se um animal latir e mesmo
assim morder, esse animal no pode ser um co, pois se um co latir, no ir
morder.
OBS.: O fato que tendemos a pensar que apenas o co capaz de latir, mas o
animal em questo pode ser, por exemplo, uma pessoa imitando um co e a
mordida pode ser de brincadeira. Se atenha a estrutura lgica e no ao enredo
da histria.

06. Aponte o item abaixo que mostra a negao de Nvia viaja para Paraba ou
compra uma geladeira.
a) No verdade que Nvia viaja para Paraba e compra uma geladeira
b) Nvia no viaja para Paraba ou no compra uma geladeira
c) Nvia no viaja para Paraba e no compra uma geladeira
d) Nvia viaja para Paraba e compra uma geladeira
e) Nvia no viaja para Paraba e compra uma geladeira

SOLUO:
Sabemos que a negao de A B
~(A B) = ~A ~B

Portanto, as possveis negaes para Nvia viaja para Paraba ou compra uma
geladeira, so
Raciocnio Lgico
~(A B): No verdade que Nvia viaja para Paraba ou compra uma
geladeira
Ou ento
~A ~B: Nvia no viaja para Paraba e no compra uma geladeira

07. Dada a proposio Jogarei futebol no domingo, caso compre uma bola,
ento julgue os itens e aponte o ERRADO.
a) Comprar condio suficiente para eu jogar.
b) Jogar condio necessria para que eu tenha comprado.
c) No comprar condio necessria para eu no jogue.
d) No jogar condio necessria para que eu no tenha comprado.
e) Comprar condio necessria e suficiente para eu jogar.

SOLUO:
Cuidado com oraes invertidas, elas costumam confundir.
A proposio Jogarei futebol no domingo, caso compre uma bola equivale a
proposio:
C J: Se eu comprar uma bola, ento jogarei futebol no domingo
Portanto, podemos afirmar que:
Comprar uma bola condio suficiente para eu jogar futebol no domingo.
Jogar futebol no domingo condio necessria para que eu tenha
comprado uma bola.
Como essa proposio tambm equivalente a
~J ~C: Se eu no jogar futebol no domingo, ento no comprei uma
bola, temos:
No comprar uma bola condio necessria para eu no jogue futebol
no domingo.
No jogar futebol no domingo condio suficiente para que eu no tenha
comprado uma bola.
Dessa forma, temos que o nico item incorreto o item E.

08. Sabendo que Chover em Guaramiranga condio suficiente para fazer frio,
podemos logicamente concluir que a nica afirmao falsa :
a) Se chover em Guaramiranga ento far frio.
b) Se no fizer frio em Guaramiranga por que no choveu.
c) choveu em Guaramiranga e no fez frio.
d) Sempre que chove em Guaramiranga, faz frio.
e) Faz frio em Guaramiranga condio necessria para chover.

SOLUO:
A B : Se chover em Guaramiranga ento faz frio
Portanto, sua negao ser
~(A B) = A ~B
Ou ainda
~(A B): No verdade que se chover em Guaramiranga ento faz frio
Que por sua vez equivale a
A ~B: Choveu em Guaramiranga e no fez frio
Raciocnio Lgico

09. Sabendo que Sempre que um parlamentar bom um bom poltico, ele
honesto e Se um parlamentar honesto, ele um bom poltico. Ento, de
acordo com essas afirmaes, podemos dizer que:
a) Os polticos so sempre honestos
b) Toda pessoa honesta poltico
c) Se e somente se um parlamentar for honesto, ser um bom poltico.
d) Todo parlamentar bom poltico e honesto
e) Se e somente se uma pessoa for honesta, ser um parlamentar.

SOLUO:
Observe a equivalncia a seguir
(A B) (B A) = A B
A situao dada bi-condicional, logo
Se somente se um parlamentar for honesto, ser um bom poltico

10. (FCC) Do ponto de vista lgico, se for verdadeira a proposio condicional se
eu ganhar na loteria, ento comprarei uma casa, necessariamente ser
verdadeira a proposio:
a) se eu no ganhar na loteria, ento no comprarei uma casa.
b) se eu no comprar uma casa, ento no ganhei na loteria.
c) se eu comprar uma casa, ento terei ganho na loteria;
d) s comprarei uma casa se ganhar na loteria.
e) s ganharei na loteria quando decidir comprar uma casa.

SOLUO:
Dada a equivalncia A B = ~B ~A, ento:
Se ganhar ento compro Se no comprar ento no ganhei

11. (ESAF) A afirmao: Joo no chegou ou Maria est atrasada equivale
logicamente a:
a) Se Joo no chegou, Maria est atrasada.
b) Joo chegou e Maria no est atrasada.
c) Se Joo chegou, Maria no est atrasada.
d) Se Joo chegou, Maria est atrasada.
e) Joo chegou ou Maria no est atrasada.

SOLUO:
Antes de resolvermos, de fundamental importncia saber as seguintes
equivalncias:
Sabemos que a negao de AB dada por
~(AB) = A ~B
Logo, temos a equivalncia:
AB = ~(A ~B)
Ou seja,
Raciocnio Lgico
AB = ~A B
Portanto,
~C A : Joo no chegou ou Maria est atrasada
Equivale a
CA : Se Joo chegou, ento Maria est atrasada

12. Aponte uma sentena logicamente equivalente ao condicional Se Joo est
armado, ento ser preso.
a) Joo est armado e ser preso.
b) Joo est armado e no ser preso.
c) Joo est armado ou ser preso.
d) Joo no est armado ou ser preso.
e) Joo est armado ou no ser preso.

SOLUO:
Existe uma forma de equivalncia especial para o condicional. Para que o
condicional seja verdadeiro basta negar o antecedente ou confirmar o
consequente, dessa forma temos que:
A B = ~A v B
Portanto, a proposio
A B: Se Joo est armado, ento ser preso
pode ser logicamente escrita como
~A v B: Joo no est armado ou ser preso.

13. Dentre os itens a seguir, aponte aquele que a proposio condicional Caso
no faa sol, ficarei em casa.
a) Faz sol ou no fico em casa.
b) No Faz sol ou fico em casa
c) Faz sol ou fico em casa.
d) Faz sol, mas fico em casa.
e) Nem faz sol, nem fico em casa.

SOLUO:
Como vimos anteriormente, o condicional verdadeiro quando negamos o
antecedente ou confirmamos o consequente, dessa forma temos:
~S C = S v C
Portanto, a proposio
pode ser logicamente escrita como
S v C: Faz sol ou fico em casa.

Raciocnio Lgico

14. Dizer que: "Andr no artista ou Bernardo engenheiro" logicamente
equivalente a dizer que:
a) Andr artista se e somente se Bernardo no engenheiro.
b) Se Andr artista, ento Bernardo engenheiro.
c) Se Andr no artista, ento Bernardo engenheiro.
d) Se Bernardo engenheiro, ento Andr artista.
e) Andr no artista e Bernardo engenheiro.

SOLUO:
Uma vez que sabemos a equivalncia
A B = ~A v B
Temos ento que a proposio dada
~A v B: Andr no artista ou Bernardo engenheiro
Ser equivalente a proposio condicional
A B: Se Andr artista, ento Bernardo engenheiro
PROVANDO A EQUIVALNCIA

A negao do condicional dada por
~(A B) = (A ~B)
Sabendo que ~P = Q implica em P = ~Q, ento
teremos:
(A B) = ~(A ~B)
Portanto
A B = ~A v B

VERIFICAO PELA TABELA VERDADE

A B A B ~A B ~A B
V V V F V V
V F F F F F
F V V V V V
F F V V F V
LINK:
Raciocnio Lgico

EXERCCIOS

(CESPE) Na comunicao, o elemento fundamental a sentena, ou proposio
simples, constituda esquematicamente por um sujeito e um predicado, aqui
sempre na forma afirmativa. Toda proposio pode ser julgada como falsa (F), ou
verdadeira (V), excluindo-se qualquer outra forma. Novas proposies so
formadas a partir de proposies simples, utilizando-se conectivos. Considere a
seguinte correspondncia.

CONECTIVO
S
SMBOLO
S
e
ou
se ... ento
se e
somente se

Usa-se tambm o modificador no, simbolizado por . As proposies so
representadas por letras do alfabeto: A, B, C etc. A seguir, so apresentadas as
valoraes para algumas proposies compostas. Os espaos no-preenchidos
podem servir de rascunho para auxiliar os raciocnios lgicos necessrios ao
julgamento dos itens.

A B A
B
A
B
A
B
A
B
A
B
A
B
(A
B)
(A
B)
(A
B)
A
B
B
A
A
B
V V
V F
F V
F F

Com base nessas informaes, julgue os itens que se seguem, a respeito de lgica
sentencial e de primeira ordem.

46. Na tabela includa no texto acima, considerando as possveis valoraes V ou F
das proposies A e B, a coluna (AB) estar corretamente preenchida da
seguinte forma.

(AB
)
F
F
F
V
Raciocnio Lgico

47. Na tabela includa no referido texto, considerando as possveis valoraes V ou
F das proposies A e B, a coluna AB estar corretamente preenchida da
seguinte forma.

A
B
F
V
F
V

48. Na tabela includa no texto, considerando as possveis valoraes V ou F das
proposies A e B, a coluna AB estar corretamente preenchida da seguinte
forma.

AB
V
F
F
V

49. Na tabela includa no texto, considerando as possveis valoraes V ou F das
proposies A e B, a coluna BA estar corretamente preenchida da seguinte
forma.

B
A
V
F
V
V

(CESPE) Considerando e A, B e C sejam proposies, que os smbolos e
representam os conectivos ou e e, respectivamente, e que o smbolo denota
o modificador negao, julgue os itens a seguir.

50. As proposies A B e (B) (A) tm a mesma tabela verdade.

51. A negao da proposio A B pode ser dada por (B A).

52. Podemos dizer que a proposio A B uma possvel equivalncia do
condicional A B.

53. A proposio (AB) equivalente proposio (A)(B).
Raciocnio Lgico

54. A negao da proposio (AB) equivalente proposio (AB).

(CESPE) Julgue os itens seguintes.

55. A proposio Marta viajou para Madri e Lara viajou para Lisboa um
exemplo de proposio formada por duas proposies simples relacionadas por
um conectivo de conjuno.

56. Se A a proposio O soldado Vtor far a ronda noturna e o soldado Vicente
verificar os cadeados das celas, ento a proposio A estar corretamente
escrita como: O soldado Vtor no far a ronda noturna nem o soldado Vicente
verificar os cadeados das celas.

57. Se a proposio Daniel sargento e Pedro Tenente falsa, ento a
proposio Daniel no sargento ou Pedro no Tenente ser verdadeira.

58. A negao da proposio Se houver corrupo, os nveis de violncia
crescero equivalente a Se no houver corrupo, os nveis de violncia no
crescero.

59. Na sentena Caso Joo esteja armado, ser preso, podemos afirmar que
Joo est armado condio suficiente para que ele seja preso.

(CESPE) Considere as sentenas abaixo.
i. Fumar deve ser proibido, mas muitos europeus fumam.
ii. Fumar no deve ser proibido e fumar faz bem sade.
iii. Se fumar no faz bem sade, deve ser proibido.
iv. Se fumar no faz bem sade e no verdade que muitos europeus
fumam, ento fumar deve ser proibido.
v. Tanto falso que fumar no faz bem sade como falso que fumar deve
ser proibido; consequentemente, muitos europeus fumam.

Considere tambm que P, Q, R e T representem as sentenas listadas na tabela a
seguir.

P Fumar deve ser
proibido.
Q Fumar deve ser
encorajado.
R Fumar no faz bem
sade.
T Muitos europeus
fumam.

Raciocnio Lgico
Com base nas informaes acima e considerando a notao introduzida no texto,
julgue os itens seguintes.

60. A sentena I pode ser corretamente representada por P(T).

61. A sentena II pode ser corretamente representada por (P)(R).

62. A sentena III pode ser corretamente representada por RP.

63. A sentena IV pode ser corretamente representada por (R(T))P.

64. A sentena V pode ser corretamente representada por T((R)( P)).

(CESPE) Considere que as letras P, Q, R e S representam proposies e que os
smbolos , e so operadores lgicos que constroem novas proposies e
significam no, e e ou respectivamente. Na lgica proposicional, cada
proposio assume um nico valor (valor-verdade) que pode ser verdadeiro (V) ou
falso (F), mas nunca ambos. Considerando que P, Q, R e S so proposies
verdadeiras, julgue os itens seguintes.

65. P Q verdadeira

66. [(P Q) (R S)] verdadeira

67. [P (Q S)] [(R Q) (P S)] verdadeira

68. (P (S)) (Q (R)) falsa

(CESPE) Considere que as letras P, Q, R e T representem proposies e que os
smbolos , , e sejam operadores lgicos que constroem novas proposies e
significam no, e, ou e ento, respectivamente. Na lgica proposicional, cada
proposio assume um nico valor (valor-verdade), que pode ser verdadeiro (V)
ou falso (F), mas nunca ambos. Com base nas informaes apresentadas no texto
acima, julgue os itens a seguir.
69. Se as proposies P e Q so ambas verdadeiras, ento a proposio ( P) (
Q) tambm verdadeira.
70. Se as proposies P e Q so verdadeiras e a proposio R falsa, ento a
proposio (P R) ( Q) verdadeira.
71. Se a proposio T verdadeira e a proposio R falsa, ento a proposio R
( T) falsa.

72. Se a proposio PQ R verdadeira, ento R necessariamente verdadeira.

73. Se a proposio PQ C verdadeira, ento a proposio C (AB)
tambm verdadeira.

Raciocnio Lgico
74. Podemos afirmar que a proposio A BC falsa somente se A e C forem F e
B for V.

75. Se a proposio A for F e a proposio (A)B for V, ento, obrigatoriamente, a
proposio B V.

(CESPE) Julgue os itens a seguir, acerca da construo de tabelas-verdade.

76. A proposio composta (A~B)(~ABC), possui 8 linhas da tabela verdade.

77. A tabela-verdade da proposio composta (P(Q)) (Q(R)) tem 16 linhas.

78. Considerando-se as possveis valoraes V ou F das proposies A e B e
completando-se as colunas da tabela abaixo, se necessrio, correto afirmar que
a ltima coluna dessa tabela corresponde tabela-verdade da proposio [A
(B)] [(A B)].

79. Se a expresso lgica envolvendo R e T for (RT) R, a tabela-verdade
correspondente ser a seguinte.

80. Se a expresso lgica envolvendo R e T for (RT) (R), a tabela-verdade
correspondente ser a seguinte.

(CESPE) Considerando que A, B, C e P sejam proposies, que os smbolos e
representam os conectivos ou e e, respectivamente, e que o smbolo denota
o modificador negao, julgue os itens a seguir.

Raciocnio Lgico
81. Podemos afirmar que a proposio PP uma tautologia.

82. Independentemente da valorao V ou F atribuda s proposies A e B,
correto concluir que a proposio (AB) (AB) sempre V.

83. A proposio composta (A BC) (A BC) uma tautologia.

84. A proposio composta P(PQ) sempre verdadeira, independente da
valorao V ou F atribuda s proposies simples P e Q.

85. Podemos afirmar que a proposio A (BA) uma tautologia.

86. Independentemente da valorao V ou F atribuda proposio P, correto
concluir que a proposio PP sempre F.

87. O valor lgico da proposio (AB) (AB) sempre falsa.

88. A proposio composta (AB C) (AB C) uma contradio.

89. A proposio composta (PQ)(PQ) sempre falsa, independente da
valorao V ou F atribuda s proposies simples P e Q.

CAPTULO 4

ARGUMENTAO

INTRODUO

A anlise de um conjunto de proposies requer conhecimento da lgebra
das proposies visto nas aulas anteriores, sobretudo os links apresentados para
cada conectivo estudado: ou , ou...ou , e , se...ento e se e
somente se .
Tudo consiste em organizar as proposies (de preferncia usando
linguagem simblica), localizar um ponto de partida atravs de uma proposio
simples dada (ou de uma hiptese) e a partir da, atravs de um efeito domin,
deduzir todos os valores lgicos (V ou F) das outras proposies simples, admitindo
que todas as proposies compostas so verdadeiras.

Raciocnio Lgico
INFERNCIA

A Inferncia vem do latim inferre. Inferir o mesmo que deduzir. Na lgica
de argumentao, inferncia a passagem, atravs de regras vlidas, do
antecedente ao conseqente de um argumento.
Portanto, a inferncia um processo pelo qual se chega a uma proposio
conclusiva, a partir de uma ou outras mais proposies consideradas verdadeiras.

PREMISSA

As premissas so proposies (simples ou composta) que tomadas como
verdadeiras, levam a uma concluso. Numa raciocnio lgico vlido, as premissas
so os juzos que precedem concluso e dos quais ela decorre como
conseqente necessria - antecedentes - de que se infere a conseqncia.
Nas premissas, o termo maior (predicado da concluso) e o menor (sujeito
da concluso) so comparados com o termo mdio e assim temos premissa maior
e premissa menor segundo a extenso dos seus termos.
O silogismo estruturado do seguinte modo:
Todo homem mortal (premissa maior)
homem o sujeito lgico, e fica frente da cpula;
representa a cpula, isto , o verbo que exprime a relao entre
sujeito e predicado;
mortal o predicado lgico, e fica aps a cpula.
Pitgoras homem (premissa menor)
Pitgoras mortal (concluso)

Podemos ento dizer que as premissas so as proposies que, em uma
argumentao, precedem a concluso.

Raciocnio Lgico
CONCLUSO

A concluso de um argumento vlido aquela que se chega a partir de
proposies dadas nesse argumento. Essas outras proposies que antecedem a
concluso, que so tomadas como verdadeiras para afirmar a concluso, so as
premissas desse argumento.
possvel partir de premissas falsas e se concluir algo falso, pois na
argumentao devemos tomar as proposies dadas como verdade, mesmo que
no sejam, e isso nos leva a uma concluso, que at pode ser uma mentira, mas
no invalida o argumento.

ARGUMENTO VLIDO

Argumento uma linha de raciocnio utilizada em um debate para defesa
de um ponto de vista. O argumento o elemento bsico para a fundamentao
de uma teoria.
Um argumento envolve, no mnimo, duas proposies: uma premissa (ou
mais) e uma concluso. Para se distinguir um argumento vlido de um invlido
preciso, antes de mais, reconhecer quando os argumentos ocorrem e identificar as
suas premissas e concluses.
Um argumento dito vlido quando tomadas como verdadeiras as
premissas, chega-se a uma concluso. Mas sem criar contradies ou declaraes
erradas.

EXEMPLO:
Todo homem mortal
Joo um homem
Joo mortal

EXEMPLO:
Se eu receber dinheiro, viajo
Se eu viajar, fico feliz
PREMISSAS
CONCLUSO
ARGUMENTO
VLIDO
PREMISSAS
ARGUMENTO
VLIDO
Raciocnio Lgico
Recebi dinheiro
Ento estou feliz

EXEMPLO:
Leo arquiteto ou bancrio
Leo no bancrio
Leo arquiteto

EXEMPLO:
Recebendo o seguro, compro a moto
Comprando a moto, viajo
Se receber o seguro, ento viajo

ARGUMENTO INVLIDO

Um argumento dito invlido quando tomadas como verdadeiras as
premissas cria-se uma contradio ou declara-se um concluso errada.

EXEMPLO:
Fsica uma cincia exata
Matemtica uma cincia exata
Ento a Matemtica um ramo da Fsica

EXEMPLO:
Se fizer sol, irei praia
Fui praia
Ento fez sol

CONCLUSO
PREMISSAS
CONCLUSO ERRADA
PREMISSAS
CONCLUSO
ERRADA
PREMISSAS
CONCLUSO
ARGUMENTO
VLIDO
PREMISSAS
CONCLUSO
Raciocnio Lgico
EXEMPLO:
Todo homem mortal
Joo mortal
Joo um homem

EXEMPLO:
Se Joo honesto, ele inocente
Joo honesto, mas culpado
Ento Joo culpado e inocente

DEDUO

Raciocinar dedutivamente, partir de premissas gerais, em busca de uma
verdade particular.

Exemplo:
O Ser humano imperfeito;
Eu sou um ser humano;
Logo, eu sou imperfeito;

Exemplo:
Todo mamfero tem um corao;
Todos os cavalos so mamferos;
Logo, todos os cavalos tm corao;

INDUO

Os indutivistas acreditavam que as explicaes para os fenmenos
advinham unicamente da observao dos fatos. Ento, raciocinar indutivamente
partir de premissas particulares, na busca de uma lei geral, universal.

EXEMPLO:
Sabe-se que:
O ferro conduz eletricidade
O ferro metal
O ouro conduz eletricidade
O ouro metal
O cobre conduz eletricidade
O cobre metal
Logo os metais conduzem eletricidade.
CONTRADIO
PREMISSAS
PREMISSAS
CONCLUSO
ERRADA
Raciocnio Lgico

EXEMPLO:
Todos os cavalos at hoje observados tinham um corao;
Logo, todos os cavalos tem um corao;

O princpio de induo no pode ser uma verdade lgica pura, tal como
uma tautologia ou um enunciado analtico, pois se houvesse um princpio
puramente lgico de induo, simplesmente no haveria problema de induo,
uma vez, que neste caso todas as inferncias indutivas teriam de ser tomadas
como transformaes lgicas ou tautolgicas, exatamente como as inferncias no
campo da Lgica Dedutiva.

EXEMPLO

01. Dadas as seguintes premissas
Caso no chova no fim de semana, irei a praia
Quando vou praia, como caranguejo
Sempre que como caranguejo, tomo refrigerante
Esse fim de semana no choveu
Ento a concluso ser que nesse fim de semana
a) Comi caranguejo e tomei refrigerante
b) No comi caranguejo e tomei refrigerante
c) Comi caranguejo e no tomei refrigerante
d) No comi caranguejo e no tomei refrigerante

SOLUO:
Representando por siglas as proposies, torna-se mais fcil a representao
simblica.
CH: "Chover no fim de semana"
P: "Irei a praia"
CC: "Comer caranguejo"
R: "Tomar refrigerante"

Ento, do enunciado, podemos escrever as proposies em linguagem simblica
da seguinte forma:

~CH P

P CC

CC R

~CH

Raciocnio Lgico
Partindo da proposio simples "No choveu no fim de semana" (~CH), segue por
efeito domin a seqncia conclusiva representada pelas setas.

~CH P
V V

P CC
V V

CC R
V V

~CH
V

03. Um advogado usou as proposies a seguir, para argumentar a inocncia de
seu cliente.
Se Joo no estava na cidade ento ele inocente
Se Joo estava na cidade ento almoou na casa da me no domingo
Ou Joo almoou na casa da me no domingo, ou visitou Ana na cidade
vizinha
Se e somente se Joo recebeu dinheiro na sexta-feira, visitou Ana na cidade
vizinha
De acordo com seu extrato, Joo recebeu dinheiro na sexta-feira
Tomando como verdadeiras todas as proposies, o jri concluiu que:
a) Joo inocente e no visitou Ana
b) Joo inocente e visitou Ana
c) Joo culpado e no visitou Ana
d) Joo culpado e visitou Ana
e) O jri no conseguiu chegar a uma concluso

SOLUO:
Sejam
JC: "Joo estava na cidade "
I: "Inocente"
AM: "almoou com a me"
VA: " visitou Ana"
RD: "Recebeu dinheiro"

Ento, do enunciado, podemos escrever as proposies em linguagem simblica
da seguinte forma:

~JC I

JC AM
1
2
3
4
6
5
Raciocnio Lgico

AM VA

RD VA

RD

Partindo da proposio simples "Joo recebeu dinheiro" (RD), segue por efeito
domin a seqncia conclusiva representada pelas setas.

~JC I
V V

JC AM
F F

AM VA
F V

RD VA
V V

RD
V

Portanto, Joo inocente, no almoa com a me e visita Ana na cidade vizinha.

RESPOSTA: Item B

04. (IPAD) Se Ludwig entende de Lgica, ento h um rinoceronte na sala. Se h
um rinoceronte na sala, ento Bertrand no entende de Lgica. Se Bertrand no
entende de Lgica, ento George culpado. Mas George no culpado. Logo:
a) H um rinoceronte na sala e Ludwig no entende de Lgica.
b) Bertrand entende de Lgica e no h um rinoceronte na sala.
c) H um rinoceronte na sala e Bertrand no entende de Lgica.
d) Bertrand no entende de Lgica, mas Ludwig entende.
e) No h um rinoceronte na sala e Ludwig entende de Lgica.

1
2
3
4
5
6
7
8
EFEITO DOMIN:
1. Transferindo a informao inicial;
2. Como ele recebeu dinheiro, tem que ter ido visitar Ana;
3. Transferindo essa informao;
4. No ou...ou, somente uma das afirmaes verdadeira, logo AM F;
6. Se JC fosse V, ento AM tinha que ser V, logo JC F;
7. A negao sempre tem valor lgico contrrio;

Raciocnio Lgico
SOLUO:

Sejam
LL RS : Ludwig entende de Lgica, ento h um rinoceronte na sala
RS ~BL : Se h um rinoceronte na sala, ento Bertrand no entende de
Lgica
~BL GC : Se Bertrand no entende de Lgica, ento George culpado

Sabendo que George no culpado V, ento GC F, segue ento

~BL GC
F F

RS ~BL
F F

LL RS
F F

EXERCCIOS

(CESPE) Na lgica sentencial, denomina-se proposio uma frase que pode ser
julgada como verdadeira (V) ou falsa (F), mas no, como ambas. Assim, frases
como Como est o tempo hoje? e Esta frase falsa no so proposies
porque a primeira pergunta e a segunda no pode ser nem V nem F. As
proposies so representadas simbolicamente por letras maisculas do alfabeto
A, B, C etc. Uma proposio da forma A ou B F se A e B forem F, caso
contrrio V; e uma proposio da forma Se A ento B F se A for V e B for F,
caso contrrio V. Um raciocnio lgico considerado correto formado por uma
seqncia de proposies tais que a ltima proposio verdadeira sempre que
as proposies anteriores na sequncia forem verdadeiras. Considerando as
informaes contidas no texto acima, julgue os itens subsequentes.

90. correto o raciocnio lgico dado pela sequncia de proposies seguintes:
Se Antnio for bonito ou Maria for alta, ento Jos ser aprovado no
concurso.
Maria alta.
Portanto, Jos ser aprovado no concurso.

91. correto o raciocnio lgico dado pela sequncia de proposies seguintes:
Se Clia tiver um bom currculo, ento ela conseguir um emprego.
Ela conseguiu um emprego.
Portanto, Clia tem um bom currculo.

92. Considere que as proposies listadas abaixo sejam todas V.
Concluses:

Como ~BL F, ento BL V, logo Bertrand entende de
lgica

Como RS F, ento ~RS V, logo No h um rinoceronte na
1
2
3
4
5
Raciocnio Lgico
I: Se Clara no policial, ento Joo no analista de sistemas.
II: Se Lucas no policial, ento Elias contador.
III: Clara policial.
Supondo que cada profisso esteja associada a uma nica pessoa citada, ento
est correto concluir que a proposio Joo contador verdadeira.

(CESPE) Considere as seguintes proposies:
I. Todos os cidados brasileiros tm garantido o direito de herana.
II. Joaquina no tem garantido o direito de herana.
III. Todos aqueles que tm direito de herana so cidados de muita sorte.
Supondo que todas essas proposies sejam verdadeiras, correto concluir
logicamente que

93. Joaquina no cidad brasileira.

94. Todos os que tm direito de herana so cidados brasileiros.

95. Se Joaquina no cidad brasileira, ento Joaquina no de muita sorte.
Raciocnio Lgico

SUDOKU
Origem: Wikipdia, a enciclopdia livre.
O QUE SUDOKU?
Sudoku, por vezes escrito Su Doku, um puzzle baseado na colocao
lgica de nmeros. O objetivo do puzzle a
colocao de nmeros de 1 a 9 em cada uma
das clulas vazias numa grelha de 99,
constituda por 33 subgrelhas chamadas
regies. O puzzle contm algumas pistas
iniciais. Cada coluna, linha e regio s pode
ter um nmero de cada um dos 1 a 9. Resolver
o problema requer apenas raciocnio lgico e
algum tempo. Os problemas so normalmente
classificados em relao sua realizao. O
aspecto do puzzle Sudoku lembra outros
puzzles de jornal.
HI STRI A
O puzzle foi projetado anonimamente
por Howard Garns, um arquiteto aposentado
de 74 anos de idade e construtor independente de puzzles, e o publicou pela
primeira vez em 1979. Embora tenha se inspirado provavelmente no quadrado
latino , inveno do sculo XVIII do suo Leonhard Euler, Garns adicionou uma
terceira dimenso (a limitao regional) construo matemtica e (ao contrrio
de Euler) apresentou a criao como um puzzle, fornecendo uma grade
parcialmente completa e necessitando que o solucionador preenchesse o resto. O
enigma foi publicado primeiramente nos Estados Unidos no final dos anos 1970 na
revista americana Math Puzzles and Logic Problems, da editora Dell Magazines,
especializada em desafios e quebra-cabeas. A editora deu ao jogo o nome de
Number Place, que usado at hoje nos Estados Unidos. Em 1984, a Nikoli, maior
empresa japonesa de puzzles, descobriu o number place e decidiu lev-lo ao
Japo.
No Japo, os jogos numricos so mais populares que palavras-cruzadas e
caa-palavras, que no funcionam muito bem na lngua japonesa. Em 1986,
depois de alguns aperfeioamentos no nvel de dificuldade e na distribuio dos
nmeros, o sudoku tornou-se um dos puzzles mais vendidos do Japo. Apesar de
toda a popularidade no Japo, o sudoku no conseguiu atrair a mesma ateno
no Ocidente at o final de 2004, quando Wayne Gould - um juiz aposentado de
Hong Kong, que tambm era f de puzzles e programador de computador - viajou
a Londres para convencer os editores do The Times a publicar o sudoku. Gould
havia criado um programa de computador que gerava jogos de sudoku com
vrios nveis de dificuldade e no estava cobrando nada por ele. O Times decidiu
arriscar e no dia 12 de novembro de 2004 publicou seu primeiro sudoku. No Brasil O
Sudoku publicado pela Coquetel (Ediouro) desde o incio de 2005 e em Portugal,
Raciocnio Lgico
comeou a ser publicado em maio de 2005 pelo jornal Pblico, atualmente
diversas editoras publicam o puzzle.
I NTRODUO
O nome Sudoku a abreviao japonesa para a longa frase, suuji wa
dokushin ni kagiru que significa os dgitos devem permanecer nicos; e uma
marca registrada da Nikoli Co. Ltd no Japo. Em japons a palavra pronunciada
[s!dok] , em portugus pronuncia-se sudku. Outras editoras japonesas
referem-se ao jogo como colocando os nmeros, ou como "Nanpure". Algumas
editoras no japonesas soletram o ttulo como "Su Doku".
Os numerais nos jogo Sudoku so usados por comodidade; as relaes
aritmticas entre numerais so absolutamente irrelevantes (no requer lgica para
clculos matemticos). Qualquer combinao de smbolos distintos como letras,
formas, ou cores podem ser usadas no jogo sem alterar as regras (Penny Press
Scramblets e Knight Features Syndicates Sudoku Words usam letras). Dell
Magazines , o criador do jogo, tem utilizado nmeros para Number Place em suas
revistas desde a sua primeira publicao em 1979. Numerais so utilizados atravs
deste artigo.
A atrao do jogo que as regras so simples, contudo, a linha de
raciocnio requerida para alcanar a soluo pode ser complexa. O Sudoku
recomendado por alguns educadores como um exerccio para o pensamento
lgico. O nvel de dificuldade pode ser selecionado para combinar com o pblico.
Existem diversas fontes na internet no ligadas a editoras que disponibilizam os
jogos gratuitamente.
Raciocnio Lgico
OBJETI VO
O objetivo do jogo completar todos os quadrados utilizando nmeros de 1 a 9.
Para complet-los, seguiremos a seguinte regra: No podem haver nmeros
repetidos nas linhas horizontais e verticais, assim como nos quadrados grandes.

COMO JOGAR
O jogo mais frequentemente uma grade de 99 constituda de sub-grades
de 33 chamadas de regies (outros termos incluem caixas, blocos, algumas vezes
porm o termo quadrante utilizado, apesar de ser um termo impreciso para uma
grade de 33). Alguma clula j contm nmeros, chamadas como nmeros
dados (ou algumas vezes pistas). O objetivo preencher as clulas vazias, com um
nmero em cada clula, de maneira que cada coluna, linha e regio contenham
os nmeros 19 apenas uma vez. Portanto, na soluo do jogo, cada nmero
aparece apenas uma vez em qualquer um dos sentido ou regies, da portanto
"nicos nmeros" originaram o nome do jogo ou enigma.
MTODOS DE SOLUO
A regio 33 no canto superior direito. O
solucionador pode eliminar todas as clulas vazias no
canto superior direito que contenham um 5 nas mesmas
colunas ou linhas. Isto deixa apenas uma clula possvel
(destacada em verde).
A estratgia para resolver um enigma pode ser
considerada como compreender uma combinao de
trs processos: fazer uma varredura visual, fazer
marcaes, e anlise.

9
U
8
U
7
U
6
U
5
U
4
U
3
2
U
1
U
1
U
2
U
3 4
U
5
U
6
U
7
U
8
U
9
U
9
U
1
U
3 2
U
4
U
5
U
6
U
7
U
8
U
Raciocnio Lgico
VARREDURA
A varredura executada no incio e durante toda a soluo. As varreduras
somente tm que ser executadas uma vez entre perodos da anlise. A varredura
consiste em apenas duas tcnicas bsicas:
Cruzamento: a varredura das linhas (ou colunas) para identificar que
linha em uma regio particular pode conter um determinado
numero por um processo do eliminao. Este processo repetido
ento com as colunas (ou linhas). Para resultados mais rpidos, os
nmeros so verificados por ordem de freqncia. importante
executar sistematicamente este processo, verificando todos os dgitos 19.
Contar de 19 nas regies, linhas, e colunas para identificar os nmeros faltantes.
contar baseada no ltimo nmero descoberto pode fazer com que a busca seja
mais rpida. Tambm pode ser o caso (tipicamente em enigmas mais difceis) que
a maneira a mais fcil verificar o valor de uma clula individual contando no
inverso isto , fazendo a varredura da regio da clula, linha, e coluna para
identificar os valores que no podem ser, a fim de se descobrir o que resta.
Os solucionadores avanados procuram contingncias ao fazer a varredura
isto , estreitando a posio de um numeral dentro de uma fileira, coluna, ou
regio a duas ou trs clulas. Quando estas clulas todas se encontrarem dentro
da mesma fileira (ou coluna) e regio, elas podem ser usadas para finalidades de
eliminao durante as etapas de cruzamento e contar. Particularmente os
enigmas mais desafiadores podem requerer mltiplas contingncias para serem
descobertos, talvez em direes mltiplas ou mesmo cruzamentos mltiplos. Os
enigmas que podem ser resolvidos apenas fazendo-se a varredura sem
necessidade de detectar as contingncias so classificados como enigmas fceis;
enigmas mais difceis, por definio, no podem ser resolvido pela varredura
bsica somente.
MARCAES
Fazer a varredura termina quando mais nenhum nmero adicional pode ser
descoberto. Deste ponto em diante, necessrio fazer algumas anlises lgicas.
Muitos acham til guiar esta anlise atravs da marcao dos nmeros possveis
(candidatos) nas clulas em branco. A forma mais popular notao subscrita.
Na notao subscrita, os nmeros possveis so escritos a lpis em tamanho
reduzido (subscritos) nos cantos das clulas em branco. O inconveniente a este
que os puzzles originais impressos em um jornal so geralmente demasiado
pequenos para acomodar mais do que alguns dgitos da escrita normal. Mas na
prtica, no precisamos usar mais de quatro dgitos subscritos.

1
2 8
5 6
9
3 4
7
3 4
7
3 4
7
Raciocnio Lgico
PASSO A PASSO

1 PASSO 2 PASSO 3 PASSO

4 PASSO 5 PASSO 6 PASSO

Raciocnio Lgico
7 PASSO 8 PASSO

O JOGO

ANALISANDO UMA JOGADA ERRADA
Aps fazer uma jogada, h a possibilidade de verificar se ela foi correta ou no
clicando no boto "Como estou indo?". Se a jogada estiver incorreta, o local da
jogada ficara em vermelho indicando o erro. Veja as imagens que apresentam os
possiveis erros:

1 Nmero repetido em um quadrado grande: 3 Nmero repetido na linha horizontal:

Raciocnio Lgico

2 Nmero repetido na linha vertical:

Raciocnio Lgico
FCIL

Soluo (digite o cdigo):
www.sudoku-puzzles.net

Raciocnio Lgico
MDIO

Raciocnio Lgico
DIFCIL


PDF AEP SPF2013 RaciocinioLogico Apostila PedroEvaristo

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

PDF AEP SPF2013 RaciocinioLogico Apostila PedroEvaristo

Uploaded by

Copyright:

Available Formats

2013 Copyright. Curso Agora eu Passo - Todos os direitos reservados ao autor.

Super Polcia Federal 2013

You might also like