Pgina 1 de 17
Introduo
Lgica a cincia que pretende fornecer, mediante o estudo das estruturas do pensamento, as regras que
devemos seguir se desejamos formular raciocnios vlidos e corretos. A lgica formal, base do nosso estudo, se
ocupa apenas no que se refere a estrutura, ou o que quer dizer o mesmo, no se preocupa com a verdade, mas
com a validade de nossos argumentos.
CLCULO PROPOSICIONAL
CLCULO PROPOSICIONAL ou CLCULO SENTENCIAL, consiste em operaes com proposies.
CONCEITO DE PROPOSIO
So sentenas declarativas afirmativas s quais podemos atribuir apenas um dos valores lgicos:
verdade ou falsidade.
Janeiro tem 31 dias e 2 um nmero primo. (O valor lgico dessa proposio a verdade.)
PRINCPIO FUNDAMENTAL DAS PROPOSIES
1o ) Princpio do terceiro excludo.
Uma proposio s pode ser verdadeira ou falsa, no havendo outra alternativa.
2o ) Princpio da no-contradio.
Uma proposio no pode ser ao mesmo tempo verdadeira e falsa.
SMBOLOS DA LINGUAGEM DO CLCULO PROPOSICIONAL
* VARIVEIS PROPOSICIONAIS: p,q,r,s,.... para indicar as proposies.
Exemplos:
SINTAXE: : e ,
: ou ,
: se...ento ,
: se e somente se ,
: no
Exemplos:
Janeiro tem 31 dias e 2 um nmero primo. : p q
Janeiro tem 31 dias ou 2 um nmero primo. : p q
Se janeiro tem 31 dias ento 2 um nmero primo. : p q
Janeiro tem 31 dias se e somente se 2 um nmero primo. : p q
Janeiro no tem 31 dias. : ~ p
SMBOLOS AUXILIARES : ( ) , parnteses que servem para determinar a "extenso" dos conectivos;
Exemplos:
Se Janeiro tem 31 dias e 2 um nmero primo ento Janeiro no tem 31 dias.
((p q) p)
Janeiro no tem 31 dias se e somente se 2 um nmero primo:
((
p) q))
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 2 de 17
6 + 3 = 20 . . . . . . . . . . . . . . . falsa
x , x + 3 = 20 . . . . . . . . . . .falsa
x IN, x + 3 = 17 . . . . . . . . falsa
| x IN , x + 3 = 20 . . . . . . verdadeira.
RACIOCNIO LGICO Parte I
www.didaticadosconcursos.com.br
AS TABELAS VERDADE
1.Tabela verdade da "negao".
A negao de uma proposio p a proposio composta que se obtm a partir de p antecedida do
conectivo lgico no ou outro equivalente.
Exemplos:
a) p: Os Atleticanos so fanticos.
~p: No verdade que os Atleticanos so fanticos.
b) p: Dois um nmero mpar.
~p: falso dizer que dois mpar..
c) p: Os Cruzeirenses so maioria em B.H.
~p: Os Cruzeirenses no so maioria em B.H.
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 3 de 17
Tabela Verdade
p
~p
F V
~p verdadeira (falsa) se e somente se p falsa (verdadeira).
2. Tabela verdade da "conjuno".
Uma proposio composta do tipo p e q chamada de conjuno das proposies p e q.
Exemplos:
1o ) p: Pel mineiro.
q: 2 um nmero par.
p q: Pel mineiro e 2 um nmero par.
p=V
q=V
pq=V
2o )
p=V
q=F
pq=F
Tabela Verdade
p
q
pe q
V
V
V
V
F
F
F
V
F
F
F
F
A proposio composta p e q ser verdadeira se as proposies simples forem ambas verdadeiras.
3. Tabela verdade da "disjuno".
A disjuno verdadeira se, e somente, pelo menos uma das proposies simples for verdadeira.
Exemplos:
1o ) p: Curitiba a capital do Paran.
q: Zero um nmero natural.
p q: Curitiba a capital do Paran ou zero um nmero natural.
p = V
q = V
pq = V
2o )
p: Os gatos so mamferos.
q: 7 x 7 = 14
p q: Os gatos so mamferos ou 7 x 7 = 14
p = V
q = F
pq = V
3o )
p = F
q = F
pq= F
Tabela Verdade
p
V
V
q
V
F
p ou q
V
V
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 4 de 17
F
F
V
F
V
F
A proposio composta p ou q ser verdadeira se, e somente, pelo menos uma das proposies simples for
verdadeira. .
NOTA: "OU EXCLUSIVO" importante observar que "ou" pode ter dois sentidos na linguagem habitual:
inclusivo (disjuno) e exclusivo onde p q significa ((p q) (p q)).
Tabela Verdade
p
q
p q
V
V
F
V
F
V
F
V
V
F
F
F
Exemplos:
Joo mineiro ou carioca.
A criana recm nascida menino ou menina.
4. Tabela verdade da "implicao" ou condicional
A proposio composta se p, ento q chamada de condicional, onde p o antecedente e q o
conseqente.
Leituras: p q
Se p, ento q;
p implica q;
p condio suficiente para q;
q condio necessria para p.
Exemplos:
1o ) p: Airton Senna morreu em um acidente.
q: 13 um nmero primo.
p q: Se Airton Senna morreu em um acidente, ento 13 um nmero primo.
p = V
q = V
pq = V
2o ) p: O Natal comemorado no ms de dezembro.
q: 32 = 6
p q: Se o Natal comemorado no ms de dezembro, ento 32 igual a 6.
p = V
q = F
pq = F
3o ) p: Minas Gerais tem praia.
q: 24 = 16
p q: Se Minas Gerais tem praia, ento 24 = 16.
p = F
q = V
pq = V
4o ) p: O Brasil uma Monarquia.
q: -3 um nmero natural.
p q: Se o Brasil uma Monarquia, ento -3 um nmero natural.
p = F
q = F
pq = V
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 5 de 17
Exemplos:
Suponha verdadeira a seguinte preposio: Se Joo culpado, ento amanh chover.
O conseqente amanh chover no uma deduo do antecedente Joo culpado.
No podemos afirmar que o antecedente Joo culpado seja verdadeiro.
Se for verdade que Joo culpado, ento tambm ser verdade que amanh chover .
No podemos fazer nenhuma afirmao quanto veracidade de Joo culpado e nem de amanh
chover.
Se amanh chover for falsa, ento, Joo culpado tambm ser falsa.
Se Joo culpado for verdadeira, ento, amanh chover tambm ser verdadeira.
RACIOCNIO LGICO Parte I
www.didaticadosconcursos.com.br
Proposies RECPROCA INVERSA - CONTRAPOSITIVA
Dada a proposio condicional p q, defini-se outras trs como sendo:
INVERSA: Se no p, ento no q.
RECPROCA: Se q, ento p.
CONTRAPOSITIVA: Se no q, ento no p.
Exemplo:
Seja a proposio Se Joo culpado, ento Maria inocente.
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 6 de 17
q
V
F
V
F
p q
V
F
F
V
q)
Dupla Negao:
~ ( ~p ) = p
Exemplo:
p: Os atleticanos so fanticos.
~ p: Os atleticanos no so fanticos.
~ ( ~p ): Os atleticanas so fanticos. Ou ento: No verdade que os atleticanos no sejam fanticos.
Leis de Morgan:
~(pq) ~p~q
~(pq) ~p~q
Exemplos:
p: Joo culpado.
q: Carlos no cmplice.
p q: Joo culpado e Carlos no cmplice.
~ ( p q ): Joo no culpado ou Carlos cmplice.
p: Amanh chover.
q: Estou deprimido.
p q: Amanh chover ou estou deprimido.
~ ( p q ): Amanh no chover e no estou deprimido.
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 7 de 17
pq qp
pq qp
Leis Comutativas:
Equivalncias do Condicional:
~ ( p q ) p ~ q ( Negao do condicional )
pq ~q ~p
pq ~p q
Exemplos:
1) Se Pedro professor, ento ele honesto.
o Pedro professor e no honesto ( Negao do condicional )
o Se Pedro no honesto, ento no professor. ( Equivalncia )
o Pedro no professor ou Pedro honesto. ( Equivalncia )
2) Se Manoel pescador, ento ele mentiroso.
o Manoel pescador e no mentiroso. ( Negao do condicional )
o Se Manoel no mentiroso, ento ele no pescador. ( Equivalncia )
o Manoel no pescador ou ele mentiroso. ( Equivalncia )
Equivalncias do Bi-Condicional:
~ ( p q ) ( p ~ q ) ( q ~ p ) ( Negao do bi-condicional )
Exemplos:
1)
Irei ao cinema se, e somente se no chover.
Negao: Irei ao cinema e chover ou no chover e no irei ao cinema.
2)
Chover condio necessria e suficiente para no ir praia.
Negao: Chover e irei praia ou no irei praia e no chover.
NEGAO
x y
x y
x < y
x y
x > y
Exemplos:
A negao de 4 = 5 4 5
2) A negao de 3 > 1 3 1
3) A negao de x 2 x < 2
4) A negao de y < 5 y 5
5) A negao de x 6 x > 6
PROPOSIES CATEGRICAS
Certos enunciados se apresentam freqentemente na Lgica Clssica e tradicionalmente so chamados de
Proposies Categricas. So proposies em que existe uma relao entre atributos que denotam conjuntos ou
classes com as prprias proposies. Relacionaremos as quatro proposies mais comuns:
Todo S P.
Nenhum S P.
Algum S P.
Algum S no P.
CARACTERIZAO DE UMA PROPOSIO CATEGRICA
Quantificador + classe de atributos + elo de ligao + classe de atributo.
DIAGRAMAS DE VENN PARA PROPOSIES CATEGRICAS
Se considerarmos P e Q dados acima como dois conjuntos quaisquer, os enunciados dados podem ser
interpretados como segue:
"Todo P Q" afirma que todos os elementos de P so elementos de Q, isto , P Q .
"Nenhum P Q" afirma que os conjuntos P e Q no tm elementos comum, isto , que P Q =
"Algum P Q" afirma que os conjuntos P e Q tm pelo menos um elemento em comum.
"Algum P no Q" afirma que P tem pelo menos um elemento que no est em Q.
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 8 de 17
Estas interpretaes podem ser feitas atravs de Diagramas de Venn, os quais so teis na verificao da
validade de argumentos cujas premissas e concluso so enunciados categricos.
Lembramos que no Clculo Proposicional os diagramas de Venn foram utilizados para estabelecer uma
correlao entre as linhas da tabela verdade de uma frmula e as regies do diagrama de Venn correspondente.
Para verificarmos a validade de um argumento, as interpretaes dos enunciados categricos nos
Diagramas de Venn sero consideradas como segue:
1. Cada diagrama representa uma classe de objeto que quando em branco indica ausncia de informao a
respeito do conjunto.
2. Crculo hachurado ou regio de um crculo hachurada, representa regio VAZIA de elementos.
3. Crculo ou regio de um crculo com x representa regio no vazia de elementos.
Exemplo: Se C representa o predicado "ser culpado" temos os diagramas abaixo:
C
C
No culpado
Alguns so culpados
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 9 de 17
A parte hachurada corresponde ao enunciado (1), vazia de elementos; a parte assinalada com X
corresponde ao enunciado (2). Dessa forma, as informaes das premissas forem transferidas para o diagrama e a
concluso (3) est representada. Portanto o argumento vlido.
Exemplo II.
Todos os brasileiros so felizes.
Todos os paulistas so brasileiros.
Todos os paulistas so felizes.
Vemos que o argumento vlido pelo diagrama acima.
Exemplo III.
(1) Nenhum estudante velho .
(2) Alguns jovens no so estudantes.
(3)Alguns velhos no so jovens.
A premissa (1) est representada na regio hachurada e a premissa (2) est marcada com X sobre a linha
pois a informao correspondente pode estar presente em duas regies e no temos informao para saber
especificamente em qual delas. Desse modo o argumento no vlido pois a concluso no est representada
com absoluta certeza.
A validade de um argumento no depende do contedo dos enunciados e sim da sua forma e da relao
entre as premissas e a concluso.
Exerccios
1. Escreva o nmero seguinte nessa seqncia 0, 1, 1, 2, 3, 5, 8,
a) 9
b) 10
c) 11
d) 12
e) 13
2. Escreva o nmero seguinte nessa seqncia 0, 1, 1, 2, 4, 7, 13, 24,
a) 44
b) 45
c) 46
d) 47
e) 48
3. Um missionrio foi capturado por canibais em uma floresta. Os canibais ento lhe fizeram a seguinte
proposta:
- Se fizer uma declarao verdadeira, ser cozido com batatas.
- Se fizer uma declarao falsa, ser assado na churrasqueira.
Como o missionrio usar a lgica, podemos concluir que:
a) ser cozido
b) ser assado
c) no poder ser cozido nem assado
d) ser cozido e assado ao mesmo tempo
e) Dir: " ruim, heim!!!"
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 10 de 17
1
3
5
7
9
5. Numa certa cidade, dez por cento das mulheres pensam que so homens e dez por cento dos homens
pensam que so mulheres. Todas as outras pessoas so perfeitamente normais. Certo dia todas as pessoas
dessa cidade foram testadas por um psiclogo, verificando que 20% das pessoas pensavam que eram
homens. Qual a porcentagem real de mulheres?
a) 75,5%
b) 80,0%
c) 85,5%
d) 87,5%
e) 95,5%
Gabarito Raciocnio Lgico
1 E - Cada termo igual a soma dos dois anteriores. Logo: 5 + 8 = 13
2 A - Cada termo a soma dos trs termos anteriores. Logo: 7 + 13 + 24 = 44
3 C - Basta dizer: - Serei assado na churrasqueira
4 C - Observe que todos os nmeros do produto so mpares; alm disso o produto de um nmero mpar
por 5 termina com 5. Logo a opo correta o algarismo das unidades 5.
5 D - Sejam H e M o nmero de homens e mulheres. Ento:
O nmero de mulheres que pensam que so homens M/10
O nmero de homens que pensam que so homens 9H/10
Logo o total de pessoas que pensam que so homens M/10+9H/10=2(M+H)/10
Da M + 9H = 2(M + H), logo 7H = M
O problema quer a porcentagem de mulheres
M/(H+M)=7H/(H+7H)=7/8=0,875
Raciocnio com palavras
1. Todos os marinheiros so republicanos. Assim sendo:
a) o conjunto dos marinheiros contm o conjunto dos republicanos.
b) o conjunto dos republicanos contm o conjunto dos marinheiros.
c) todos os republicanos so marinheiros.
d) algum marinheiro no republicano.
e) nenhum marinheiro republicano.
2. Assinale a alternativa que apresenta uma contradio.
a) Todo espio no vegetariano e algum vegetariano espio.
b) Todo espio vegetariano e algum vegetariano no espio.
c) Nenhum espio vegetariano e algum es pio no vegetariano.
d) Algum espio vegetariano e algum es pio no vegetariano.
e) Todo vegetariano espio e algum espio no vegetariano.
3. Todos os que conhecem Joo e Maria admiram Maria. Alguns que conhecem Maria no a admiram.
Logo:
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 11 de 17
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 12 de 17
10. A proposio ' necessrio que todo acontecimento tenha causa' equivalente a:
a) possvel que algum acontecimento no tenha causa.
b) No possvel que algum acontecimento no tenha causa.
c) necessrio que algum acontecimento no tenha causa.
d) No necessrio que todo acontecimento tenha causa.
e) impossvel que algum acontecimento tenha causa.
11. Continuando a seqncia 47, 42, 37, 33, 29, 26, ... , temos:
a) 21
b) 22
c) 23
d) 24
e) 25
12. ' ... pensador crtico precisa ter uma tolerncia e at predileo por estados cognitivos de conflito, em
que o problema ainda no totalmente compreendido. Se ele ficar aflito quando no sabe 'a resposta
correta', essa ansiedade pode impedir a explorao mais completa do problema.' (David Canaher, Senso
Crtico).
O autor quer dizer que o pensador crtico:
a) precisa tolerar respostas corretas.
b) nunca sabe a resposta correta.
c) precisa gostar dos estados em que no sabe a resposta correta.
d) que no fica aflito explora com mais dificuldades os problemas.
e) no deve tolerar estados cognitivos de conflito.
13. As rosas so mais baratas do que os lrios. No tenho dinheiro suficiente para comprar duas dzias de
rosas. Logo:
a) tenho dinheiro suficiente para comprar uma dzia de rosas.
b) no tenho dinheiro suficiente para comprar uma dzia de rosas.
c) no tenho dinheiro. suficiente para comprar meia dzia de lrios.
d) no tenho dinheiro suficiente para comprar duas dzias de lrios.
e) tenho dinheiro suficiente para comprar uma dzia de lrios.
14. Se voc se esforar, ento ir vencer. Assim sendo:
a) seu esforo condio suficiente para vencer.
b) seu esforo condio necessria para vencer.
c) se voc no se esforar, ento no ir vencer.
d) voc vencer s se se esforar.
e) mesmo que se esforce, voc no vencer.
15. Se os tios de msicos sempre so msicos, ento:
a) os sobrinhos de no msicos nunca so msicos.
b) os sobrinhos de no msicos sempre so msicos.
c) os sobrinhos de msicos sempre so msicos.
d) os sobrinhos de msicos nunca so msicos.
e) os sobrinhos de msicos quase sempre so msicos.
16. O paciente no pode estar bem e ainda ter febre. O paciente est bem. Logo, o paciente:
a) tem febre e no est bem.
b) tem febre ou no est bem.
c) tem febre.
d) no tem febre.
e) no est bem.
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 13 de 17
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 14 de 17
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 15 de 17
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 16 de 17
30. Assinale a alternativa em que ocorre uma concluso verdadeira (que corresponde realidade) e o
argumento invlido (do ponto de vista lgico).:
a) Scrates homem, e todo homem mortal, portanto Scrates mortal.
b) Toda pedra um homem, pois alguma pedra um ser, e todo ser homem.
c) Todo cachorro mia, e nenhum gato mia, portanto cachorros no so gatos.
d) Todo pensamento um raciocnio, portanto, todo pensamento um movimento, visto que todos os
raciocnios so movimentos.
e) Toda cadeira um objeto, e todo objeto tem cinco ps, portanto algumas cadeiras tem quatro ps.
Gabarito Raciocnio com palavras
1
2
3
4
5
B
A
C
E
E
6
7
8
9
10
B
B
D
C
B
11
12
13
14
15
C
C
D
A
A
16
17
18
19
20
D
C
A
D
D
21
22
23
24
25
B
E
C
B
C
26
27
28
29
30
E
A
D
B
E
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008
RACIOCNIO LGICO
Pgina 17 de 17
Quadro IV - Descubra os
vazios (?) com as letras
maisculas que identificam
os desenhos direita. Anote as
respostas para conferir no
gabarito.
Quadro III - Resposta certa : na figura abaixo. Quantas tentativas erradas voc fez? Os
problemas de labirinto esto relacionados com a capacidade de orientao.
Quadro IV - Resposta certa : A - (h); B - e) ; C - c) e (j). Se voc acertou todas as respostas,
pode dizer por qu? Cada coluna do teste tem uma figura completa, metade dessa figura e um
quarto da mesma figura. Muitas pessoas percebem essa seriao e procuram a figura que falta;
outras vem a resposta sem saber o porqu.
RACIOCNIO LGICO Parte I
www.didaticadosconcursos.com.br
https://www.antssoft.com/4%20raciocinio%20logico_igp_rs_parte%20i.htm
17/8/2008