Raciocnio Lgico

Trata-se de uma sentena que ser

declarado por meio de palavras ou
smbolos e cujo contedo poder ser
considerado verdadeiro (V) ou falso (F).
1. Conceitos iniciais:
Proposies:
1.1. Conectivo e: (conjuno)
Uma conjuno s ser verdadeira, se ambas
as proposies componentes forem tambm
verdadeiras.
V B A
V V
= .
B A
A B

Representao em diagrama de Euler

NMERO DE LINHAS DE UMA TABELA-VERDADE:

A B A . B
V V V
V F F
F V F
F F F
simples s proposie de n n onde
2
n
1.2. Conectivo ou: (disjuno)
Uma disjuno ser falsa quando as duas
partes que a compem forem ambas falsas! E
nos demais casos, a disjuno ser verdadeira.
F B A
F F
= v
B A

A B
A B A v B
V V V
V F V
F V V
F F F
Representao em diagrama de Euler e tabela verdade
1.3. Conectivo ou... ou...:
(disjuno exclusiva).
S ser verdadeira se houver uma das
sentenas verdadeira e a outra falsa. Nos
demais casos, a disjuno exclusiva ser falsa.
V B A
L V L V
= =

TABELA VERDADE
A B A v B
V V F
V F V
F V V
F F F
1.4. Conectivo Se... ento...:
(condicional).
S ser falsa quando a primeira parte for
verdadeira, e a segunda for falsa. Nos demais
casos, a condicional ser verdadeira.
F B A
F V
=
Representao em diagrama de Euler
B
A
TABELA VERDADE
A B A B
V V V
V F F
F V V
F F V
Outra forma de leitura
A condio suficiente para B.
B condio necessria para A.
B A
suficiente
necessria
1.5 Conectivo ... se e somente
se...: (bicondicional).
Bicondicional s verdadeira: quando
antecedente e conseqente forem ambos
verdadeiros, ou quando forem ambos falsos.
Nos demais casos, a bicondicional ser falsa.
V B A
L V L V
= =

Representao em diagrama de Euler
A = B
TABELA VERDADE
A B A B
V V V
V F F
F V F
F F V
1.6. Partcula no: (negao).
O smbolo que representa a negao
uma pequena cantoneira () ou um sinal
de til (~), antecedendo a frase.
A ~A
V F
F V
Representao em diagrama de Euler
B A C
B
A
=
A
B
Af. Af. Neg. Neg. Conj. Disj. D. exc. Cond. Bicond.
A B ~A ~B A B A B AVB A B A B
V V F F V V F V V
V F F V F V V F F
F V V F F V V V F
F F V V F F F V V
REGRA A
V
e B
V
A
F
e B
F
A
VL
B
VL
A
V
e B
F
A
VL
=B
VL

TABELA RESUMO
.
v
2. ESTRUTURAS LGICAS:
Negao de uma Proposio Conjuntiva:
NEGATIVA DE UMA PROPOSIO COMPOSTA:
B) (A ~ .
= A ~
v
B ~
Negao de uma Proposio Disjuntiva

B) (A ~ v
= A ~
.
B ~
Negao de uma Proposio condicional:
B) (A ~
= A
.
B ~
Negao de uma Proposio Bicondicional
B) (A ~
= A
v
B
B no A Algum B) A (todo ~ =
B A Algum B) no A (todo ~ =
PROPOSIES LOGICAMENTE
EQUIVALENTES:
B A
~

B
Equivalncias da Condicional:

A
A
v
B
Equivalncias da Bicondicional:
B) (A ~
~ B A
.
A B
EXERCCIO 1
(GEFAZ/MG-2005) A afirmao No verdade que, se
Pedro est em Roma, ento Paulo est em Paris
logicamente equivalente afirmao:
a) verdade que Pedro est em Roma e Paulo est em
Paris.
b) No verdade que Pedro est em Roma ou Paulo no
est em Paris.
c) No verdade que Pedro no est em Roma ou Paulo
no est em Paris.
d) No verdade que Pedro no est em Roma ou Paulo
est em Paris.
e) verdade que Pedro est em Roma ou Paulo est em
Paris.
Resoluo
A = Pedro est em Roma
B = Paula est em Paris
B A
~

A
A
v
B
EXERCCIO 2
(AFC-STN/2005) Se Marcos no estuda, Joo no
passeia. Logo:
a) Marcos estudar condio necessria para Joo no
passear.
b) Marcos estudar condio suficiente para Joo
passear.
c) Marcos no estudar condio necessria para Joo
no passear.
d) Marcos no estudar condio suficiente para Joo
passear.
e) Marcos estudar condio necessria para Joo
passear.
Resoluo
A = Marcos estuda
B = Joo passeia
B A
~

B

A
A
v
B
EXERCCIO 3
(Fiscal Recife/2003) Pedro, aps visitar uma aldeia
distante, afirmou: No verdade que todos os aldees
daquela aldeia no dormem a sesta. A condio
necessria e suficiente para que a afirmao de Pedro
seja verdadeira que seja verdadeira a seguinte
proposio:
a) No mximo um aldeo daquela aldeia no dorme a
sesta.
b) Todos os aldees daquela aldeia dormem a sesta.
c) Pelo menos um aldeo daquela aldeia dorme a sesta.
d) Nenhum aldeo daquela aldeia no dorme a sesta.
e) Nenhum aldeo daquela aldeia dorme a sesta.
Resoluo
B) no A (todo ~ =
A = Aldees da aldeia
B = dormir a sesta
B A Algum
EXERCCIO 4
(AFC/2002) Dizer que no verdade que Pedro
pobre e Alberto alto, logicamente
equivalente a dizer que verdade que:
a) Pedro no pobre ou Alberto no alto.
b) Pedro no pobre e Alberto no alto.
c) Pedro pobre ou Alberto no alto.
d) se Pedro no pobre, ento Alberto alto.
e) se Pedro no pobre, ento Alberto no alto.
B) (A ~ .
= A ~
v
B ~
Resoluo
A = Pedro pobre
B = Alberto alto
EXERCCIO 5
(MPOG/2001) Dizer que Andr artista ou Bernardo
no engenheiro logicamente equivalente a dizer
que:
a) Andr artista se e somente se Bernardo no
engenheiro.
b) Se Andr artista, ento Bernardo no engenheiro.
c) Se Andr no artista, ento Bernardo engenheiro.
d) Se Bernardo engenheiro, ento Andr artista.
e) Andr no artista e Bernardo engenheiro
Resoluo
A = Andr artista
B = Bernardo engenheiro
A
~
B

A
A
v
B

Nega-se a 1 (troca o smbolo) conserva-se a 2

Transposio
EXERCCIO 6
(CVM/2000) Dizer que a afirmao todos os
economistas so mdicos falsa, do ponto de
vista lgico, equivale a dizer que a seguinte
afirmao verdadeira:
a) pelo menos um economista no mdico
b) nenhum economista mdico
c) nenhum mdico economista
d) pelo menos um mdico no economista
e) todos os no mdicos so no economistas
Resoluo
A = economista
B = mdico
B) A (todo ~ = B no A Algum
EXERCCIO 7
(Fiscal Trabalho/98) Dizer que "Pedro no
pedreiro ou Paulo paulista" , do ponto de
vista lgico, o mesmo que dizer que:
a) se Pedro pedreiro, ento Paulo paulista.
b) se Paulo paulista, ento Pedro pedreiro.
c) se Pedro no pedreiro, ento Paulo paulista.
d) se Pedro pedreiro, ento Paulo no
paulista.
e) se Pedro no pedreiro, ento Paulo no
paulista.
Resoluo
A = Pedro pedreiro
B = Paulo paulista
A
~
B

A
A
v
B

Nega-se a 1 (troca o smbolo) conserva-se a 2

Transposio
EXERCCIO 8
(Fiscal Trabalho/98) A negao da afirmao
condicional "se estiver chovendo, eu levo o
guarda-chuva" :
a) se no estiver chovendo, eu levo o guarda-
chuva.
b) no est chovendo e eu levo o guarda-chuva.
c) no est chovendo e eu no levo o guarda-
chuva.
d) se estiver chovendo, eu no levo o guarda-
chuva.
e) est chovendo e eu no levo o guarda-chuva.
B) (A ~
= A
.
B ~
Resoluo
A = est chovendo
B = eu levo o guarda-chuva
EXERCCIO 9
(SERPRO/96) Uma sentena logicamente
equivalente a Pedro economista, ento Lusa
solteira :
a) Pedro economista ou Lusa solteira.
b) Pedro economista ou Lusa no solteira.
c) Se Lusa solteira, Pedro economista;
d) Se Pedro no economista, ento Lusa no
solteira;
e) Se Lusa no solteira, ento Pedro no
economista.
Resoluo
A = Pedro economista
B = Lusa solteira
A
~
B

A
A
v
B

Nega-se a 1 (troca o smbolo) conserva-se a 2

Transposio
3. LGICA DE ARGUMENTAO
( ) ( )
concluso
F
premissas
V V V
C Pn ,... p2 , p1
sofisma invlido Argumento

=
( ) ( )
concluso
V
premissas
V V V
C Pn ,... p2 , p1
vlido Argumento

( ) ( )
concluso
V
premissas 2
V V
C p2 , p1
premssas 2 de Argumento Silogismo

=
3.1. ANLISE DO ARGUMENTO
3.1.1. PROPOSIES CATEGRICAS:
Todo A B
Nenhum A B
Algum A B
Algum A no B
A B A
B A
B A
B
-
-
Exemplo1
p1: Todos os homens so pssaros.
p2: Nenhum pssaro animal.
c: Portanto, nenhum homem animal.
homem
pssaro
animal
Este um argumento vlido pois as premissas
garantem a veracidade da concluso
Exemplo2
p1: Todas as crianas gostam de chocolate.
p2: Patrcia no criana.
c: Portanto, Patrcia no gosta de chocolate.
Este argumento invlido pois as premissas
no garantem a veracidade da concluso
criana
chocolate
Patrcia
-
Diga se o argumento abaixo vlido ou invlido:
3.1.2. Tabela Verdade: EXEMPLO 3
q ~ p ~
_________
r ~
r q) ^ (p
v

Resoluo

p

q

r

p ^ q
1 premissa
(p ^ q ) r

2 premissa
~r

~p


~q
concluso
~p v ~q

1 2 3 5 4 6 8 7 9
F
V
V
V
F
F
V
F
F
F
F
F
F
V
V
F
V
V
V
V
V
F
V
V
V
F
F
F
V
V
F
V
V
V
V
F
F
F
F
V
V
V
V
V
V
F
F
V
6
7
5
3
4
2
1
8
V
F
V
F
F
V
V
F
F
F
F
V
V
V
V
F
F
V
F
V
V
F
F
V
Exerccio 1

01. (AFC 2002 ESAF) Se Carina amiga de Carol,
ento Carmem cunhada de Carol. Carmem no
cunhada de Carol. Se Carina no cunhada de Carol,
ento Carina amiga de Carol. Logo:
a) Carina cunhada de Carmem e amiga de Carol.
b) Carina no amiga de Carol ou no cunhada de
Carol.
c) Carina amiga de Carol ou no cunhada de Carol.
d) Carina amiga de Carmem e amiga de Carol.
e) Carina amiga de Carol e no cunhada de Carmem.
Resoluo
B A -
A C -
B -
A = Carina amiga de Carol
B = Carmem cunhada de Carol
C = Carina cunhada de Carol
concluso
( ) F
( ) F
( ) F A
( ) F B
( ) F
( ) F
( ) V C
( ) V
( ) V
( ) V
( ) V
Exerccio 2
02. (ANEEL 2004 ESAF) Surfo ou estudo.
Fumo ou no surfo. Velejo ou no estudo.
Ora, no velejo. Assim:
a) estudo e fumo.
b) no fumo e surfo.
c) no velejo e no fumo.
d) estudo e no fumo.
e) fumo e surfo.
Resoluo
D -
( ) V
( ) F D
B A v -
B D v -
A C v -
A = surfo
B = estudo
C = fumo
D = velejo
concluso
( ) V
( ) F
( ) V A
( ) F B
( ) F
( ) F
( ) V C
( ) V
( ) V
( ) V
( ) V
( ) V
( ) V
Exerccio 8
(ACExt TCU 2002 ESAF) O rei ir caa condio
necessria para o duque sair do castelo, e condio
suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e
suficiente para o baro sorrir e condio necessria
para a duquesa ir ao jardim. Ora o baro no sorriu.
Logo:
a) A duquesa foi ao jardim ou o conde encontrou a
princesa.
b) Se o duque no saiu do castelo, ento o conde
encontrou a princesa.
c) O rei no foi caa e o conde no encontrou a princesa.
d) O rei foi caa e a duquesa no foi ao jardim.
e) O duque saiu do castelo e o rei no foi caa.
Resoluo
A = o rei ir a caa
B = o duque sair do castelo
C = a duquesa ir ao jardim
D = o conde encontrar a
princesa
E = o baro sorrir

D C -
( ) F
( ) F C
A B -
E D -
C A -
concluso
( ) F
( ) F
( ) F B
( ) F D
( ) F
( ) F
( ) F A
( ) V
( ) V
( ) V
( ) V
( ) V
( ) F
E -
( ) F E ( ) V
( ) F
( ) F
3. Diagramas Lgicos
3.1. Proposies Categricas
Nenhum A B (v) infere em Algum A B (v)
~(Todo A B) = Algum A no B
~(Nenhum A B) = Algum A B
Todo A B (v) infere em Algum A B(v)
Exerccio 1
(Especialista em Polticas Pblicas Bahia 2004 FCC)
Considerando todo livro instrutivo como uma
proposio verdadeira, correto inferir que:
a) Nenhum livro instrutivo uma proposio
necessariamente verdadeira.
b) Algum livro instrutivo uma proposio
necessariamente verdadeira.
c) Algum livro no instrutivo uma proposio
verdadeira ou falsa.
d) Algum livro instrutivo uma proposio verdadeira
ou falsa.
e) Algum livro no instrutivo uma proposio
necessariamente verdadeira.
Exerccio 2
(TTN-98 ESAF) Se verdade que "Alguns A
so R" e que "Nenhum G R", ento
necessariamente verdadeiro que:
a) algum A no G;
b) algum A G.
c) nenhum A G;
d) algum G A;
e) nenhum G A;
Resoluo
Nenhum G R
G
A
R
Alguns A so R

A
Exerccio 3
(Fiscal Trabalho 98 ESAF) Sabe-se que
existe pelo menos um A que B. Sabe se,
tambm, que todo B C. Segue-se,
portanto, necessariamente que:
a) todo C B
b) todo C A
c) algum A C
d) nada que no seja C A
e) algum A no C
Resoluo
Todo B C
B
A
C
Algum (pelo menos um) A que B

A

Exerccio 4
(SERPRO 2001 ESAF) Todos os alunos de matemtica
so, tambm, alunos de ingls, mas nenhum aluno de
ingls aluno de histria. Todos os alunos de portugus
so tambm alunos de informtica, e alguns alunos de
informtica so tambm alunos de histria. Como
nenhum aluno de informtica aluno de ingls, e como
nenhum aluno de portugus aluno de histria, ento:
a) pelo menos um aluno de portugus aluno de ingls.
b) pelo menos um aluno de matemtica aluno de histria
c) nenhum aluno de portugus aluno de matemtica.
d) todos os alunos de informtica so alunos de
matemtica.
e) todos os alunos de informtica so alunos de portugus.
Resoluo
Port.
Hist.

Ing.

Info.
Mat.
Port.
Info.
Exerccio 5
(AFCE TCU 99 ESAF) Em uma comunidade, todo
trabalhador responsvel. Todo artista, se no
for filsofo, ou trabalhador ou poeta. Ora,
no h filsofo e no h poeta que no seja
responsvel. Portanto, tem-se que,
necessariamente:
a) todo responsvel artista
b) todo responsvel filsofo ou poeta
c) todo artista responsvel
d) algum filsofo poeta
e) algum trabalhador filsofo
Resoluo
Trab.
Filos.
Artista

Resp.

Artista
Artista
Poeta

Filos.
Artista
Artista
Poeta
Exerccio 2 pg.13
(MPOG 2002 ESAF) Na formatura de Hlcio, todos os que
foram solenidade de colao de grau estiveram, antes,
no casamento de Hlio. Como nem todos os amigos de
Hlcio estiveram no casamento de Hlio, conclui-se que,
dos amigos de Hlcio:
a) todos foram solenidade de colao de grau de Hlcio
e alguns no foram ao casamento de Hlio.
b) pelo menos um no foi solenidade de colao de
grau de Hlcio.
c) alguns foram solenidade de colao de grau de Hlcio,
mas no foram ao casamento de Hlio.
d) alguns foram solenidade de colao de grau de Hlcio
e nenhum foi ao casamento de Hlio.
e) todos foram solenidade de colao de grau de Hlcio
e nenhum foi ao casamento de Hlio.
Resoluo
Casrio
do Hlio
amigos
Formatura
de Hlcio
amigos
3.2 Associao
Problemas que so prestadas informaes de
diferentes tipos, como por exemplo: nomes,
objetos, cores, qualidades, caracterstica,
peculiaridades... So resolvidos atravs de
associaes ou correlacionamento.
Vejamos alguns exemplos:
Exerccio 1 pg. 13
(AFTN 96 ESAF) Os carros de Artur, Bernardo e Csar
so, no necessariamente nesta ordem, uma Braslia,
uma Parati e um Santana. Um dos carros cinza, um
outro verde, e o outro azul. O carro de Artur cinza;
o carro de Csar o Santana; o carro de Bernardo no
verde e no a Braslia. As cores da Braslia, da
Parati e do Santana so respectivamente:
a) cinza, verde e azul.
b) cinza, azul e verde.
c) azul, cinza e verde.
d) verde, azul e cinza.
e) azul, verde e cinza.
Resoluo
Artur Bernar. Csar
Braslia
Parati
Santa.
Artur Bernar. Csar
Cinza
verde
azuI
nomes das pessoas
x
modelos de carros,
nomes das pessoas
x
cores dos carros:
S
N
N
N N
N
N
N
S
N
N
N
N
N
S
S
S
S
Artur tem uma Braslia cinza!
Bernardo tem uma Parati azul!
Csar tem um Santana verde!
Concluso:
3.3.Verdades e Mentiras
Quem o culpado
O primeiro passo ser relacionar todas as
declaraes feitas no enunciado.
O segundo passo, veremos que, alm das
declaraes, o enunciado dessas questes de
verdades e mentiras SEMPRE nos fornecero
alguma ou algumas INFORMAES
ADICIONAIS!
Exerccio 1 pg. 15
(Fiscal Trabalho 98 ESAF) Um crime foi cometido por
uma e apenas uma pessoa de um grupo de cinco
suspeitos: Armando, Celso, Edu, Juarez e Tarso.
Perguntados sobre quem era o culpado, cada um deles
respondeu:
Armando: "Sou inocente"
Celso: "Edu o culpado"
Edu: "Tarso o culpado"
Juarez: "Armando disse a verdade"
Tarso: "Celso mentiu"
Sabendo-se que apenas um dos suspeitos mentiu e
que todos os outros disseram a verdade, pode-se
concluir que o culpado :
a) Armando b) Celso c) Edu d) Juarez e) Tarso
Resoluo
Informaes adicionais:
S h um culpado!
S h um mentiroso!
DECLARAES 1 Hipt. 2 Hipt.

3 Hipt.

4 Hipt.

5 Hipt.

1. Armando: "Sou inocente"
2. Celso: "Edu o culpado"
3. Edu: "Tarso o culpado"
4. Juarez: "Armando veraz"
5. Tarso: "Celso mentiu"
M
M
M
M
M
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
2 Hiptese: Edu (inoc.), Armando (inoc.), Tarso (culpado), Armando (v), Celso(M)
3 Hiptese: Tarso (inoc.), Armando (inoc.) Edu (culpado), Armando (V), Celso (M)