Escolar Documentos
Profissional Documentos
Cultura Documentos
Raciocnio Lgico
Apostila
Pedro Evaristo
Raciocnio Lgico
CAPTULO 1
ESTRUTURA LGICA: INVESTIGAO
Somos o que fazemos, mas somos principalmente, 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
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
Idade
T
25
25
27
25
27
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
A
B
C
HIPTESES
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
A comeu
B comeu
C comeu
F
V
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
B comeu
C comeu
F
V
F
V
F
V
F
V
F
V
F
V
V
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.
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.
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
Kant
Wittgenstein
Luciano
F
Cludio
Fernanda
Frege
Kant
Wittgenstein
Luciano
F
Cludio
Fernanda
Frege
Kant
Wittgenstein
Luciano
F
F
Cludio
Fernanda
F
VERDADE
Como Luciano no estuda nem Frege, nem Wittgenstein ento por excluso ele
estuda Kant. Nesse caso resta apenas que Fernanda estuda Frege
Luciano
Frege
F
Kant
VERDADE
Wittgenstein
F
Cludio
F
VERDADE
Fernanda
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
IDADE
BRINQUEDO
BELARMIN
O
CLEOSVALD
O
6
Play
Play
BELARMIN
O
11
Atari
CLEOSVALD
O
6
BELARMIN
O
11
Atari
CLEOSVALD
O
6
Falcon
8
Play
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
VESTIDO
SAPATOS
CAMILA
Az
Sabendo que Nem o vestido nem os sapatos de Bruna so brancos, ento Anna
tem que ter sapatos brancos
ANNA
VESTIDO
SAPATOS
BRUNA
Br
CAMILA
Az
VESTIDO
SAPATOS
ANNA
Br
Br
BRUNA
CAMILA
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
VESTIDO
SAPATOS
ANNA
Br
Br
BRUNA
Az
Pr
CAMILA
Pr
Az
10
Raciocnio Lgico
HIPTESES
ALYSSON
BOSCO
CLEBER
DANIEL
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:
HIPTESES
ALYSSON
BOSCO
Prof. Pedro Evaristo
Raciocnio Lgico
CLEBER
DANIEL
F
F
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:
HIPTESES
ALYSSON
BOSCO
CLEBER
DANIEL
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:
HIPTESES
ALYSSON
BOSCO
CLEBER
DANIEL
Somente um mentiu
(F)
3 Hiptese: Cleber culpado (ACEITA)
Somente
um
falou
a
verdade (V)
4 Hiptese: Daniel culpado (REJEITADA)
12
Raciocnio Lgico
HIPTESES
C
C
P
P
L
L
L
P
C
L
P
C
P
L
L
C
C
P
HIPTESES
C
C
P
P
L
L
L
P
C
L
P
C
P
L
L
C
C
P
13
Raciocnio Lgico
HIPTESES
C
C
P
P
L
L
L
P
C
L
P
C
P
L
L
C
C
P
HIPTESES
C
C
P
P
L
L
L
P
C
L
P
C
P
L
L
C
C
P
14
Raciocnio Lgico
15
Raciocnio Lgico
16
Raciocnio Lgico
17
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
RESPOSTA
O filho do casal um beb em posio fetal que pode ser visto
nas linhas delimitadas pelos galhos da rvore, rochas e cho
onde eles esto.
18
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:
19
Raciocnio Lgico
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.
LINK:
A
B
EX.: Pessoas que so atletas
1 o. A B = B A
(A) ou baianos (B)
2o A = A
(o ou no excludente,
3o A A = A
portanto isso significa que o
4o (A B) C = A (B C)
conjunto unio abrange os
5o n(A B) = n(A) + n(B) n(A B)
AB
elementos que fazem parte de
pelo menos um dos conjuntos)
INTERSEO ( )
Interseo de dois conjuntos A e B o conjunto formado pelos elementos que
pertencem ao mesmo tempo a ambos os conjuntos dados.
A
AB
LINK:
1o A B = B A
2o A =
3o A A = A
4o (A B) C = A (B C)
20
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.
A
AB
COMPLEMENTAR EM RELAO AO UNIVERSO
O complementar de A, o conjunto de todos os elementos do conjunto
universo que no pertencem ao conjunto A.
A
CA = 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.
A
(AB) - (AB)
21
Raciocnio Lgico
LINK:
Observe como representar em trs diagramas, alguns
termos muito usados em provas:
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.
22
Raciocnio Lgico
EXEMPLO:
4 um nmero par (VERDADEIRO)
Pel jogou futebol no Flamengo (FALSO)
LINK:
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.
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)
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)
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)
OPTATIVA
Essa classificao menos conhecida, ocorre quando se
exprime um bom desejo.
V com Deus!
Tenha um dia feliz.
EXCLAMATIVA
So frases que exprimem uma emoo, apresentando
entoao ligeiramente prolongada.
Que prova difcil! (ADMIRAO)
Voc aqui na cidade?! (SURPRESA)
IMPRECATIVA
Ainda menos conhecida que a optativa, esse tipo de
frase exprime um mau desejo.
Vai te lascar!
Eu quero mais que ela morra!
23
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.
Prof. Pedro Evaristo
24
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)
LINK:
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.
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.
25
Raciocnio Lgico
EX.:
EQUIVALNCIAS:
A: Nenhum advogado bancrio A: No existe advogado que seja bancrio
A: Todo advogado no bancrio
A: Se ele advogado, ento no bancrio
ADVOGADOS
BANCRIOS
NEGAES:
~A: No verdade que nenhum advogado bancrio
~A: Existe pelo menos um advogado que bancrio
~A: Algum 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
ADVOGADOS
BANCRIOS
EQUIVALNCIAS:
B: Pelo menos um advogado bancrio
B: Existe advogado que bancrio
B: H um advogado que seja bancrio
NEGAES:
~B: No verdade que algum advogado bancrio
~B: No existe um advogado que seja bancrio
~B: Nenhum 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
ADVOGADOS
EQUIVALNCIAS:
C: Nenhum advogado no bancrio
C: No existe advogado que no seja bancrio
C: Se ele advogado, ento bancrio
BANCRIOS
26
Raciocnio Lgico
NEGAES:
~C: No verdade que todo advogado bancrio
~C: Existe pelo menos um advogado que no
bancrio
~C: Algum advogado no bancrio
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:
GULOSO
COMILO
GORDINHO
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.
27
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:
1o
2o
3o
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:
1o
2o
28
Raciocnio Lgico
2o
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.
29
Raciocnio Lgico
Resposta: C
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.
LINK:
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.
30
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.
31
Raciocnio Lgico
32
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.
33
Raciocnio Lgico
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 estendese 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:
34
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
35
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" ).
LINK:
EXEMPLOS:
p: 2 pontos distintos determinam uma nica reta (V)
~p: 2 pontos distintos no determinam uma nica reta (F)
IMPORTANTE:
Afirmao e negao sempre
possuem valores lgicos
contrrios!
Se A V, ento ~A F
Se A F, ento ~A V
A ~A
q: Joo magro
~q: Joo no magro
F V
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.
36
Raciocnio Lgico
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")
LINK:
FRMULA
n de linhas da tabela = 2(n de proposies simples)
o
37
Raciocnio Lgico
CONJUNO (E)
A B (l-se Premissa A e premissa B)
AB
V
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.
LINK:
A B
Premissa A e premissa B
38
Raciocnio Lgico
PREMISSAS
NO
EXCLUDENTES:
so
aquelas
que
podem
ocorrer
AB
V
V
V
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).
39
Raciocnio Lgico
LINK:
A v B
Premissa A ou premissa B
PREMISSAS
EXCLUDENTES:
so
aquelas
que
no
podem
ocorrer
40
Raciocnio Lgico
TABELA VERDADE
A
V
V
F
F
B
V
F
V
F
AB
F
V
V
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)
41
Raciocnio Lgico
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
V
V
V
F
F
V
F
F
AB
V
F
V
V
CONCLUSES:
Observe que a afirmao s ser falsa, se Pedro receber o dinheiro e mesmo assim
no for praia.
42
Raciocnio Lgico
LINK:
A B
Se premissa A, ento premissa B
~B ~A
Se no for verdadeira a premissa B, ento no
ser verdadeira a premissa A
AB
V
F
V
F
43
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
OBS.:
A condio necessria e suficiente para que B
ocorra
B condio necessria e suficiente para que A
ocorra
44
Raciocnio Lgico
NECESSRIO x SUFICIENTE
CONDIO SUFICIENTE: condio mxima que deve ser atendida (basta que A
ocorra para B ocorrer)
RESUMINDO:
Quem est do lado esquerdo do condicional sempre condio suficiente para
quem fica do lado direito.
A B
A SUFIENTE para
B
~B ~A
~B SUFIENTE para
~A
A B
B NECESSRIO para
A
~B ~A
~A NECESSRIO para
~B
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.
45
Raciocnio Lgico
A B
(A B) (B A)
A NECESSRIO e
SUFICIENTE para B A SUFICIENTE
para B
A NECESSRIO
para B
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
A
V
V
F
F
V
F
V
F
V
F
F
F
B
V
V
V
F
A
B
F
V
V
F
V
F
V
V
V
F
F
V
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
Prof. Pedro Evaristo
46
Raciocnio Lgico
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.
SP
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
47
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: Caso no faa sol, ficarei em casa
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
Prof. Pedro Evaristo
48
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
V
V
F
F
B
V
F
V
F
TABELA VERDADE
~A ~B
V
F
F
F
F
V
F
V
F
V
V
F
F
V
V V
F
V
V
V
49
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
V
V
F
F
B
V
F
V
F
TABELA VERDADE
AB
~A ~B ~A ~B
V
F
F
F
F
V
F
F
V
F
V
F
V
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
verdade
50
Raciocnio Lgico
A
V
V
F
F
B
V
F
V
F
TABELA VERDADE
AB
A ~B A ~B
V
F
V F
F
F
V
V V
V
V
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.
LINK:
EQUIVALNCIAS
NEGAES
A B = (A B) v (~A
~B)
~(A B) = ~A v ~B
A B = (A B) (B
A)
~(A v B) = ~A ~B
~(A v B) = (A B) v (~A
~B)
AB=BA
~(A v B) = A B
A B = ~B ~A
~(A B) = A v B
A B = ~(A ~B) = ~A
vB
~(A B) = A ~B
A = ~(~A)
LINK:
51
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)
52
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)
b)
c)
d)
e)
f)
g)
~A
h)
i)
~(A
j)
k)
l)
m) ~(A
n)
(A
o)
A (B
p)
~A (B
53
Raciocnio Lgico
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
A
V
V
F
F
B
V
F
V
F
TABELA VERDADE
AB AB AB AB
A
V
V
F
V
V
F
V
V
F
F
F
V
V
V
F
F
F
F
V
V
54
Raciocnio Lgico
55
Raciocnio Lgico
56
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
Prof. Pedro Evaristo
57
Raciocnio Lgico
58
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.
59
Raciocnio Lgico
LINK:
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
V
V
F
F
B A B ~A B ~A B
V
V
F V
V
F
F
F F
F
V
V
V V
V
F
V
V F
V
60
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
e
ou
se ... ento
se e
somente se
SMBOLO
S
V
V
F
F
A
B
A
A
B B
A
B
A
B
(A
B)
(A
B)
(A
B)
A
B
B
A
A
B
V
F
V
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
61
Raciocnio Lgico
62
Raciocnio Lgico
P
Q
R
T
Fumar
deve
ser
proibido.
Fumar
deve
ser
encorajado.
Fumar no faz bem
sade.
Muitos
europeus
fumam.
63
Raciocnio Lgico
64
Raciocnio Lgico
65
Raciocnio Lgico
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.
66
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:
sujeito e predicado;
mortal o predicado lgico, e fica aps a cpula.
67
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
PREMISSAS
ARGUMENTO
VLIDO
Joo um homem
Joo mortal
CONCLUSO
EXEMPLO:
Se eu receber dinheiro, viajo
Se eu viajar, fico feliz
Prof. Pedro Evaristo
PREMISSAS
ARGUMENTO
VLIDO
68
Raciocnio Lgico
Recebi dinheiro
Ento estou feliz
CONCLUSO
EXEMPLO:
Leo arquiteto ou bancrio
PREMISSAS
ARGUMENTO
VLIDO
Leo no bancrio
Leo arquiteto
CONCLUSO
EXEMPLO:
Recebendo o seguro, compro a moto
PREMISSAS
ARGUMENTO INVLIDO
PREMISSAS
PREMISSAS
Fui praia
Ento fez sol
CONCLUSO
ERRADA
69
Raciocnio Lgico
EXEMPLO:
Todo homem mortal
Joo mortal
Joo um homem
EXEMPLO:
Se Joo honesto, ele inocente
PREMISSAS
CONCLUSO
ERRADA
PREMISSAS
CONTRADIO
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.
70
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
~CH
71
Raciocnio Lgico
Partindo da proposio simples "No choveu no fim de semana" (~CH), segue por
efeito domin a seqncia conclusiva representada pelas setas.
~CH
V
P
V
2
3
P
V
CC
V
CC
V
~CH
V
AM
72
Raciocnio Lgico
AM
RD
VA
VA
RD
Partindo da proposio simples "Joo recebeu dinheiro" (RD), segue por efeito
domin a seqncia conclusiva representada pelas setas.
~JC
V
JC
F
AM
F
VA3
V
2
1
RD
V
AM
F
EFEITO DOMIN:
VA
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.
73
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 5
F
Concluses:
RS
F 3
~BL
F
LL RS
F 1
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.
Prof. Pedro Evaristo
74
Raciocnio Lgico
75
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.
HISTRIA
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,
76
Raciocnio Lgico
77
Raciocnio Lgico
OBJETIVO
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.
1
U
2
U
3
4
U
5
U
6
U
7
U
8
U
9
1 2 3 4 5 6 7 8 9
U U
U U U U U U
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.
78
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:
3
1 7 7
Cruzamento: a varredura das linhas (ou colunas) para identificar que
linha em uma regio particular pode conter um determinado
9 2 8
numero por um processo do eliminao. Este processo repetido
3 4
6 7
5
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.
79
Raciocnio Lgico
PASSO A PASSO
1 PASSO
2 PASSO
3 PASSO
4 PASSO
5 PASSO
6 PASSO
80
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:
81
Raciocnio Lgico
82
Raciocnio Lgico
FCIL
83
Raciocnio Lgico
MDIO
84
Raciocnio Lgico
DIFCIL
85