3 - Raciocinio Lógico

RACIOCNIO LGICO
RACIOCNIO LGICO
Premissa:
em gua.
1 LGICA DE ARGUMENTAO:
ANALOGIAS, INFERNCIAS, DEDUES E
CONCLUSES.
Os argumentos, em lgica, possuem dois componentes

bsicos: suas premissas e sua concluso. Por exemplo, em: Todos
os times brasileiros so bons e esto entre os melhores times do
mundo. O Brasiliense um time brasileiro. Logo, o Brasiliense
est entre os melhores times do mundo, temos um argumento com
duas premissas e a concluso.
Evidentemente, pode-se construir um argumento vlido a
partir de premissas verdadeiras, chegando a uma concluso tambm
verdadeira. Mas tambm possvel construir argumentos vlidos a
partir de premissas falsas, chegando a concluses falsas. O detalhe
que podemos partir de premissas falsas, proceder por meio de
uma inferncia vlida e chegar a uma concluso verdadeira. Por
exemplo:
Premissa: Todos os peixes vivem no oceano.
Premissa: Lontras so peixes.
Concluso: Logo, focas vivem no oceano.
Um argumento uma srie concatenada de afirmaes com

o fim de estabelecer uma proposio definida. um conjunto de
proposies com uma estrutura lgica de maneira tal que algumas
delas acarretam ou tem como consequncia outra proposio. Isto
, o conjunto de proposies p1,...,pn que tem como consequncia
outra proposio q. Chamaremos as proposies p1,p2,p3,...,pn
de premissas do argumento, e a proposio q de concluso do
argumento. Podemos representar por:
Todos os sabes so sais de sdio.

____________________________________
Todos os sabes so substncias solveis
Concluso:
em gua.
Argumentos
p1
p2
p3
.
.
.
pn
Todos os sais de sdio so substncias solveis
H, no entanto, uma coisa que no pode ser feita: a partir de

premissas verdadeiras, inferirem de modo correto e chegar a uma
concluso falsa. Podemos resumir esses resultados numa tabela
de regras de implicao. O smbolo A denota implicao; A a
premissa, B a concluso.
Exemplos:
Regras de Implicao
01.
Se eu passar no concurso, ento irei trabalhar.
Passei no concurso
________________________
Irei trabalhar
02.
Se ele me ama ento casa comigo.
Ele me ama.
__________________________
Ele casa comigo.
Concluso
Inferncia
AB
Falsas
Falsa
Verdadeira
Falsas
Verdadeira
Verdadeira
Verdadeiras
Falsa
Falsa
Verdadeiras
Verdadeira
Verdadeira
- Se as premissas so falsas e a inferncia vlida, a concluso

pode ser verdadeira ou falsa (linhas 1 e 2).
- Se as premissas so verdadeiras e a concluso falsa, a
inferncia invlida (linha 3).
- Se as premissas e a inferncia so vlidas, a concluso
verdadeira (linha 4).
03.
Todos os brasileiros so humanos.
Todos os paulistas so brasileiros.
__________________________
Todos os paulistas so humanos.
Desse modo, o fato de um argumento ser vlido no significa

necessariamente que sua concluso seja verdadeira, pois pode ter
partido de premissas falsas. Um argumento vlido que foi derivado
de premissas verdadeiras chamado de argumento consistente.
Esses, obrigatoriamente, chegam a concluses verdadeiras.
04.
Se o Palmeiras ganhar o jogo, todos os jogadores recebero
o bicho.
Se o Palmeiras no ganhar o jogo, todos os jogadores
recebero o bicho.
__________________________
Todos os jogadores recebero o bicho.
Premissas: Argumentos dedutveis sempre requerem certo

nmero de assunes-base. So as chamadas premissas. a
partir delas que os argumentos so construdos ou, dizendo de outro
modo, as razes para se aceitar o argumento. Entretanto, algo que
uma premissa no contexto de um argumento em particular pode
ser a concluso de outro, por exemplo. As premissas do argumento
sempre devem ser explicitadas. A omisso das premissas
comumente encarada como algo suspeito, e provavelmente
reduzir as chances de aceitao do argumento.
Observao: No caso geral representamos os argumentos

escrevendo as premissas e separando por uma barra horizontal
seguida da concluso com trs pontos antes. Veja exemplo:
Didatismo e Conhecimento
Premissas
RACIOCNIO LGICO
A apresentao das premissas de um argumento geralmente
precedida pelas palavras admitindo que..., j que...,
obviamente se... e porque.... imprescindvel que seu oponente
concorde com suas premissas antes de proceder argumentao.
Usar a palavra obviamente pode gerar desconfiana. Ela
ocasionalmente faz algumas pessoas aceitarem afirmaes falsas
em vez de admitir que no entenda por que algo bvio. No
se deve hesitar em questionar afirmaes supostamente bvias.
b) Algumas ou todas as premissas falsas e uma concluso

verdadeira. Exemplo:
Todos os peixes tm asas. (F)
Todos os pssaros so peixes. (F)
__________________________________
Todos os pssaros tm asas. (V)
c) Algumas ou todas as premissas falsas e uma concluso

falsa. Exemplo:
Inferncia: Uma vez que haja concordncia sobre as

premissas, o argumento procede passo a passo por meio do
processo chamado inferncia. Na inferncia, parte-se de uma ou
mais proposies aceitas (premissas) para chegar a outras novas.
Se a inferncia for vlida, a nova proposio tambm dever ser
aceita. Posteriormente, essa proposio poder ser empregada em
novas inferncias. Assim, inicialmente, apenas se pode inferir algo
a partir das premissas do argumento; ao longo da argumentao,
entretanto, o nmero de afirmaes que podem ser utilizadas
aumenta. H vrios tipos de inferncia vlidos, mas tambm alguns
invlidos. O processo de inferncia comumente identificado
pelas frases Consequentemente... ou isso implica que....
Todos os peixes tm asas. (F)

Todos os ces so peixes. (F)
__________________________________
Todos os ces tm asas. (F)
Todos os argumentos acima so vlidos, pois se suas premissas

fossem verdadeiras ento as concluses tambm as seriam.
Podemos dizer que um argumento vlido quando todas as suas
premissas so verdadeiras, acarreta que sua concluso tambm
verdadeira. Portanto, um argumento ser no vlido se existir a
possibilidade de suas premissas serem verdadeiras e sua concluso
falsa. Observe que a validade do argumento depende apenas da
estrutura dos enunciados. Exemplo:
Concluso: Finalmente se chegar a uma proposio que

consiste na concluso, ou seja, no que se est tentando provar.
Ela o resultado final do processo de inferncia e s pode ser
classificada como concluso no contexto de um argumento em
particular. A concluso respalda-se nas premissas e inferida a
partir delas.
Todas as mulheres so bonitas.

Todas as princesas so mulheres.
__________________________
Todas as princesas so bonitas.
A seguir est exemplificado um argumento vlido, mas que

pode ou no ser consistente.
1. Premissa: Todo evento tem uma causa.
2. Premissa: O universo teve um comeo.
3. Premissa: Comear envolve um evento.
4. Inferncia: Isso implica que o comeo do universo envolveu
um evento.
5. Inferncia: Logo, o comeo do universo teve uma causa.
6. Concluso: O universo teve uma causa.
Observe que no precisamos de nenhum conhecimento

aprofundado sobre o assunto para concluir que o argumento
vlido. Vamos substituir mulheres bonitas e princesas por A, B e C
respectivamente e teremos:
Todos os A so B.
Todos os C so A.
________________
Todos os C so B.
A proposio do item 4 foi inferida dos itens 2 e 3. O item 1,

ento, usado em conjunto com proposio 4 para inferir uma
nova proposio (item 5). O resultado dessa inferncia reafirmado
(numa forma levemente simplificada) como sendo a concluso.
Logo, o que importante a forma do argumento e no o

conhecimento de A, B e C, isto , este argumento vlido para
quaisquer A, B e C, portanto, a validade consequncia da forma
do argumento. O atributo validade aplica-se apenas aos argumentos
dedutivos.
Validade de um Argumento
Conforme citamos anteriormente, uma proposio verdadeira
ou falsa. No caso de um argumento diremos que ele vlido ou no
vlido. A validade de uma propriedade dos argumentos dedutivos
que depende da forma (estrutura) lgica das suas proposies
(premissas e concluses) e no do contedo delas. Sendo assim
podemos ter as seguintes combinaes para os argumentos vlidos
dedutivos:
Argumentos Dedutivos e Indutivos

O argumento ser dedutivo quando suas premissas fornecerem
prova conclusiva da veracidade da concluso, isto , o argumento
dedutivo quando a concluso completamente derivada das
premissas. Exemplo:
a) Premissas verdadeiras e concluso verdadeira. Exemplo:
Todo ser humano tem me.

Todos os homens so humanos.
__________________________
Todos os homens tm me.
Todos os apartamentos so pequenos. (V)

Todos os apartamentos so residncias. (V)
__________________________________
Algumas residncias so pequenas. (V)
RACIOCNIO LGICO
O argumento ser indutivo quando suas premissas no
fornecerem o apoio completo para retificar as concluses.
Exemplo:
Este argumento evidentemente vlido e sua forma pode ser

escrita da seguinte maneira:
Se p, ento q,
O Flamengo um bom time de futebol.

O Palmeiras um bom time de futebol.
O Vasco um bom time de futebol.
O Cruzeiro um bom time de futebol.
______________________________
Todos os times brasileiros de futebol so bons.
No
q.
No p.
pq
ou
q
p
Existe tambm um tipo de argumento vlido conhecido pelo

nome de dilena. Geralmente este argumento ocorre quando algum
forado a escolher entre duas alternativas indesejveis. Exemplo:
Portanto, nos argumentos indutivos a concluso possui

informaes que ultrapassam as fornecidas nas premissas. Sendo
assim, no se aplica, ento, a definio de argumentos vlidos ou
no vlidos para argumentos indutivos.
Joo se inscreve no concurso de MS, porm no gostaria de

sair de So Paulo, e seus colegas de trabalho esto torcendo por
ele.Eis o dilema de Joo:
Argumentos Dedutivos Vlidos

Vimos ento que a noo de argumentos vlidos ou no
vlidos aplica-se apenas aos argumentos dedutivos, e tambm
que a validade depende apenas da forma do argumento e no dos
respectivos valores verdades das premissas. Vimos tambm que
no podemos ter um argumento vlido com premissas verdadeiras
e concluso falsa. A seguir exemplificaremos alguns argumentos
dedutivos vlidos importantes.
Ou Joo passa ou no passa no concurso.

Se Joo passar no concurso vai ter que ir embora de So Paulo.
Se Joo no passar no concurso ficar com vergonha diante
dos colegas de trabalho.
_________________________
Ou Joo vai embora de So Paulo ou Joo ficar com
vergonha dos colegas de trabalho.
Afirmao do Antecedente: O primeiro argumento dedutivo

vlido que discutiremos chama-se afirmao do antecedente,
tambm conhecido como modus ponens. Exemplo:

escrita da seguinte maneira:
p ou q.
Se Jos for reprovado no concurso, ento ser demitido do

servio.
Jos foi aprovado no concurso.
___________________________
Jos ser demitido do servio.
Se p ento r

Se p ento s.
r ou s

escrita da seguinte forma:
Se p, ento q,
ou
p.
q.
pq
p
q
p r
qs
r s
Existe certa quantidade de artimanhas que devem ser evitadas

quando se est construindo um argumento dedutivo. Elas so
conhecidas como falcias. Na linguagem do dia a dia, ns
denominamos muitas crenas equivocadas como falcias, mas, na
lgica, o termo possui significado mais especfico: falcia uma
falha tcnica que torna o argumento inconsistente ou invlido
(alm da consistncia do argumento, tambm se podem criticar as
intenes por detrs da argumentao).
Argumentos contentores de falcias so denominados
falaciosos. Frequentemente, parecem vlidos e convincentes,
s vezes, apenas uma anlise pormenorizada capaz de revelar
a falha lgica. Com as premissas verdadeiras e a concluso falsa
nunca teremos um argumento vlido, ento este argumento no
vlido, chamaremos os argumentos no vlidos de falcias. A
seguir, examinaremos algumas falcias conhecidas que ocorrem
com muita frequncia. O primeiro caso de argumento dedutivo no
vlido que veremos o que chamamos de falcia da afirmao do
consequente. Exemplo:
Se ele me ama, ento casa comigo equivalente a Se ele

no casa comigo, ento ele no me ama;
Ento vejamos o exemplo do modus tollens. Exemplo:
Se aumentarmos os meios de pagamentos, ento haver
inflao.
No h inflao.
______________________________
No aumentamos os meios de pagamentos.
ou
Argumentos Dedutivos No Vlidos
Outro argumento dedutivo vlido a negao do

consequente (tambm conhecido como modus tollens). Obs.:
p q equivalente a q p . Esta equivalncia
chamada de contra positiva. Exemplo:
p q
RACIOCNIO LGICO
Se ele me ama ento ele casa comigo.
Ele casa comigo.
_______________________
Ele me ama.
Todos os mamferos so mortais. (V)

Todas as cobras so mortais. (V)
__________________________
Todas as cobras so mamferas. (F)
Podemos usar as tabelas-verdade, definidas nas estruturas

lgicas, para demonstrarmos se um argumento vlido ou falso.
Outra maneira de verificar se um dado argumento P1, P2, P3,
...Pn vlido ou no, por meio das tabelas-verdade, construir
a condicional associada: (P1 P2 P3 ...Pn) e reconhecer se
essa condicional ou no uma tautologia. Se essa condicional
associada tautologia, o argumento vlido. No sendo tautologia,
o argumento dado um sofisma (ou uma falcia).
Tautologia: Quando uma proposio composta
sempre verdadeira, ento teremos uma tautologia. Ex:
P (p,q) =
( p q) (p V q) . Numa tautologia,
o valor lgico da proposio composta P (p,q,s) =
{(p q) V (p V s) V [p (q s)]} p ser sempre verdadeiro.
Podemos escrever esse argumento como:

p q
Se p, ento q,
q
p
q
p
ou
Este argumento uma falcia, podemos ter as premissas

verdadeiras e a concluso falsa.
Outra falcia que corre com frequncia a conhecida por
falcia da negao do antecedente. Exemplo:
H argumentos vlidos com concluses falsas, da mesma

forma que h argumentos no vlidos com concluses verdadeiras.
Logo, a verdade ou falsidade de sua concluso no determinam a
validade ou no validade de um argumento. O reconhecimento de
argumentos mais difcil que o das premissas ou da concluso.
Muitas pessoas abarrotam textos de asseres sem sequer
produzirem algo que possa ser chamado de argumento. s vezes,
os argumentos no seguem os padres descritos acima. Por
exemplo, algum pode dizer quais so suas concluses e depois
justific-las. Isso vlido, mas pode ser um pouco confuso.
Para complicar, algumas afirmaes parecem argumentos,
mas no so. Por exemplo: Se a Bblia verdadeira, Jesus foi
ou um louco, ou um mentiroso, ou o Filho de Deus. Isso no
um argumento, uma afirmao condicional. No explicita as
premissas necessrias para embasar as concluses, sem mencionar
que possui outras falhas.
Um argumento no equivale a uma explicao. Suponha
que, tentando provar que Albert Einstein cria em Deus, algum
dissesse: Einstein afirmou que Deus no joga dados porque
acreditava em Deus. Isso pode parecer um argumento relevante,
mas no . Trata-se de uma explicao da afirmao de Einstein.
Para perceber isso, deve-se lembrar que uma afirmao da forma
X porque Y pode ser reescrita na forma Y logo X. O que
resultaria em: Einstein acreditava em Deus, por isso afirmou que
Deus no joga dados. Agora fica claro que a afirmao, que
parecia um argumento, est admitindo a concluso que deveria
estar provando. Ademais, Einstein no cria num Deus pessoal
preocupado com assuntos humanos.
Se Joo parar de fumar ele engordar.

Joo no parou de fumar.
________________________
Joo no engordar.
Observe que temos a forma:
pq
Se p, ento q,
No
p.
No q.
ou
p
q
Este argumento uma falcia, pois podemos ter as premissas

verdadeiras e a concluso falsa.
Os argumentos dedutivos no vlidos podem combinar
verdade ou falsidade das premissas de qualquer maneira com a
verdade ou falsidade da concluso. Assim, podemos ter, por
exemplo, argumentos no vlidos com premissas e concluses
verdadeiras, porm, as premissas no sustentam a concluso.
Exemplo:
Todos os mamferos so mortais. (V)
Todos os gatos so mortais. (V)
___________________________
Todos os gatos so mamferos. (V)
QUESTES
Este argumento tem a forma:
01. Se Iara no fala italiano, ento Ana fala alemo. Se Iara fala
italiano, ento ou Ching fala chins ou Dbora fala dinamarqus.
Se Dbora fala dinamarqus, Elton fala espanhol. Mas Elton fala
espanhol se e somente se no for verdade que Francisco no fala
francs. Ora, Francisco no fala francs e Ching no fala chins.
Logo,
a) Iara no fala italiano e Dbora no fala dinamarqus.
b) Ching no fala chins e Dbora fala dinamarqus.
c) Francisco no fala francs e Elton fala espanhol.
d) Ana no fala alemo ou Iara fala italiano.
e) Ana fala alemo e Dbora fala dinamarqus.
Todos os A so B.
Todos os C so B.
_____________________
Todos os C so A.
Podemos facilmente mostrar que esse argumento no vlido,

pois as premissas no sustentam a concluso, e veremos ento que
podemos ter as premissas verdadeiras e a concluso falsa, nesta
forma, bastando substituir A por mamfero, B por mortais e C por
cobra.
RACIOCNIO LGICO
02. Sabe-se que todo o nmero inteiro n maior do que 1 admite
pelo menos um divisor (ou fator) primo. Se n primo, ento tem
somente dois divisores, a saber, 1 e n. Se n uma potncia de
um primo p, ou seja, da forma ps, ento 1, p, p2, ..., ps so os
divisores positivos de n. Segue-se da que a soma dos nmeros
inteiros positivos menores do que 100, que tm exatamente trs
divisores positivos, igual a:
a) 25
b) 87
c) 112
d) 121
e) 169
06. (FUNIVERSA - 2012 - PC-DF - Perito Criminal) Parte

superior do formulrio
Cinco amigos encontraram-se em um bar e, depois de algumas
horas de muita conversa, dividiram igualmente a conta, a qual
fora de, exatos, R$ 200,00, j com a gorjeta includa. Como se
encontravam ligeiramente alterados pelo lcool ingerido, ocorreu
uma dificuldade no fechamento da conta. Depois que todos
julgaram ter contribudo com sua parte na despesa, o total colocado
sobre a mesa era de R$ 160,00, apenas, formados por uma nota de
R$ 100,00, uma de R$ 20,00 e quatro de R$ 10,00. Seguiram-se,
ento, as seguintes declaraes, todas verdadeiras:
Antnio: Baslio pagou. Eu vi quando ele pagou.
Danton: Carlos tambm pagou, mas do Baslio no sei
dizer.
Eduardo: S sei que algum pagou com quatro notas de
R$ 10,00.
Baslio: Aquela nota de R$ 100,00 ali foi o Antnio quem
colocou, eu vi quando ele pegou seus R$ 60,00 de troco.
Carlos: Sim, e nos R$ 60,00 que ele retirou, estava a nota
de R$ 50,00 que o Eduardo colocou na mesa.
03. Ou Lgica fcil, ou Artur no gosta de Lgica. Por outro

lado, se Geografia no difcil, ento Lgica difcil. Da segue-se
que, se Artur gosta de Lgica, ento:
a) Se Geografia difcil, ento Lgica difcil.
b) Lgica fcil e Geografia difcil.
c) Lgica fcil e Geografia fcil.
d) Lgica difcil e Geografia difcil.
e) Lgica difcil ou Geografia fcil.
Imediatamente aps essas falas, o garom, que ouvira

atentamente o que fora dito e conhecia todos do grupo, dirigiu-se
exatamente quele que ainda no havia contribudo para a despesa
e disse: O senhor pretende usar seu carto e ficar com o troco
em espcie? Com base nas informaes do texto, o garom fez a
pergunta a
(A) Antnio.
(B) Baslio.
(C) Carlos.
(D) Danton.
(E) Eduardo.
04. Trs suspeitos de haver roubado o colar da rainha foram

levados presena de um velho e sbio professor de Lgica. Um
dos suspeitos estava de camisa azul, outro de camisa branca e o
outro de camisa preta. Sabe-se que um e apenas um dos suspeitos
culpado e que o culpado s vezes fala a verdade e s vezes mente.
Sabe-se, tambm, que dos outros dois (isto , dos suspeitos que
so inocentes), um sempre diz a verdade e o outro sempre mente.
O velho e sbio professor perguntou, a cada um dos suspeitos,
qual entre eles era o culpado. Disse o de camisa azul: Eu sou o
culpado. Disse o de camisa branca, apontando para o de camisa
azul: Sim, ele o culpado. Disse, por fim, o de camisa preta:
Eu roubei o colar da rainha; o culpado sou eu. O velho e sbio
professor de Lgica, ento, sorriu e concluiu corretamente que:
a) O culpado o de camisa azul e o de camisa preta sempre
mente.
b) O culpado o de camisa branca e o de camisa preta sempre
mente.
c) O culpado o de camisa preta e o de camisa azul sempre
mente.
d) O culpado o de camisa preta e o de camisa azul sempre
diz a verdade.
e) O culpado o de camisa azul e o de camisa azul sempre
diz a verdade.
07. (ESAF - 2012 - Auditor Fiscal da Receita Federal) Parte

Caso ou compro uma bicicleta. Viajo ou no caso. Vou morar
em Passrgada ou no compro uma bicicleta. Ora, no vou morar
em Passrgada. Assim,
(A) no viajo e caso.
(B) viajo e caso.
(C) no vou morar em Passrgada e no viajo.
(D) compro uma bicicleta e no viajo.
(E) compro uma bicicleta e viajo.
08. (FCC - 2012 - TST - Tcnico Judicirio) Parte superior do
formulrio
A declarao abaixo foi feita pelo gerente de recursos humanos
da empresa X durante uma feira de recrutamento em uma faculdade:
Todo funcionrio de nossa empresa possui plano de sade e
ganha mais de R$ 3.000,00 por ms. Mais tarde, consultando
seus arquivos, o diretor percebeu que havia se enganado em sua
declarao. Dessa forma, conclui-se que, necessariamente,
(A) dentre todos os funcionrios da empresa X, h um grupo
que no possui plano de sade.
(B) o funcionrio com o maior salrio da empresa X ganha, no
mximo, R$ 3.000,00 por ms.
(C) um funcionrio da empresa X no tem plano de sade ou
ganha at R$ 3.000,00 por ms.
05. 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. 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.
RACIOCNIO LGICO
(D) nenhum funcionrio da empresa X tem plano de sade ou
todos ganham at R$ 3.000,00 por ms.
(E) alguns funcionrios da empresa X no tm plano de sade
e ganham, no mximo, R$ 3.000,00 por ms.
Na premissa 4 temos: Elton fala espanhol se e somente se no

for verdade que Francisco no fala francs. Temos uma proposio
composta formada pelo se e somente se, neste caso, esta premissa
ser verdadeira se as proposies que a formarem forem de mesmo
valor lgico, ou ambas verdadeiras ou ambas falsas, ou seja, como
se deseja que no seja verdade que Francisco no fala francs e ele
fala, isto j falso e o antecedente do se e somente se tambm ter
que ser falso, ou seja: Elton no fala espanhol.
09. (CESGRANRIO - 2012 - Chesf - Analista de Sistemas)

Parte superior do formulrio
Se hoje for uma segunda ou uma quarta-feira, Pedro ter
aula de futebol ou natao. Quando Pedro tem aula de futebol ou
natao, Jane o leva at a escolinha esportiva. Ao levar Pedro at
a escolinha, Jane deixa de fazer o almoo e, se Jane no faz o
almoo, Carlos no almoa em casa. Considerando-se a sequncia
de implicaes lgicas acima apresentadas textualmente, se Carlos
almoou em casa hoje, ento hoje
(A) tera, ou quinta ou sexta-feira, ou Jane no fez o almoo.
(B) Pedro no teve aula de natao e no segunda-feira.
(C) Carlos levou Pedro at a escolinha para Jane fazer o
almoo.
(D) no segunda, nem quarta, mas Pedro teve aula de apenas
uma das modalidades esportivas.
(E) no segunda, Pedro no teve aulas, e Jane no fez o
almoo.
Da premissa 3 tem-se: Se Dbora fala dinamarqus, Elton

fala espanhol. Uma premissa composta formada por outras duas
simples conectadas pelo se ento (veja que a vrgula subentende
que existe o ento), pois , a regra do se ento que ele s vai ser
falso se o seu antecedente for verdadeiro e o seu consequente for
falso, da premissa 4 sabemos que Elton no fala espanhol, logo,
para que a premissa seja verdadeira s poderemos aceitar um valor
lgico possvel para o antecedente, ou seja, ele dever ser falso,
pois F F = V, logo: Dbora no fala dinamarqus.
Da premissa 2 temos: Se Iara fala italiano, ento ou Ching fala
chins ou Dbora fala dinamarqus. Vamos analisar o consequente
do se ento, observe: ou Ching fala chins ou Dbora fala
dinamarqus. (temos um ou exclusivo, cuja regra , o ou exclusivo,
s vai ser falso se ambas forem verdadeiras, ou ambas falsas), no
caso como Ching no fala chins e Dbora no fala dinamarqus,
temos: F ou exclusivo F = F. Se o consequente deu falso, ento
o antecedente tambm dever ser falso para que a premissa seja
verdadeira, logo: Iara no fala italiano.
10. (VUNESP - 2011 - TJM-SP) Parte superior do formulrio

Se afino as cordas, ento o instrumento soa bem. Se o
instrumento soa bem, ento toco muito bem. Ou no toco muito
bem ou sonho acordado. Afirmo ser verdadeira a frase: no sonho
acordado. Dessa forma, conclui-se que
(A) sonho dormindo.
(B) o instrumento afinado no soa bem.
(C) as cordas no foram afinadas.
(D) mesmo afinado o instrumento no soa bem.
(E) toco bem acordado e dormindo.
Da premissa 1 tem-se: Se Iara no fala italiano, ento Ana

fala alemo. Ora ocorreu o antecedente, vamos reparar no
consequente... S ser verdadeiro quando V V = V pois se o
primeiro ocorrer e o segundo no teremos o Falso na premissa que
indesejado, desse modo: Ana fala alemo.
Respostas
01.
(P1) Se Iara no fala italiano, ento Ana fala alemo.
(P2) Se Iara fala italiano, ento ou Ching fala chins ou
Dbora fala dinamarqus.
(P3) Se Dbora fala dinamarqus, Elton fala espanhol.
(P4) Mas Elton fala espanhol se e somente se no for verdade
que Francisco no fala francs.
(P5) Ora, Francisco no fala francs e Ching no fala chins.
Observe que ao analisar todas as premissas, e tornarmos todas

verdadeiras obtivemos as seguintes afirmaes:
Francisco no fala francs
Ching no fala chins
Elton no fala espanhol
Dbora no fala dinamarqus
Iara no fala italiano
Ana fala alemo.
Ao todo so cinco premissas, formadas pelos mais diversos

conectivos (Se ento, Ou, Se e somente se, E). Mas o que importa
para resolver este tipo de argumento lgico que ele s ser vlido
quando todas as premissas forem verdadeiras, a concluso tambm
for verdadeira. Uma boa dica sempre comear pela premissa
formada com o conectivo e.
A nica concluso verdadeira quando todas as premissas

foram verdadeiras a da alternativa (A), resposta do problema.
02. Resposta B.
O nmero que no primo denominado nmero composto.
O nmero 4 um nmero composto. Todo nmero composto pode
ser escrito como uma combinao de nmeros primos, veja: 70
um nmero composto formado pela combinao: 2 x 5 x 7, onde 2,
5 e 7 so nmeros primos. O problema informou que um nmero
primo tem com certeza 3 divisores quando puder ser escrito da
forma: 1 p p2, onde p um nmero primo.
Na premissa 5 tem-se: Francisco no fala francs e Ching no

fala chins. Logo para esta proposio composta pelo conectivo
e ser verdadeira as premissas simples que a compe devero ser
verdadeiras, ou seja, sabemos que:
Francisco no fala francs
Ching no fala chins
RACIOCNIO LGICO
Observe os seguintes nmeros:
1 2 22 (4)
1 3 3 (9)
1 5 5 (25)
1 7 7 (49)
1 11 11 (121)
Desse modo, o conjunto de cavalos subconjunto do conjunto

dos animais de 4 patas e este por sua vez subconjunto dos
animais que tem asas. Dessa forma, a concluso se verifica, ou
seja, todo cavalo tem asas. Agora na questo temos duas premissas
e a concluso uma das alternativas, logo temos um argumento.
O que se pergunta qual das concluses possveis sempre ser
verdadeira dadas as premissas sendo verdadeiras, ou seja, qual a
concluso que torna o argumento vlido. Vejamos:
Ou Lgica fcil, ou Artur no gosta de Lgica (P1)
Se Geografia no difcil, ento Lgica difcil. (P2)
Artur gosta de Lgica (P3)
Veja que 4 tm apenas trs divisores (1, 2 e ele mesmo) e o

mesmo ocorre com os demais nmeros 9, 25, 49 e 121 (mas este
ltimo j maior que 100) portanto a soma dos nmeros inteiros
positivos menores do que 100, que tm exatamente trs divisores
positivos dada por: 4 + 9 + 25 + 49 = 87.
Observe que deveremos fazer as trs premissas serem

verdadeiras, inicie sua anlise pela premissa mais fcil, ou seja,
aquela que j vai lhe informar algo que deseja, observe a premissa
trs, veja que para ela ser verdadeira, Artur gosta de Lgica. Com
esta informao vamos at a premissa um, onde temos a presena
do ou exclusivo um ou especial que no aceita ao mesmo tempo
que as duas premissas sejam verdadeiras ou falsas. Observe a
tabela verdade do ou exclusivo abaixo:
03. Resposta B.
O Argumento uma sequncia finita de proposies lgicas
iniciais (Premissas) e uma proposio final (concluso). A validade
de um argumento independe se a premissa verdadeira ou falsa,
observe a seguir:
Todo cavalo tem 4 patas (P1)
Todo animal de 4 patas tem asas (P2)
Logo: Todo cavalo tem asas (C)
Observe que se tem um argumento com duas premissas,
P1 (verdadeira) e P2 (falsa) e uma concluso C. Veja que este
argumento vlido, pois se as premissas se verificarem a concluso
tambm se verifica: (P1) Todo cavalo tem 4 patas. Indica que se
cavalo ento tem 4 patas, ou seja, posso afirmar que o conjunto
dos cavalos um subconjunto do conjunto de animais de 4 patas.
pVq
F
F
F
Sendo as proposies:
p: Lgica fcil
q: Artur no gosta de Lgica
p v q = Ou Lgica fcil, ou Artur no gosta de Lgica (P1)
Observe que s nos interessa os resultados que possam tornar
a premissa verdadeira, ou seja, as linhas 2 e 3 da tabela verdade.
Mas j sabemos que Artur gosta de Lgica, ou seja, a premissa
q falsa, s nos restando a linha 2, quer dizer que para P1 ser
verdadeira, p tambm ser verdadeira, ou seja, Lgica fcil.
Sabendo que Lgica fcil, vamos para a P2, temos um se ento.
(P2) Todo animal de 4 patas tem asas. Indica que se tem 4 patas
ento o animal tem asas, ou seja, posso afirmar que o conjunto dos
animais de 4 patas um subconjunto do conjunto de animais que
tem asas.
Se Geografia no difcil, ento Lgica difcil. Do se ento

j sabemos que:
Geografia no difcil - o antecedente do se ento.
Lgica difcil - o consequente do se ento.
(C) Todo cavalo tem asas. Indica que se cavalo ento tem
asas, ou seja, posso afirmar que o conjunto de cavalos um
subconjunto do conjunto de animais que tem asas.
Chamando:
r: Geografia difcil
~r: Geografia no difcil (ou Geografia fcil)
p: Lgica fcil
(no p) ~p: Lgica difcil
~r ~p (l-se se no r ento no p) sempre que se verificar
o se ento tem-se tambm que a negao do consequente gera a
negao do antecedente, ou seja: ~(~p) ~(~r), ou seja, p r ou
Se Lgica fcil ento Geografia difcil.
Observe que ao unir as premissas, a concluso sempre se

verifica. Toda vez que fizermos as premissas serem verdadeiras,
a concluso tambm for verdadeira, estaremos diante de um
argumento vlido. Observe:
De todo o encadeamento lgico (dada as premissas

verdadeiras) sabemos que:
Artur gosta de Lgica
Lgica fcil
Geografia difcil
7
RACIOCNIO LGICO
Vamos agora analisar as alternativas, em qual delas a
concluso verdadeira:
a) Se Geografia difcil, ento Lgica difcil. (V F = F) a
regra do se ento s ser falso se o antecedente for verdadeiro e
o consequente for falso, nas demais possibilidades ele ser sempre
verdadeiro.
b) Lgica fcil e Geografia difcil. (V ^ V = V) a regra do
e que s ser verdadeiro se as proposies que o formarem
forem verdadeiras.
c) Lgica fcil e Geografia fcil. (V ^ F = F)
d) Lgica difcil e Geografia difcil. (F ^ V = F)
e) Lgica difcil ou Geografia fcil. (F v F = F) a regra
do ou que s falso quando as proposies que o formarem
forem falsas.
p ser uma proposio simples que por estar antes do ento

tambm conhecida como antecedente.
q ser uma proposio simples que por estar depois do
ento tambm conhecida como consequente.
Se p ento q tambm pode ser lido como p implica em q.
p conhecida como condio suficiente para que q ocorra,
ou seja, basta que p ocorra para q ocorrer.
q conhecida como condio necessria para que p ocorra,
ou seja, se q no ocorrer ento p tambm no ir ocorrer.
Vamos s informaes do problema:
1) O rei ir caa condio necessria para o duque sair do
castelo. Chamando A (proposio rei ir caa) e B (proposio
duque sair do castelo) podemos escrever que se B ento A ou B
A. Lembre-se de que ser condio necessria ser consequente no
se ento.
2) O rei ir caa condio suficiente para a duquesa ir ao
jardim. Chamando A (proposio rei ir caa) e C (proposio
duquesa ir ao jardim) podemos escrever que se A ento C ou A
C. Lembre-se de que ser condio suficiente ser antecedente no
se ento.
3) O conde encontrar a princesa condio necessria e
suficiente para o baro sorrir. Chamando D (proposio conde
encontrar a princesa) e E (proposio baro sorrir) podemos
escrever que D se e somente se E ou D E (conhecemos este
conectivo como um bicondicional, um conectivo onde tanto o
antecedente quanto o consequente so condio necessria e
suficiente ao mesmo tempo), onde poderamos tambm escrever E
se e somente se D ou E D.
4) O conde encontrar a princesa condio necessria para a
duquesa ir ao jardim. Chamando D (proposio conde encontrar a
princesa) e C (proposio duquesa ir ao jardim) podemos escrever
que se C ento D ou C D. Lembre-se de que ser condio
necessria ser consequente no se ento.
A nica informao claramente dada que o baro no sorriu,
ora chamamos de E (proposio baro sorriu). Logo baro no
sorriu = ~E (l-se no E).
Dado que ~E se verifica e D E, ao negar a condio
necessria nego a condio suficiente: esse modo ~E ~D (ento
o conde no encontrou a princesa).
Se ~D se verifica e C D, ao negar a condio necessria
nego a condio suficiente: ~D ~C (a duquesa no foi ao jardim).
Se ~C se verifica e A C, ao negar a condio necessria
nego a condio suficiente: ~C ~A (ento o rei no foi caa).
Se ~A se verifica e B A, ao negar a condio necessria
nego a condio suficiente: ~A ~B (ento o duque no saiu do
castelo).
04. Alternativa A.
Com os dados fazemos a tabela:
Camisa azul
Camisa Branca
Camisa Preta
eu sou culpado
sim, ele (de

camisa azul) o
culpado
Eu roubei o
colar da rainha;
o culpado sou
eu
Sabe-se que um e apenas um dos suspeitos culpado e que o

culpado s vezes fala a verdade e s vezes mente. Sabe-se, tambm,
que dos outros dois (isto , dos suspeitos que so inocentes), um
sempre diz a verdade e o outro sempre mente.
I) Primeira hiptese: Se o inocente que fala verdade o de
camisa azul, no teramos resposta, pois o de azul fala que
culpado e ento estaria mentindo.
II) Segunda hiptese: Se o inocente que fala a verdade o de
camisa preta, tambm no teramos resposta, observem: Se ele fala
a verdade e declara que roubou ele o culpado e no inocente.
III) Terceira hiptese: Se o inocente que fala a verdade o
de camisa branca achamos a resposta, observem: Ele inocente
e afirma que o de camisa branca culpado, ele o inocente que
sempre fala a verdade. O de camisa branca o culpado que ora fala
a verdade e ora mente (no problema ele est dizendo a verdade).
O de camisa preta inocente e afirma que roubou, logo ele o
inocente que est sempre mentindo.
Observe entre as alternativas, que a nica que afirma uma

proposio logicamente correta a alternativa C, pois realmente
deduziu-se que o rei no foi caa e o conde no encontrou a
princesa.
O resultado obtido pelo sbio aluno dever ser: O culpado o

de camisa azul e o de camisa preta sempre mente (Alternativa A).
05. Resposta C.
Uma questo de lgica argumentativa, que trata do uso do
conectivo se ento tambm representado por . Vamos a um
exemplo:
Se o duque sair do castelo ento o rei foi caa. Aqui estamos
tratando de uma proposio composta (Se o duque sair do castelo
ento o rei foi caa) formada por duas proposies simples (duque
sair do castelo) (rei ir caa), ligadas pela presena do conectivo
() se ento. O conectivo se ento liga duas proposies
simples da seguinte forma: Se p ento q, ou seja:
06. Resposta D.
Como todas as informaes dadas so verdadeiras, ento
podemos concluir que:
1 - Baslio pagou;
2 - Carlos pagou;
3 - Antnio pagou, justamente, com os R$ 100,00 e pegou
os R$ 60,00 de troco que, segundo Carlos, estavam os R$ 50,00
pagos por Eduardo, ento...
4 - Eduardo pagou com a nota de R$ 50,00.
8
RACIOCNIO LGICO
O nico que escapa das afirmaes o Danton.
08. Resposta C.
Outra forma: 5 amigos: A,B,C,D, e E.
A declarao dizia:
Todo funcionrio de nossa empresa possui plano de sade e
ganha mais de R$ 3.000,00 por ms. Porm, o diretor percebeu
que havia se enganado, portanto, basta que um funcionrio no
tenha plano de sade ou ganhe at R$ 3.000,00 para invalidar,
negar a declarao, tornando-a desse modo FALSA. Logo,
necessariamente, um funcionrio da empresa X no tem plano de
sade ou ganha at R$ 3.000,00 por ms.
Antnio: - Baslio pagou. Restam A, D, C e E.

Danton: - Carlos tambm pagou. Restam A, D, e E.
Eduardo: - S sei que algum pagou com quatro notas de R$
10,00. Restam A, D, e E.
Baslio: - Aquela nota de R$ 100,00 ali foi o Antnio. Restam
D, e E.
Carlos: - Sim, e nos R$ 60,00 que ele retirou, estava a nota
de R$ 50,00 que o Eduardo colocou. Resta somente D (Dalton) a
pagar.
Proposio composta no conectivo e - Todo funcionrio de

nossa empresa possui plano de sade e ganha mais de R$ 3.000,00
por ms. Logo: basta que uma das proposies seja falsa para a
declarao ser falsa.
07. Resposta B.
1: separar a informao que a questo forneceu: no vou
morar em passrgada.
2: lembrando-se que a regra do ou diz que: para ser verdadeiro
tem de haver pelo menos uma proposio verdadeira.
3: destacando-se as informaes seguintes:
- caso ou compro uma bicicleta.
- viajo ou no caso.
- vou morar em passrgada ou no compro uma bicicleta.
1 Proposio: Todo funcionrio de nossa empresa possui

plano de sade.
2 Proposio: ganha mais de R$ 3.000,00 por ms.
Lembre-se que no enunciado no fala onde foi o erro da
declarao do gerente, ou seja, pode ser na primeira proposio e
no na segunda ou na segunda e no na primeira ou nas duas que
o resultado ser falso.
Na alternativa C a banca fez a negao da primeira proposio
e fez a da segunda e as ligaram no conectivo ou, pois no
conectivo ou tanto faz a primeira ser verdadeira ou a segunda
ser verdadeira, desde que haja uma verdadeira para o resultado ser
verdadeiro.
Ateno: A alternativa E est igualzinha, s muda o
conectivo que o e, que obrigaria que o erro da declarao fosse
nas duas.
Logo:
- vou morar em pasrgada (F)
- no compro uma bicicleta (V)
- caso (V)
- compro uma bicicleta (F)
- viajo (V)
- no caso (F)
Concluso: viajo, caso, no compro uma bicicleta.
Outra forma:
A questo pede a negao da afirmao: Todo funcionrio

de nossa empresa possui plano de sade e ganha mais de R$
3.000,00 por ms.
Essa fica assim ~(p ^ q).
A negao dela ~pv~q
c = casar
b = comprar bicicleta
v = viajar
p = morar em Passrgada
Temos as verdades:
c ou b
v ou ~c
p ou ~b
~(p^q) ~pv~q (negao todas e vira ou)

A 1 proposio tem um Todo que quantificador universal,
para neg-lo utilizamos um quantificador existencial. Pode ser:
um, existe um, pelo menos, existem...
No caso da questo ficou assim: Um funcionrio da empresa
no possui plano de sade ou ganha at R$ 3.000,00 por ms. A
negao de ganha mais de 3.000,00 por ms, ganha at 3.000,00.
Transformando em implicaes:
~c b = ~b c
~v ~c = c v
~p ~b
Assim:
~p ~b
~b c
cv
09. Resposta B.
Sendo:
Segunda = S e Quarta = Q,
Pedro tem aula de Natao = PN e
Pedro tem aula de Futebol = PF.
Por transitividade:
~p c
~p v
V = conectivo ou e = conectivo Se, ... ento, temos:

S V Q PF V PN
No morar em passrgada implica casar. No morar em

passrgada implica viajar.
RACIOCNIO LGICO
Sendo Je = Jane leva Pedro para a escolinha e ~Je = a negao,
ou seja Jane no leva Pedro a escolinha. Ainda temos que ~Ja =
Jane deixa de fazer o almoo e C = Carlos almoa em Casa e ~C =
Carlos no almoa em casa, temos:
Montando as proposies:
1 - A I
2 - I T
3 - ~T V S (ou exclusivo)
PF V PN Je
Je ~Ja
~Ja ~C
Como S = FALSO; ~T = VERDADEIRO, pois um dos termos

deve ser verdadeiro (equivale ao nosso ou isso ou aquilo, escolha
UM).
~T = V
T=F
IT
(F)
Em questes de raciocnio lgico devemos admitir que todas

as proposies compostas so verdadeiras. Ora, o enunciado diz
que Carlos almoou em casa, logo a proposio ~C Falsa.
~Ja ~C
Em muitos casos, um macete que funciona nos exerccios

lotados de condicionais, sendo assim o F passa para trs.
Assim: I = F
Novamente: A I
(F)
Para a proposio composta ~Ja ~C ser verdadeira, ento

~Ja tambm falsa.
~Ja ~C
Na proposio acima desta temos que Je ~Ja, contudo
j sabemos que ~Ja falsa. Pela mesma regra do conectivo Se,
... ento, temos que admitir que Je tambm falsa para que a
proposio composta seja verdadeira.
Na proposio acima temos que PF V PN Je, tratando PF
V PN como uma proposio individual e sabendo que Je falsa,
para esta proposio composta ser verdadeira PF V PN tem que
ser falsa.
Ora, na primeira proposio composta da questo, temos
que S V Q PF V PN e pela mesma regra j citada, para esta
ser verdadeira S V Q tem que ser falsa. Bem, agora analisando
individualmente S V Q como falsa, esta s pode ser falsa se as duas
premissas simples forem falsas. E da mesma maneira tratamos PF
V PN.
O FALSO passa para trs. Com isso, A = FALSO. ~A =

Verdadeiro = As cordas no foram afinadas.
Outra forma: partimos da premissa afirmativa ou de concluso;
ltima frase:
No sonho acordado ser VERDADE
Admita todas as frases como VERDADE
Ficando assim de baixo para cima
Ou no toco muito bem (V) ou sonho acordado (F) = V
Se o instrumento soa bem (F) ento toco muito bem (F) = V
Se afino as cordas (F), ento o instrumento soa bem (F) = V
Representao lgica de todas as proposies:

S V Q PF V PN
(f) (f) (f)
(f)
F
F
A dica trabalhar com as excees: na condicional s d

falso quando a primeira V e a segunda F. Na disjuno exclusiva
(ou... ou) as divergentes se atraem o que d verdade. Extraindo as
concluses temos que:
No toco muito bem, no sonho acordado como verdade.
Se afino as corda deu falso, ento no afino as cordas.
Se o instrumento soa bem deu falso, ento o instrumento no
soa bem.
PF V PN Je
F
F
Je ~Ja
F
F
~Ja ~C
F
F
Joga nas alternativas:

(A) sonho dormindo (voc no tem garantia de que sonha
dormindo, s temos como verdade que no sonho acordado, pode
ser que voc nem sonhe).
(B) o instrumento afinado no soa bem deu que: No afino as
cordas.
(C) Verdadeira: as cordas no foram afinadas.
(D) mesmo afinado (Falso deu que no afino as cordas) o
instrumento no soa bem.
(E) toco bem acordado e dormindo, absurdo. Deu no toco
muito bem e no sonho acordado.
Concluso: Carlos almoou em casa hoje, Jane fez o almoo

e no levou Pedro escolinha esportiva, Pedro no teve aula de
futebol nem de natao e tambm no segunda nem quarta. Agora
s marcar a questo cuja alternativa se encaixa nesse esquema.
10. Resposta C.
D nome:
A = AFINO as cordas;
I = INSTRUMENTO soa bem;
T = TOCO bem;
S = SONHO acordado.
10
RACIOCNIO LGICO
Inferncia
A ideia principal que a probabilidade de um evento A dado

um evento B (e.g. a probabilidade de algum ter cncer de mama
sabendo, ou dado, que a mamografia deu positivo para o teste)
depende no apenas do relacionamento entre os eventos A e B
(i.e., a preciso, ou exatido, da mamografia), mas tambm da
probabilidade marginal (ou probabilidade simples) da ocorrncia
de cada evento. Por exemplo, se as mamografias acertam em 95%
dos testes, ento 5% a probabilidade de termos falso positivo ou
falso negativo, ou uma mistura de falso positivo a falso. O teorema
de Bayes nos permite calcular a probabilidade condicional de ter
cncer de mama, dado uma mamografia positiva, para qualquer
um desses casos. A probabilidade de uma mamografia positiva ser
diferente para cada um dos casos.
No exemplo dado, h um ponto de grande importncia prtica
que merece destaque: se a prevalncia de mamografias resultado
positivo para o cncer , digamos, 5,0%, ento a probabilidade
condicional de que um indivduo com um resultado positivo na
verdade no tem cncer bastante pequena, j que aprobabilidade
marginal deste tipo de cncer est mais perto de 1,0%. A
probabilidade de um resultado positivo , portanto, cinco vezes
mais provvel que a probabilidade de um cncer em si. Alm
disso, algum pode deduzir que a probabilidade condicional que
mamografias positivas realmente tenham cncer de 20%. Isso
poderia ser menor, se a probabilidade condicional que dado um
cncer de mama, a mamografia sendo positiva no de 100%
(i.e. falso negativos). Isso serve para mostrar a utilidade do
entendimento do teorema de Bayes.
Inferncia estatstica um ramo da Estatstica cujo objetivo

fazer afirmaes a partir de um conjunto de valores representativo
(amostra) sobre um universo. Tal tipo de afirmao deve sempre
vir acompanhada de uma medida de preciso sobre sua veracidade.
Para realizar este trabalho o estatstico coleta informaes de
dois tipos, experimentais (as amostras) e aquelas que obtm na
literatura. As duas principais escolas de inferncia so a inferncia
frequentista (ou clssica) e a inferncia bayesiana. A inferncia
estatstica geralmente distinta da estatstica descritiva. A
descrio estatstica pode ser vista como a simples apresentao
dos fatos, nos quais o modelo de decises feito pelo analista tem
pouca influncia. natural que anlises estatsticas avancem,
indo da descrio para a inferncia de padres. Essa ltima tarefa
depende do modelo usado e/ou criado pelo analista dos dados.
Inferncia frequentista um tipo de inferncia estatstica. O
conceito frequentista de probabilidade envolve basicamente uma
sequncia de repeties para um determinado evento, tratado como
um subconjunto de . A ideia da repetio justifica a denominao
teoria frequentista. A teoria baseia-se na regularidade estatstica
das frequncias relativas e sustenta que a probabilidade de um
dado acontecimento pode ser medida observando a frequncia
relativa do mesmo acontecimento, em uma sucesso numerosa
de experincias idnticas e independentes. Para exemplificar a
interpretao frequentista, considera-se uma moeda irregular
(viciada) lanada 1000 vezes, e observam-se a face cara 540 vezes.
Portanto, a probabilidade estimada de sair cara 0,54.
Silogismo
Inferncia bayesiana um tipo de inferncia estatstica que

descreve as incertezas sobre quantidades invisveis de forma
probabilstica. Incertezas so modificadas periodicamente aps
observaes de novos dados ou resultados. A operao que calibra
a medida das incertezas conhecida como operao bayesiana e
baseada na frmula de Bayes. A frmula de Bayes muitas vezes
denominada Teorema de Bayes.
O silogismo a deduo feita a partir de duas proposies

denominadas premissas, de modo a originar uma terceira
proposio logicamente implicada, denominada concluso.
Exemplo:
Tenho um Escort ou tenho um Focus, no tenho um Escort.
Tenho um Focus.
Em teoria da probabilidade o Teorema de Bayes mostra a

relao entre uma probabilidade condicional e a sua inversa; por
exemplo, a probabilidade de uma hiptese dada a observao de
uma evidncia e a probabilidade da evidncia dada pela hiptese.
Esse teorema representa uma das primeiras tentativas de modelar
de forma matemtica a inferencia estatstica, feita por Thomas
Bayes (pronunciado /bez/ ou bays). O teorema de Bayes um
corolrio do teorema da probabilidade total que permite calcular a
seguinte probabilidade:
Observao: o smbolo chamado de trao de assero;

usado entre as premissas e a concluso. Esse silogismo tambm
pode ser representado como:
Tenho um Escort ou tenho um Focus.
No tenho um Escort.
Logo, tenho um Focus.
Chamado de P a proposio: Tenho um Escort, escreve-se:
P: Tenho um Escort.
Chamado de C a proposio: Tenho um Focus, escreve-se:
C: Tenho um Focus.
- Pr (A) e Pr (B) so as probabilidades a priori de A e B

- Pr (B|A) e Pr (A|B) so as probabilidades a posteriori de B
condicional a A e de A condicional a B respectivamente.
Das proposies P e C resulta a proposio Tenho um Escort

ou tenho um Focus. Denotamos: P + C: Tenho um Escort ou tenho
um Focus.
Com a negativa da proposio P, tem-se a premissa No tenho
um Escort. Escreve-se: ~P: No tenho um Escort ( o mesmo que
dizer: no possuo um carro denominado Escort). Reescrevendo
o argumento, obteremos:
A regra de Bayes mostra como alterar as probabilidades a priori

tendo em conta novas evidncias de forma a obter probabilidades
a posteriori. Podemos aplicar o Teorema de Bayes com o jogo das
trs portas. Alguns preferem escrev-lo na forma:
11
RACIOCNIO LGICO
Silogismos Derivados
P + C, ~P C
ou
Silogismos derivados so estruturas argumentativas que no

seguem a forma rigorosa do silogismo tpico, mas que mesmo
assim so formas vlidas.
P+C
~P
Logo, C
Entimema: trata-se de um argumento em que uma ou mais

proposies esto subentendidas. Por exemplo: todo metal corpo,
logo o chumbo corpo. Neste caso, fica subentendida a premissa
todo chumbo metal. Passando para a forma silogstica:
Silogismo Categrico de Forma Tpica

Chamaremos de silogismo categrico de forma tpica ao
argumento formado por duas premissas e uma concluso, de modo
que todas as premissas envolvidas so categricas de forma tpica
(A, E, I, O). Teremos tambm trs termos:
- Termo menor: sujeito da concluso.
- Termo maior: predicado da concluso.
- Termo mdio: o termo que aparece uma vez em cada
premissa e no aparece na concluso.
Todo metal corpo.

Todo chumbo metal.
___________________
Todo chumbo corpo.
Mais um exemplo: Todo quadrpede tem 4 patas. Logo, um
cavalo um quadrpede. No dia a dia, usamos muitas formas
como essa, pois as premissas faltantes so bvias ou implcitas
e repeti-las pode cansar os ouvintes. Contudo, comum haver
confuso justamente por causa de premissas faltantes.
Chamaremos de premissa maior a que contm o termo maior,

e premissa menor a que contm o termo menor. Exemplo
Todas as mulheres so bonitas.
Todas as princesas so mulheres.
________________________
Todas as princesas so bonitas.
Epiquerema: o epiquerema um argumento onde uma

ou ambas as premissas apresentam a prova ou razo de ser do
sujeito. Geralmente acompanhada do termo porque ou algum
equivalente. Por exemplo:
Termo menor: as princesas.

Termo maior: bonitas.
Termo mdio: mulheres.
O demente irresponsvel, porque no livre.

Ora, Pedro demente, porque o exame mdico revelou ser
portador de paralisia geral progressiva.
Logo, Pedro irresponsvel.
Premissa menor: Todas as princesas so mulheres.

Premissa maior: Todas as mulheres so bonitas.
No epiquerema sempre existe, pelo menos, uma proposio

composta, sendo que uma das proposies simples razo ou
explicao da outra.
Regras do Silogismo
Para que um silogismo seja vlido, sua estrutura deve respeitar
regras. Tais regras, em nmero de oito, permitem verificar a
correo ou incorreo do silogismo. As quatro primeiras regras
so relativas aos termos e as quatro ltimas so relativas s
premissas. So elas:
- Todo silogismo contm somente 3 termos: maior, mdio e
menor;
- Os termos da concluso no podem ter extenso maior que
os termos das premissas;
- O termo mdio no pode entrar na concluso;
- O termo mdio deve ser universal ao menos uma vez;
- De duas premissas negativas, nada se conclui;
- De duas premissas afirmativas no pode haver concluso
negativa;
- A concluso segue sempre a premissa mais fraca;
- De duas premissas particulares, nada se conclui.
Polissilogismo: O polissilogismo uma espcie de argumento

que contempla vrios silogismos, onde a concluso de um serve de
premissa menor para o prximo. Por exemplo:
Quem age de acordo com sua vontade livre.
Ora, o racional age de acordo com sua vontade.
Logo, o racional livre.
Ora, quem livre responsvel.
Logo, o racional responsvel.
Ora, quem responsvel capaz de direitos.
Logo, o racional capaz de direitos.
Silogismo Expositrio: o silogismo expositrio no
propriamente um silogismo, mas um esclarecimento ou exposio
da ligao entre dois termos, caracteriza-se por apresentar, como
termo mdio, um termo singular. Por exemplo:
Estas regras reduzem-se s trs regras que Aristteles definiu.

O que se entende por parte mais fraca so as seguintes situaes:
entre uma premissa universal e uma particular, a parte mais fraca
a particular; entre uma premissa afirmativa e outra negativa, a
parte mais fraca a negativa. Ateno: Para determinar se um
argumento uma falcia ou silogismo, deve-se analisar o resultado,
ou argumento final: quando se chega a um argumento falso, tem-se
uma falcia; quando se chega a um argumento verdadeiro, tem-se
um silogismo.
Aristteles discpulo de Plato.

Ora, Aristteles filsofo.
Logo, algum filsofo discpulo de Plato.
12
RACIOCNIO LGICO
Silogismo Informe: o silogismo informe caracteriza-se pela
possibilidade de sua estrutura expositiva poder ser transformada
na forma silogstica tpica. Por exemplo: a defesa pretende
provar que o ru no responsvel do crime por ele cometido.
Esta alegao gratuita. Acabamos de provar, por testemunhos
irrecusveis, que, ao perpetrar o crime, o ru tinha o uso perfeito
da razo e nem podia fugir s graves responsabilidades deste ato.
Este argumento pode ser formalizado assim:
Exceptiva: todos corpos, salvo o ter, so ponderveis. A

proposio composta formada por trs proposies simples,
sendo que a partcula salvo oculta as suas composies. As trs
proposies simples componentes so: todos os corpos so
ponderveis, o ter um corpo e o ter no pondervel.
Tambm so exceptivos termos como fora, exceto, etc. Essa
proposio composta ser verdadeira se todas as proposies
simples forem verdadeiras.
Todo aquele que perpetra um crime quando no uso da razo

responsvel por seus atos.
Ora, o ru perpetrou um crime no uso da razo.
Logo, o ru responsvel por seus atos.
Reduplicativa: a arte, enquanto arte, infalvel. Nessa

proposio temos duas proposies simples ocultas pela partcula
enquanto. As duas proposies simples componentes da composta
so: a arte possui uma indeterminao X e tudo aquilo que
cai sobre essa indeterminao X infalvel. O termo realmente
tambm considerado reduplicativo. A proposio composta ser
considerada verdadeira se as duas proposies simples forem
verdadeiras.
Sorites: semelhante ao polissilogismo, mas neste caso

ocorre que o predicado da primeira proposio se torna sujeito na
proposio seguinte, seguindo assim at que na concluso se unem
o sujeito da primeira proposio com o predicado da ltima. Por
exemplo:
Exclusiva: s a espcie humana racional. A partcula s

oculta as duas proposies simples que compem a composta, so
elas: a espcie humana racional e nenhuma outra espcie
racional. O termo apenas tambm considerado exclusivo. A
proposio ser considerada verdadeira se as duas proposies
simples forem verdadeiras.
A Grcia governada por Atenas.

Atenas governada por mim.
Eu sou governado por minha mulher.
Minha mulher governada por meu filho, criana de 10 anos.
Logo, a Grcia governada por esta criana de 10 anos.
O silogismo hipottico apresenta trs variaes, conforme o

conetivo utilizado na premissa maior:
Silogismo Hipottico: um silogismo hipottico contm

proposies hipotticas ou compostas, isto , apresentam duas
ou mais proposies simples unidas entre si por uma cpula no
verbal, isto , por partculas. As proposies compostas podem ser
divididas em:
Condicional: a partcula de ligao das proposies simples

se... ento.
Se a gua tiver a temperatura de 100C, a gua ferve.
A temperatura da gua de 100C.
Logo, a gua ferve.
- Claramente Compostas: so aquelas proposies em que a

composio entre duas ou mais proposies simples so indicadas
pelas partculas: e, ou, se ... ento.
Esse silogismo apresenta duas figuras legtimas:
Copulativa ou Conjuntiva: a lua se move e a terra no se

move. Nesse exemplo, duas proposies simples so unidas pela
partcula e ou qualquer elemento equivalente a essa conjuno.
Dentro do clculo proposicional ser considerada verdadeira a
proposio que tiver as duas proposies simples verdadeiras e
ser simbolizada como: p q (ou p.q, ou pq).
- Ponendo Ponens (do latim afirmando o afirmado): ao afirmar

a condio (antecedente), prova-se o condicionado (consequncia).
A temperatura da gua de 100C.
Logo, a gua ferve.
Disjuntivas: a sociedade tem um chefe ou tem desordem.

Caracteriza-se por duas proposies simples unidas pela
partcula ou ou equivalente. Dentro do clculo proposicional, a
proposio composta ser considerada verdadeira se uma ou as
duas proposies simples forem verdadeiras e ser simbolizada
como: p q.
- Tollendo Tollens (do latim negando o negado): ao destruir o

condicionado (consequncia), destri-se a condio (antecedente).

Ora, a gua no ferve.
Logo, a gua no atingiu a temperatura de 100C.
Condicional: se vinte nmero mpar, ento vinte no

divisvel por dois. Aqui, duas proposies simples so unidas
pela partcula se... ento. Dentro do clculo proposicional, essa
proposio, ser considerada verdadeira se sua consequncia for
boa ou verdadeira, simbolicamente: p q (ou p q).
Disjuntivo: a premissa maior, do silogismo hipottico, possui

a partcula de ligao ou.
Ou a sociedade tem um chefe ou tem desordem.
Ora, a sociedade no tem chefe.
Logo, a sociedade tem desordem.
- Ocultamente Compostas: so duas ou mais proposies

simples que formam uma proposio composta com as partculas
de ligao: salvo, enquanto, s.
Esse silogismo tambm apresenta duas figuras legtimas:

13
RACIOCNIO LGICO
- Ponendo Tollens: afirmando uma das proposies simples da
premissa maior na premissa menor, nega-se a concluso.
(D)
Premissa 1: Mrio gosta de fsica.
Premissa 2: Todos os matemticos gostam de fsica.
Concluso: Mrio matemtico.
(E)
Premissa 2: Nenhum matemtico gosta de fsica.
Concluso: Mrio no matemtico.

Ora, a sociedade tem um chefe.
Logo, a sociedade no tem desordem.
- Tollendo Ponens: negando uma das proposies simples da
premissa maior na premissa menor, afirma a concluso.
02. (FGV - MEC - Documentador) O silogismo uma forma

de raciocnio dedutivo. Na sua forma padronizada, constitudo
por trs proposies: as duas primeiras denominam-se premissas
e a terceira, concluso. As premissas so juzos que precedem
a concluso. Em um silogismo, a concluso consequncia
necessria das premissas. So dados trs conjuntos formados por
duas premissas verdadeiras e uma concluso no necessariamente
verdadeira.

Ora, a sociedade no tem um chefe.
Logo, a sociedade tem desordem.
Conjuntivo: a partcula de ligao das proposies simples,
na proposio composta, e. Nesse silogismo, a premissa maior
deve ser composta por duas proposies simples que possuem o
mesmo sujeito e no podem ser verdadeiras ao mesmo tempo, ou
seja, os predicados devem ser contraditrios. Possui somente uma
figura legtima, o Ponendo Tollens, afirmando uma das proposies
simples da premissa maior na premissa menor, nega-se a outra
proposio na concluso.
IPremissa 1: Todos os mamferos so homeotrmicos.

Premissa 2: Todas as baleias so mamferas.
Concluso: Todas as baleias so homeotrmicas.
IIPremissa 1: Todos os peixes so pecilotrmicos.
Premissa 2: Todos os tubares so pecilotrmicos.
Concluso: Todos os tubares so peixes.
IIIPremissa 1: Todos os primatas so mamferos.
Premissa 2: Todos os mamferos so vertebrados.
Concluso: Todos os vertebrados so primatas.
Ningum pode ser, simultaneamente, mestre e discpulo.

Ora, Pedro mestre.
Logo, Pedro no discpulo.
Dilema: o dilema um conjunto de proposies onde, a
primeira, uma disjuno tal que, afirmando qualquer uma das
proposies simples na premissa menor, resulta sempre a mesma
concluso. Por exemplo:
Assinale:
(A) se somente o conjunto I for um silogismo.
(B) se somente o conjunto II for um silogismo.
(C) se somente o conjunto III for um silogismo.
(D) se somente os conjuntos I e III forem silogismos.
(E) se somente os conjuntos II e III forem silogismos.
Se dizes o que justo, os homens te odiaro.

Se dizes o que injusto, os deuses te odiaro.
Portanto, de qualquer modo, sers odiado.
QUESTES
03.
Algumas flores so rosas
A Rosa uma mulher bonita
Logo, algumas mulheres bonitas so flores.
01. (CESGRANRIO - CAPES - Analista de Sistemas) Parte

O silogismo uma forma de raciocnio dedutivo. Na sua forma
padronizada, constitudo por trs proposies: as duas primeiras
denominam-se premissas e a terceira, concluso. As premissas so
juzos que precedem a concluso. Em um silogismo, a concluso
consequncia necessria das premissas. Assinale a alternativa que
corresponde a um silogismo.
(A)
Premissa 1: Marcelo matemtico.
Premissa 2: Alguns matemticos gostam de fsica.
Concluso: Marcelo gosta de fsica.
(B)
Premissa 1: Marcelo matemtico.
Concluso: Marcelo no gosta de fsica.
(C)
Concluso: Mrio matemtico.
(A) O que um silogismo categrico?

(B) Este silogismo ser vlido formalmente?
04.
Todos os gatos so seres vivos
Alguns seres vivos so omnvoros
Logo, alguns seres omnvoros so gatos.
(A) Ser vlido formalmente?
05.
Alguns animais so ces
Alguns animais so patos
Logo, alguns patos so ces.
(A) Ser vlido formalmente este silogismo?
(B) Ser vlido materialmente este silogismo?
14
RACIOCNIO LGICO
06.
Nenhum gato bpede
Nenhum co bpede
Logo, nenhum co gato.
(D) O grupo matemticos est dentro de os que gostam de

fsica. Porm, Mario tanto pode ser matemtico como pertencer a
outro grupo que tambm goste de fsica.
(E) No h interseco entre os grupos os que gostam de
fsica e matemticos. Mrio gosta de fsica, logo, ele no pode
ser matemtico. (Alternativa correta)
(A) Ser vlido este silogismo?

07.
Todos os elefantes so ruminantes
Todos os elefantes so herbvoros
Logo, todos os herbvoros so ruminantes.
02. Resposta A.
I - Todos os mamferos so homeotrmicos. Todas as baleias
so mamferos. Concluso: todas as baleias so homeotrmicos.
Est certa... essa questo fica clara se desenharmos um conjunto....
assim fica da seguinte forma: o conjunto dos mamferos est
contido no conjunto dos homeotrmicos... e o conjunto das baleias
est contido dentro do conjunto dos mamferos, consequentemente
est dentro do conjunto dos homeotrmicos, por isso podemos
afirmar que todas as baleias so homeotrmicos.
(A) Ser legtimo este silogismo?

08.
Todos os homens so seres vivos
Todos os seres vivos so mortais
Logo, todos os seres vivos so homens.
(A) Ser legtimo este silogismo?
09.
Todos os gatos so mortais
Todos os gatos so quadrpedes
Logo, todos os mortais so quadrpedes.
II - Todos os peixes so pecilotrmicos. Todos os tubares

so pecilotrmicos. Concluso: todos os tubares so peixes. No
podemos afirmar tal coisa... pode ser que alguns ou at todos sejam,
mas a questo no d informaes suficientes para isso... em um
conjunto teramos o conjunto dos pecilotrmicos e dentro dele 2
conjuntos... dos peixes e dos tubares.. eles podem ter alguma
interseco ou nenhuma, por isso no podemos afirmar.
(A) Ser legtimo este raciocnio?

10.
Alguns animais no so quadrpedes
Alguns seres vivos no so animais
Logo, alguns seres vivos no so quadrpedes.
(A) Ser legtimo este raciocnio?
Respostas
01. Resposta E.
Parte inferior do formulrio
A letra D parece certa, mas observe que certa seria se
a segunda premissa fosse invertida: Todos os que gostam de
fsica so matemticos. A letra E correta. Existem algumas
proposies que podem ser negadas.
Algum negao: Nenhum.
Nenhum negao: Algum.
Todo negao: Algum no.
Algum no negao: Todo.
III - Todos os primatas so mamferos. Todos os mamferos so

vertebrados. Concluso: todos os vertebrados so primatas. Mais
uma vez no podemos afirmar, pois a questo no d informaes
para concluirmos tal coisa... o conjunto dos primatas est contido
no conjunto dos mamferos e os mamferos contidos no conjunto
dos vertebrados, ento pode ser que tenha primatas que no sejam
primatas ou que no sejam mamferos....
Nessa questo basta negar todas as proposies com suas

equivalncias supracitadas, ou basta fazer conjuntos (ou bales):
(A) H dois grupos matemticos e aqueles que gostam
de fsica. H uma interseco entre eles, com matemticos que
gostam e matemticos que no gostam de fsica. Marcelo pode
estar tanto em um como em outro grupo.
(B) Mesmo raciocnio. Marcelo pode gostar ou no de fsica.
(C) H interseco entre matemticos e gostam de fsica.
Mrio pode estar no grupo matemticos que gostam de fsica e o
outro grupo, aqueles que gostam de fsica e no so matemticos.
15
RACIOCNIO LGICO
03.
(A) Um silogismo categrico uma forma de raciocnio
composto por duas premissas categricas e uma concluso que
se extrai combinando os termos em que se decompem as suas
premissas.
(B) Ilegtimo, invlido formalmente, porque um silogismo
compe-se de, nica e exclusivamente, trs termos e neste
exerccio temos 4 termos/conceitos: flor, rosa (nome de flor), Rosa
(nome de mulher) e mulher bonita.
2 COMPREENSO DE ESTRUTURAS
LGICAS.
Na lgica, uma estrutura (ou estrutura de interpretao) um

objeto que d significado semntico ou interpretao aos smbolos
definidos pela assinatura de uma linguagem. Uma estrutura possui
diferentes configuraes, seja em lgicas de primeira ordem,
seja em linguagens lgicas poli-sortidas ou de ordem superior.
As questes de Raciocnio Lgico sempre vo ser compostas por
proposies que provam, do suporte, do razo a algo, ou seja, so
afirmaes que expressam um pensamento de sentindo completo.
Essas proposies podem ter um sentindo positivo ou negativo.
04.
(A) Ilegtimo, invlido formalmente, porque o termo mdio
no considerado pelo menos uma vez universalmente, tal como
se exige nas regras.
05.
(A) Ilegtimo, porque de duas premissas particulares nada se
pode concluir. De fato, se observarmos o silogismo notamos que o
termo mdio no considerado universalmente, o que contrrio
regra do termo mdio, segundo a qual o termo mdio tem de ser
considerado pelo menos uma vez universalmente.
(B) No vlido materialmente, porque um silogismo
verdadeiro se as suas premissas e concluso so verdadeiras e,
simultaneamente, se obedece s regras. Ora, neste silogismo,
temos premissas verdadeiras, concluso falsa e no se obedece
regra do termo mdio, como foi explicado.
Exemplo 1: Joo anda de bicicleta.

Exemplo 2: Maria no gosta de banana.
Tanto o exemplo 1 quanto o 2 caracterizam uma afirmao/
proposio.
A base das Estruturas Lgicas saber o que Verdade ou
Mentira (verdadeiro/falso). Os resultados das proposies sempre
tem que dar verdadeiro. H alguns princpios bsicos:
Contradio: Nenhuma proposio pode ser verdadeira e
falsa ao mesmo tempo.
Terceiro Excludo: Dadas duas proposies lgicas
contraditrias somente uma delas verdadeira. Uma proposio
ou verdadeira ou falsa, no h um terceiro valor lgico (mais
ou menos, meio verdade ou meio mentira). Ex. Estudar fcil.
(o contrrio seria: Estudar difcil. No existe meio termo, ou
estudar fcil ou estudar difcil).
06.
(A) Ilegtimo, porque de duas premissas negativas nada se
pode concluir.
07.
(A) Ilegtimo, porque o termo/conceito herbvoro tem mais
extenso na concluso do que na premissa menor, o que vai contra
a regra segundo a qual nenhum conceito pode ter mais extenso na
concluso do que nas premissas.
Para facilitar a resoluo das questes de lgica usamse os conectivos lgicos, que so smbolos que comprovam a
veracidade das informaes e unem as proposies uma a outra ou
as transformam numa terceira proposio. Veja:
(~) no: negao
() e: conjuno
(V) ou: disjuno
() se...ento: condicional
() se e somente se: bicondicional
08.
(A) Ilegtimo formalmente, porque desobedece regra
segundo a qual o termo mdio no pode entrar na concluso.
09.
(A) Invlido formalmente, por duas razes. Em primeiro lugar,
porque trocaram-se na concluso os conceitos que deviam ser
sujeito e predicado desse juzo. Segundo as regras de inferncia, o
termo maior predicado na concluso e o termo menor sujeito
nessa mesma concluso. Em segundo lugar, a concluso s
poderia ser alguns quadrpedes so mortais para se obedecer
regra segundo a qual nenhum conceito pode ter maior extenso na
concluso do que nas premissas.
Temos as seguintes proposies:

O Po barato. O Queijo no bom.
A letra p representa a primeira proposio e a letra q, a
segunda. Assim, temos:
p: O Po barato.
q: O Queijo no bom.
10.
(A) Ilegtimo, porque de duas premissas particulares nada se
pode concluir. Alis, aqui encontra-se o caso de duas premissas
negativas e h uma regra segundo a qual de duas premissas
negativas nada se pode concluir.
Negao (smbolo ~): Quando usamos a negao de uma

proposio invertemos a afirmao que est sendo dada. Veja os
exemplos:
~p (no p): O Po no barato. ( a negao lgica de p)
~q (no q): O Queijo bom. ( a negao lgica de q)
16
RACIOCNIO LGICO
Se uma proposio verdadeira, quando usamos a negao
vira falsa.
Se uma proposio falsa, quando usamos a negao vira
verdadeira.
Regrinha para o conectivo de negao (~):
P
~P
PQ
QUESTES
01. (ESAF - Receita Federal - Auditor Fiscal) A afirmao A
menina tem olhos azuis ou o menino loiro tem como sentena
logicamente equivalente:
(A) se o menino loiro, ento a menina tem olhos azuis.
(B) se a menina tem olhos azuis, ento o menino loiro.
(C) se a menina no tem olhos azuis, ento o menino loiro.
(D) no verdade que se a menina tem olhos azuis, ento o
menino loiro.
(E) no verdade que se o menino loiro, ento a menina tem
olhos azuis.
Conjuno (smbolo ): Este conectivo utilizado para unir

duas proposies formando uma terceira. O resultado dessa unio
somente ser verdadeiro se as duas proposies (p e q) forem
verdadeiras, ou seja, sendo pelo menos uma falsa, o resultado ser
falso. Ex.: p q. (O Po barato e o Queijo no bom). = e.
Regrinha para o conectivo de conjuno ():
P
PQ
02. (ESAF - Receita Federal - Auditor Fiscal) Se Anamara

mdica, ento Anglica mdica. Se Anamara arquiteta, ento
Anglica ou Andrea so mdicas. Se Andrea arquiteta, ento
Anglica arquiteta. Se Andrea mdica, ento Anamara
mdica. Considerando que as afirmaes so verdadeiras, seguese, portanto, que:
(A) Anamara, Anglica e Andrea so arquitetas.
(B) Anamara mdica, mas Anglica e Andrea so arquitetas.
(C) Anamara, Anglica e Andrea so mdicas.
(D) Anamara e Anglica so arquitetas, mas Andrea mdica.
(E) Anamara e Andrea so mdicas, mas Anglica arquiteta.
Disjuno (smbolo V): Este conectivo tambm serve para

unir duas proposies. O resultado ser verdadeiro se pelo menos
uma das proposies for verdadeira. Ex: p v q. (Ou o Po barato
ou o Queijo no bom.) V = ou. Regrinha para o conectivo de
disjuno (V):
P
PVQ
03. (ESAF - Receita Federal - Auditor Fiscal) Se Ana

pianista, ento Beatriz violinista. Se Ana violinista, ento
Beatriz pianista. Se Ana pianista, Denise violinista. Se Ana
violinista, ento Denise pianista. Se Beatriz violinista, ento
Denise pianista. Sabendo-se que nenhuma delas toca mais de um
instrumento, ento Ana, Beatriz e Denise tocam, respectivamente:
(A) piano, piano, piano.
(B) violino, piano, piano.
(C) violino, piano, violino.
(D) violino, violino, piano.
(E) piano, piano, violino.
Condicional (smbolo ): Este conectivo d a ideia de

condio para que a outra proposio exista. P ser condio
suficiente para Q e Q condio necessria para P. Ex: P
Q. (Se o Po barato ento o Queijo no bom.) = se...ento.
Regrinha para o conectivo condicional ():
P
PQ
(CESPE TRE-RJ Tcnico Judicirio)

Texto para as questes de 04 a 07.
O cenrio poltico de uma pequena cidade tem sido
movimentado por denncias a respeito da existncia de um
esquema de compra de votos dos vereadores. A dvida quanto
a esse esquema persiste em trs pontos, correspondentes s
proposies P, Q e R:
Bicondicional (smbolo ): O resultado dessas proposies

ser verdadeiro se e somente se as duas forem iguais (as duas
verdadeiras ou as duas falsas). P ser condio suficiente
e necessria para Q. Exemplo: P Q. (O Po barato se e
somente se o Queijo no bom.) = se e somente se. Regrinha
para o conectivo bicondicional ():
P: O vereador Vitor no participou do esquema;

Q: O Prefeito Prsio sabia do esquema;
R: O chefe de gabinete do Prefeito foi o mentor do esquema.
17
RACIOCNIO LGICO
Os trabalhos de investigao de uma CPI da Cmara Municipal
conduziram s premissas P1, P2 e P3 seguintes:
(CESPE - TRT-ES Tcnico Judicirio) Proposio

Texto para as questes 09 e 10.
P1: Se o vereador Vitor no participou do esquema, ento o

Prefeito Prsio no sabia do esquema.
P2: Ou o chefe de gabinete foi o mentor do esquema, ou o
Prefeito Prsio sabia do esquema, mas no ambos.
P3: Se o vereador Vitor no participou do esquema, ento o
chefe de gabinete no foi o mentor do esquema.
Proposies so frases que podem ser julgadas como

verdadeiras (V) ou falsas (F), mas no como V e F simultaneamente.
As proposies simples so aquelas que no contm nenhuma
outra proposio como parte delas. As proposies compostas so
construdas a partir de outras proposies, usando-se smbolos
lgicos, parnteses e colchetes para que se evitem ambiguidades.
As proposies so usualmente simbolizadas por letras maisculas
do alfabeto: A, B, C, etc. Uma proposio composta da forma A
B, chamada disjuno, deve ser lida como A ou B e tem o valor
lgico F, se A e B so F, e V, nos demais casos. Uma proposio
composta da forma A B, chamada conjuno, deve ser lida como
A e B e tem valor lgico V, se A e B so V, e F, nos demais casos.
Alm disso, A, que simboliza a negao da proposio A, V, se
A for F, e F, se A for V. Considere que cada uma das proposies
seguintes tenha valor lgico V.
I- Tnia estava no escritrio ou Jorge foi ao centro da cidade
II- Manuel declarou o imposto de renda na data correta e Carla
no pagou o condomnio.
III- Jorge no foi ao centro da cidade.
Considerando essa situao hipottica, julgue os itens

seguintes, acerca de proposies lgicas.
04. Das premissas P1, P2 e P3, correto afirmar que O chefe de

gabinete foi o mentor do esquema ou o vereador Vitor participou
do esquema.
( ) Certo
( ) Errado
05. Considerando essa situao hipottica, julgue os itens

seguintes, acerca de proposies lgicas. A premissa P2 pode ser
corretamente representada por R Q.
( ) Certo
09. A partir dessas proposies, correto afirmar que a

proposio Manuel declarou o imposto de renda na data correta e
Jorge foi ao centro da cidade tem valor lgico V.
( ) Certo
( ) Errado
( ) Errado

seguintes, acerca de proposies lgicas. A premissa P3
logicamente equivalente proposio O vereador Vitor participou
do esquema ou o chefe de gabinete no foi o mentor do esquema.
( ) Certo
10. A partir dessas proposies, correto afirmar que a

proposio. Carla pagou o condomnio tem valor lgico F.
( ) Certo
( ) Errado
Respostas

seguintes, acerca de proposies lgicas. A partir das premissas
P1, P2 e P3, correto inferir que o prefeito Prsio no sabia do
esquema.
( ) Certo
01. Resposta C.
( ) Errado
08. (CESPE - TRE-ES - Tcnico) Entende-se por proposio

todo conjunto de palavras ou smbolos que exprimem um
pensamento de sentido completo, isto , que afirmam fatos ou
exprimam juzos a respeito de determinados entes. Na lgica
bivalente, esse juzo, que conhecido como valor lgico da
proposio, pode ser verdadeiro (V) ou falso (F), sendo objeto
de estudo desse ramo da lgica apenas as proposies que atendam
ao princpio da no contradio, em que uma proposio no pode
ser simultaneamente verdadeira e falsa; e ao princpio do terceiro
excludo, em que os nicos valores lgicos possveis para uma
proposio so verdadeiro e falso. Com base nessas informaes,
julgue os itens a seguir. Segundo os princpios da no contradio
e do terceiro excludo, a uma proposio pode ser atribudo um e
somente um valor lgico.
( ) Certo
Proposio
Equivalente
PQ
~Q ~P
PQ
~P Q
PQ
P suficiente para Q
PQ
Q necessrio para P
A menina tem olhos azuis ou o menino loiro.

(~P)
( )
(Q)
Se a menina no tem olhos azuis, ento o menino loiro.

(~P)
()
(Q)
Sintetizando: Basta negar a primeira, manter a segunda e
trocar o ou pelo se ento. A menina tem olhos azuis (M) ou
o menino loiro (L).
Est assim: M v L
Fica assim: ~M L
( ) Errado
( ) Errado
Se a menina no tem olhos azuis, ento o menino loiro.

18
RACIOCNIO LGICO
02. Resposta C.
Hiptese 1
Anamara mdica Anglica mdica. (verdadeira

verdadeira)
Anamara arquiteta Anglica mdica Andrea mdica.
(falsa verdadeira verdadeira)
Andrea arquiteta Anglica arquiteta. (falsa falsa)
Andrea mdica Anamara mdica. (verdadeira
verdadeira)
- Se Ana pianista, ento Beatriz violinista. (verdade)

V V - Como j sabemos, se a (verdade) aparecer primeiro, a
(falso) no poder.
- Se Ana violinista, ento Beatriz pianista. (verdade)
F F - J sabemos que Ana pianista e Bia violinista, ento
falso nelas.
Como na questo no existe uma proposio simples, temos

que escolher entre as existentes, uma proposio composta e supor
se verdadeira ou falsa. Nesta questo analise as proposies
medida que aparecem na questo, da a primeira proposio sobre
a pessoa assume o valor de verdade, as seguintes sero, em regra,
falsas. Embora nada impea que uma pessoa tenha mais de uma
profisso, o que no deve ser levado em considerao. Importante
lembrar que todas as proposies devem ter valor lgico verdadeiro.
Para encontrar a resposta temos que testar algumas hipteses at
encontrar a que preencha todos os requisitos da regra.
- Se Ana pianista, Denise violinista. (verdade)

VV
- Se Ana violinista, ento Denise pianista. (verdade)
FF
- Se Beatriz violinista, ento Denise pianista. (verdade)
V F - Apareceu a temida V F, logo a nossa proposio ser
falsa. Ento descarte essa hiptese.
Hiptese 2
- Se Anamara mdica, ento Anglica mdica. (verdadeiro)

1. V V
2. F F
3. F V
- Se Ana pianista, ento Beatriz violinista. (verdade)

FV
- Se Ana violinista, ento Beatriz pianista. (verdade)
V F - A VF apareceu, ento j podemos descart-la, pois a
nossa proposio ser falsa.
- Se Anamara arquiteta, ento Anglica ou Andrea so

mdicas. (verdadeiro)
1. F V V - Para ser falso Todos devem ser falsos.
2. V F V - A segunda sentena deu falso e a VF apareceu,
ento descarta essa hiptese.
3. V V F - Aqui tambm ocorreu o mesmo problema da 2
hiptese, tambm devemos descart-la.
04. Resposta Certo.

s aplicar a tabela verdade do ou (v).
V v F ser verdadeiro, sendo falso apenas quando as duas
forem falsas.
- Se Andrea arquiteta, ento Anglica arquiteta. (verdadeiro)

1. F F
2.
3.
A tabela verdade do ou. Vejam:

pq
- Se Andrea mdica, ento Anamara mdica. (verdadeiro)

1. V V
2.
3.
03. Resposta B.
Ana pianista Beatriz violinista. (F F)

Ana violinista Beatriz pianista. (V V)
Ana pianista Denise violinista. (F F)
Ana violinista Denise pianista. (V V)
Beatriz violinista Denise pianista. (F V)
No 2 caso, os dois no podem ser verdade ao mesmo tempo.

Disjuno exclusiva (Ou... ou)
Representado pelo v, ou ainda ou.
Pode aparecer assim tambm: p v q, mas no ambos.
Proposies Simples quando aparecem na questo,

suponhamos que sejam verdadeiras (V). Como na questo no
h proposies simples, escolhemos outra proposio composta e
supomos que seja verdadeira ou falsa.
Regra: S ser verdadeira se houver uma das sentenas

verdadeira e outra falsa.
Hiptese 1:
1 Passo: qual regra eu tenho que saber? Condicional (Se...

ento).
2 Passo: Fazer o teste com as hipteses possveis at encontrar
a resposta.
P1: F V = V (No poder aparecer VF).

P2: V F = V (Apenas um tem que ser verdadeiro).
P3: F F = V
19
RACIOCNIO LGICO
Concluses:
Vereador participou do esquema.
Prefeito no sabia.
Chefe do gabinete foi o mentor.
Possuem a mesma tabela verdade, logo so equivalentes.

Representando simbolicamente as equivalncias, temos o
seguinte:
(P R) = (P R) = (R P)
Ento:
O chefe de gabinete foi o mentor do esquema ou o vereador
Vitor participou do esquema.
V V = verdade, pois sabemos que para ser falso, todos devem
ser falsos.
As proposies dadas na questo:

P = O vereador Vitor no participou do esquema.
R = O chefe de gabinete do Prefeito foi o mentor do esquema.
Premissa dada na questo: P3 = Se o vereador Vitor no

participou do esquema, ento o chefe do gabinete no foi o mentor
do esquema. Em linguagem simblica, a premissa P3 fica assim:
(P R).
A questo quer saber se (P R) logicamente equivalente a
proposio: O vereador Vitor participou do esquema ou o chefe de
gabinete no foi o mentor do esquema, que pode ser representada
da seguinte forma: (P R). Vemos que P3 tem a seguinte
equivalente lgica: (P R) = (P R). Negamos a primeira
sentena, mudamos o conectivo para , e depois mantemos
a segunda sentena do mesmo jeito. Assim sendo, a questo est
correta. As duas sentenas so logicamente equivalentes.
Hiptese 2:
P1: F F = V
P2: F V = V
P3: F V = V
Concluses:
Vereador participou do esquema.
Prefeito sabia.
Chefe de gabinete no era o mentor.
Ento:
O chefe de gabinete foi o mentor do esquema ou o vereador
Vitor participou do esquema.
F V = verdade.
07. Resposta Errado.

A questo quer saber se o argumento o Prefeito Prsio no
sabia do esquema um argumento vlido. Quando o argumento
vlido? Quando as premissas forem verdadeiras e a concluso
obrigatoriamente verdadeira ou quando as premissas forem falsas
e a concluso falsa. Quando o argumento no vlido? Quando as
premissas forem verdadeiras e a concluso for falsa. Pra resolver
essas questes de validade de argumento melhor comear de
forma contrria ao comando da questo. Como a questo quer
saber se o argumento vlido, vamos partir do princpio (hiptese)
que invlido. Fica assim:

No se trata de uma Disjuno, trata-se de uma Disjuno
Exclusiva, cujo smbolo . Tambm chamado de Ou Exclusivo.
o famoso um ou outro mas no ambos. S vai assumir valor
verdade, quando somente uma das proposies forem verdadeiras,
pois quando as duas forem verdadeiras a proposio ser falsa. Da
mesma forma se as duas forem falsas, a proposio toda ser falsa.
Tabela verdade do Ou Exclusivo.
P1: P ~Q verdade
P2: R (ou exclusivo) Q verdade
P3: P ~R verdade
Concluso: O prefeito Prsio no sabia do esquema. falso
pq
Se falso que o Prefeito Prsio no sabia, significa dizer que

ele sabia do esquema. Ento, pode-se deduzir que as proposies
~Q e Q so, respectivamente, falsa e verdadeira. Na segunda
premissa: Se Q verdadeira, R ser obrigatoriamente falsa, pois
na disjuno exclusiva s vai ser verdade quando apenas um dos
argumentos for verdadeiro. E se R falso, significa dizer que ~R
verdadeiro. Fazendo as substituies:
Com a frase em P2 mas no ambos deixa claro que as duas

premissas no podem ser verdadeiras, logo no uma Disjuno,
mas sim uma Disjuno Exclusiva, onde apenas uma das premissas
pode ser verdadeira para que P2 seja verdadeira.
P1: P ~Q Verdade
FFV
06. Resposta Certo.

Duas premissas so logicamente equivalentes quando elas
possuem a mesma tabela verdade:
P
PR
R P
P R
V
Por que P falso? Na condicional s vai ser falso se a primeira

for verdadeira e a segunda for falsa. Como sabemos que a
premissa toda verdadeira e que ~Q falso, P s pode assumir
valor F.
P2: R (ou exclusivo) Q Verdade

F (ou exclusivo) V V
20
RACIOCNIO LGICO
Lembrando que na disjuno exclusiva, s vai ser verdade
quando uma das proposies forem verdadeiras. Como sei que Q
verdadeiro, R s pode ser falso.
Portanto se no item II diz que Carla no pagou o condomnio

verdadeiro, ento o fato dela ter pago o condomnio falso, pois
est contradizendo o dito no item II. Os valores lgicos da segunda
proposio no so deduzveis, mas sim informados no enunciado.
P3: P ~R Verdade
FVV
II- Manuel declarou o imposto de renda na data correta e Carla

no pagou o condomnio V e V. Portanto, se Carla no pagou o
condomnio Verdadeiro. Carla pagou o condomnio Falso.
Enunciado correto.
Se deduz que R falso, logo ~R verdadeiro. Consideramos

inicialmente o argumento sendo no vlido (premissas verdadeiras
e concluso falsa). Significa dizer que a questo est errada. No
correto inferir que o Prefeito Prsio no sabia do esquema. Foi
comprovado que ele sabia do esquema.
3 FUNDAMENTOS DE MATEMTICA.
08. Resposta Certo.

Denomina-se fundamentos da matemtica a uma rea de
estudo que abrange tanto problemas da filosofia da matemtica,
como da lgica e da matemtica. Ela teve a sua origem nas ltimas
dcadas do sculo XIX e desenvolveu-se durante as primeiras
dcadas do sculo XX, como uma resposta crise dos fundamentos
gerada pelos paradoxos1 . Do ponto de vista lgico, tem como
questo fundamental as relaes entre a lgica e a matemtica.
Do ponto de vista matemtico abrange pesquisas nas reas de
lgica matemtica, teoria de conjuntos, teoria dos tipos, teoria de
modelos, teoria da prova, teoria da recurso e topologia.
Princpio da No Contradio = Uma preposio ser

V ou F no podendo assumir os 2 valores simultaneamente.
Representao: (P P). Exemplo: No (a terra redonda e
a terra no redonda).
Princpio do Terceiro Excludo = Uma preposio ser V ou F,
no podendo assumir um 3o valor lgico. Representao: P P.
Exemplo: Ou este homem Jos ou no Jos.
Uma proposio s poder ser julgada verdadeira ou falsa,
nunca poder ser as duas coisas ao mesmo tempo.

Da proposio III Jorge no foi ao centro da cidade que
verdadeira e a questo diz Manuel declarou o imposto de renda na
data correta e Jorge foi ao centro da cidade a segunda parte falsa
como o conectivo e as duas teriam que ser verdadeiras (o que
no acontece). Vamos analisar cada proposio de cada premissa,
tendo em mente que as premissas tem valor lgico (V), da tiramos
um importante dado, sabemos que a premissa III (V), portanto
vamos atribuir o valor lgico (V) a proposio e e o valor lgico
(F) a proposio B, agora vamos separar:
A: Tnia estava no escritrio (V)
B: Jorge foi ao centro da cidade (F)
Histria
O matemtico Georg Cantor comeou as suas pesquisas
estudando sries trigonomtricas, mas logo foi direcionado por elas
a elucidar o conceito de conjunto. Dessa maneira ele deu origem
teoria de conjuntos, desenvolvendo a primeira teoria matemtica
dos nmeros infinitos e o incio da topologia dos conjuntos de
pontos surgida a partir das questes do Analysis Situs, agora
colocadas no contexto da teoria de conjuntos. Richard Dedekind,
em constante contato com Cantor, utiliza os desenvolvimentos da
teoria de conjuntos na sua elucidao do conceito de continuidade
e na sua definio dos nmeros reais. Como expressa Hilbert com
referncia a Dedekind:
O matemtica viu-se forado a ser um filsofo, para poder
seguir sendo matemtico.
Em outro sentido, Gottlob Frege afirma que a matemtica deve
fortalecer as suas bases lgicas, colocando claramente sua posio
no livro Fundamentos da aritmtica e depois nas Leis fundamentais
da aritmtica, onde comea com um desenvolvimento da lgica
matemtica para passar matemtica, como maneira de justificar
a unidade de ambas.
Diante das anlises iniciais temos que a premissa A v B, tem

valor lgico (V), mas que a proposio B tem valor lgico (F),
ou seja, A v (valor lgico F), para que essa premissa tenha o valor
lgico (V), A tem que ter um valor lgico (V).
C: Manuel declarou o imposto de renda na data correta (V)
D: Carla no pagou o condomnio (V)
O enunciado fala para considerar todas as premissas com

valor lgico (V), logo, a premissa C D para ter valor lgico (V),
ambas proposies devem ter valor lgico (V).
Surgimento de Paradoxos
Como resposta teoria de Cantor dos ordinais transfinitos,
Burali-Forti anuncia que nessa teoria pode ser derivada uma
contradio, posteriormente denominada paradoxo de BuraliForti. Em 1902, Bertrand Russell escreve uma carta para Frege na
qual anuncia que no sistema das Leis fundamentais da aritmtica
pode ser derivada uma contradio, hoje conhecida como paradoxo
de Russell, mas certas fontes afirmam que j era conhecida com
anterioridade por Ernst Zermelo, pertencente ao crculo de Hilbert.
Esses paradoxos, mais outros enunciados posteriormente,
geram uma crise de fundamentos (em alemo: Grundlagenkrisis),
na qual so questionados os mtodos e a lgica utilizada pela
matemtica.
E: Jorge no foi ao centro da cidade (V)

B = (V)
Diante das explicaes, C
(F) = (F).
10. Resposta Certo.

Considere que cada uma das proposies seguintes tenha
valor lgico V. Logo o que contraria essa verdade falso.
I- V + F = V
II- V + V = V
III- V
21
RACIOCNIO LGICO
Respostas crise e principais correntes da polmica sobre
fundamentos
1665) e Blaise Pascal (1623-1662). A anlise desenvolve mtodos

que permitem contar, indiretamente, o nmero de elementos de um
conjunto. Por exemplo, se quiser saber quantos nmeros de quatro
algarismos so formados com os algarismos 1, 2, 3, 4, 5, 6, 7 e 9,
preciso aplicar as propriedades da anlise combinatria. Veja quais
propriedades existem:
As respostas crise de fundamentos desenvolveram-se

em diferentes direes, formando-se trs correntes principais
denominadas de logicismo, formalismo e intuicionismo.
Russell aderiu ao pressuposto de Frege da unidade de lgica
e matemtica e escreveu, junto com Whitehead, o monumental
texto dos Principia Mathematica, no qual so desenvolvida de uma
maneira contnua a lgica e a matemtica. Esse aprofundamento
das ideias de Frege como resposta crise constitui a base da
tendncia logicista.
Hilbert no participa da ideia de unidade da lgica e a
matemtica, mas considera que a formalizao da lgica que
culmina na obra de Frege uma parte importante de uma outra
resposta. Hilbert prope a formalizao e axiomatizao das
diferentes reas da matemtica, para assim poder dar uma
demonstrao da consistncia de essas teorias, ou seja, de que no
possvel a derivao de contradies nelas, constituindo a base do
Programa de Hilbert e o incio da corrente formalista, continuada
por figuras como Paul Bernays, Stephen Kleene, Haskell B. Curry,
Ernst Zermelo e John von Neumann.
Em desacordo com as posies anteriores, L. E. J. Brouwer
afirma que a matemtica chegou a paradoxos por ter-se afastado
das intuies claras e dos mtodos construtivos bem definidos,
de modo que os mtodos da lgica clssica que pode ser aplicada
sem problemas a objetos concretos e em situaes empricas, so
extrapolados de maneira abusiva quando aplicados na matemtica.
Em particular, rejeita o princpio de terceiro excludo e as
demonstraes de existncia de um objeto matemtico que no so
construtivas. Assim, Brouwer deu origem corrente intuicionista,
s vezes denominada construtivista, tendo depois em Arend
Heyting um importante defensor.
- Princpio fundamental da contagem

- Fatorial
- Arranjos simples
- Permutao simples
- Combinao
- Permutao com elementos repetidos
Princpio fundamental da contagem: o mesmo que a Regra
do Produto, um princpio combinatrio que indica quantas vezes
e as diferentes formas que um acontecimento pode ocorrer. O
acontecimento formado por dois estgios caracterizados como
sucessivos e independentes:
O primeiro estgio pode ocorrer de m modos distintos.
O segundo estgio pode ocorrer de n modos distintos.
Desse modo, podemos dizer que o nmero de formas diferente
que pode ocorrer em um acontecimento igual ao produto m . n
Exemplo: Alice decidiu comprar um carro novo, e inicialmente
ela quer se decidir qual o modelo e a cor do seu novo veculo. Na
concessionria onde Alice foi h 3 tipos de modelos que so do
interesse dela: Siena, Fox e Astra, sendo que para cada carro h
5 opes de cores: preto, vinho, azul, vermelho e prata. Qual o
nmero total de opes que Alice poder fazer?
Teoria dos Conjuntos
Resoluo: Segundo o Principio Fundamental da Contagem,

Alice tem 35 opes para fazer, ou seja,ela poder optar por 15
carros diferentes. Vamos representar as 15 opes na rvore de
possibilidades:
Seguindo a proposta de Hilbert, Zermelo prope em 1908

um sistema de axiomas para fundamentar a teoria de conjuntos,
evitando os paradoxos conhecidos, como os de Cantor, BuraliForti e Russell. Com contribuies posteriores, essa teoria deu
lugar Teoria de Conjuntos de Zermelo-Fraenkel com Escolha,
ZFC, na qual pode ser formalizada a maior parte da matemtica
atual.
Essa teoria geralmente formalizada na lgica de primeira
ordem com igualdade e tem como nico smbolo no lgico no
definido a relao de pertinncia.
4 PRINCPIOS DE CONTAGEM
E PROBABILIDADE.
Anlise Combinatria
Anlise combinatria uma parte da matemtica que estuda,
ou melhor, calcula o nmero de possibilidades, e estuda os mtodos
de contagem que existem em acertar algum nmero em jogos de
azar. Esse tipo de clculo nasceu no sculo XVI, pelo matemtico
italiano Niccollo Fontana (1500-1557), chamado tambm de
Tartaglia. Depois, apareceram os franceses Pierre de Fermat (1601-
22
RACIOCNIO LGICO
Generalizaes: Um acontecimento formado por k estgios
sucessivos e independentes, com n1, n2, n3, , nk possibilidades para
cada. O total de maneiras distintas de ocorrer este acontecimento
n1, n2, n3, , nk
Os fatoriais so importantes em anlise combinatria. Por

exemplo, existem n! caminhos diferentes de arranjar n objetos
distintos numa sequncia. (Os arranjos so chamados permutaes)
E o nmero de opes que podem ser escolhidos dado pelo
coeficiente binomial.
Tcnicas de contagem: Na Tcnica de contagem no importa

a ordem.
Considere A = {a; b; c; d; ; j} um conjunto formado por 10
elementos diferentes, e os agrupamentos ab, ac e ca.
Arranjos simples: so agrupamentos sem repeties em que

um grupo se torna diferente do outro pela ordem ou pela natureza
dos elementos componentes. Seja A um conjunto com n elementos
e k um natural menor ou igual a n. Os arranjos simples k a k dos
n elementos de A, so os agrupamentos, de k elementos distintos
cada, que diferem entre si ou pela natureza ou pela ordem de seus
elementos.
ab e ac so agrupamentos sempre distintos, pois se diferenciam

pela natureza de um dos elemento.
ac e ca so agrupamentos que podem ser considerados
distintos ou no distintos pois se diferenciam somente pela ordem
dos elementos.
Quando os elementos de um determinado conjunto A forem
algarismos, A = {0, 1, 2, 3, , 9}, e com estes algarismos
pretendemos obter nmeros, neste caso, os agrupamentos de 13
e 31 so considerados distintos, pois indicam nmeros diferentes.
Clculos do nmero de arranjos simples:

Na formao de todos os arranjos simples dos n elementos de
A, tomados k a k:
Quando os elementos de um determinado conjunto A

forem pontos, A = {A1, A2, A3, A4, A5, A9}, e com estes
pontos pretendemos obter retas, neste caso os agrupamentos
so iguais, pois indicam a mesma reta.
n
possibilidades na escolha do 1 elemento.
n - 1 possibilidades na escolha do 2 elemento, pois um
deles j foi usado.
n - 2 possibilidades na escolha do 3 elemento, pois dois
deles j foi usado.
.
.
.
n - (k - 1) possibilidades na escolha do k elemento, pois
l-1 deles j foi usado.
Concluso: Os agrupamentos...
1. Em alguns problemas de contagem, quando os agrupamentos
se diferirem pela natureza de pelo menos um de seus elementos, os
agrupamentos sero considerados distintos.
ac = ca, neste caso os agrupamentos so denominados
combinaes.
Pode ocorrer: O conjunto A formado por pontos e o problema
saber quantas retas esses pontos determinam.
No Princpio Fundamental da Contagem (An, k), o nmero total

de arranjos simples dos n elementos de A (tomados k a k), temos:
2. Quando se diferir tanto pela natureza quanto pela ordem

de seus elementos, os problemas de contagem sero agrupados e
considerados distintos.
ac ca, neste caso os agrupamentos so denominados arranjos.
An,k = n (n - 1) . (n - 2) . ... . (n k + 1)
( o produto de k fatores)
Multiplicando e dividindo por (n k)!
Pode ocorrer: O conjunto A formado por algarismos e o

problema contar os nmeros por eles determinados.
Fatorial: Na matemtica, o fatorial de um nmero natural n,
representado por n!, o produto de todos os inteiros positivos
menores ou iguais a n. A notao n! foi introduzida por Christian
Kramp em 1808. A funo fatorial normalmente definida por:
Note que n (n 1) . (n 2). ... .(n k + 1) . (n k)! = n!

Podemos tambm escrever
Permutaes: Considere A como um conjunto com n
elementos. Os arranjos simples n a n dos elementos de A, so
denominados permutaes simples de n elementos. De acordo com
a definio, as permutaes tm os mesmos elementos. So os n
elementos de A. As duas permutaes diferem entre si somente
pela ordem de seus elementos.
Por exemplo, 5! = 1 . 2 . 3 . 4 . 5 = 120

Note que esta definio implica em particular que 0! = 1,
porque o produto vazio, isto , o produto de nenhum nmero 1.
Deve-se prestar ateno neste valor, pois este faz com que a funo
recursiva (n + 1)! = n! . (n + 1) funcione para n = 0.
23
RACIOCNIO LGICO
Clculo do nmero de permutao simples:
Portanto: Cn,k . Pk = An,k ou
A
C n,k = n,k
Pk
O nmero total de permutaes simples de n elementos

indicado por Pn, e fazendo k = n na frmula An,k = n (n 1) (n 2)
. . (n k + 1), temos:
Lembrando que:

Pn = An,n= n (n 1) (n 2) . . (n n + 1) = (n 1) (n 2)
. .1 = n!
Portanto: Pn = n!
Tambm pode ser escrito assim:
Combinaes Simples: so agrupamentos formados com

os elementos de um conjunto que se diferenciam somente pela
natureza de seus elementos. Considere A como um conjunto com
n elementos k um natural menor ou igual a n. Os agrupamentos
de k elementos distintos cada um, que diferem entre si apenas
pela natureza de seus elementos so denominados combinaes
simples k a k, dos n elementos de A.
Arranjos Completos: Arranjos completos de n elementos, de k

a k so os arranjos de k elementos no necessariamente distintos.
Em vista disso, quando vamos calcular os arranjos completos,
deve-se levar em considerao os arranjos com elementos distintos
(arranjos simples) e os elementos repetidos. O total de arranjos
completos de n elementos, de k a k, indicado simbolicamente por
A*n,k dado por: A*n,k = nk
Exemplo: Considere A = {a, b, c, d} um conjunto com

elementos distintos. Com os elementos de A podemos formar 4
combinaes de trs elementos cada uma: abc abd acd bcd
Se trocarmos ps 3 elementos de uma delas:
Permutaes com elementos repetidos
Exemplo: abc, obteremos P3 = 6 arranjos disdintos.

abc
abd
acd
Considerando:
bcd
bca
elementos iguais a a,
elementos iguais a b,
elementos iguais a c, ,
elementos iguais a l,
cab
Totalizando em + + + = n elementos.
acb
bac
cba
Simbolicamente representado por Pn, , , , o nmero

de permutaes distintas que possvel formarmos com os n
elementos:
Se trocarmos os 3 elementos das 4 combinaes obtemos

todos os arranjos 3 a 3:
abc
abd
acd
bcd
acb
adb
adc
bdc
bac
bad
cad
cbd
bca
bda
cda
cdb
cab
dab
dac
dbc
cba
dba
dca
dcb
Combinaes Completas: Combinaes completas de

n elementos, de k a k, so combinaes de k elementos no
necessariamente distintos. Em vista disso, quando vamos calcular
as combinaes completas devemos levar em considerao as
combinaes com elementos distintos (combinaes simples) e
as combinaes com elementos repetidos. O total de combinaes
completas de n elementos, de k a k, indicado por C*n,k
(4 combinaes) x (6 permutaes) = 24 arranjos

Logo: C4,3 . P3 = A4,3
Clculo do nmero de combinaes simples: O nmero total
de combinaes simples dos n elementos de A representados por C
, tomados k a k, analogicamente ao exemplo apresentado, temos:
n,k
a) Trocando os k elementos de uma combinao k a k, obtemos
Pk arranjos distintos.
b) Trocando os k elementos das Cn,k . Pk arranjos distintos.
QUESTES
01. Quantos nmeros de trs algarismos distintos podem ser
formados com os algarismos 1, 2, 3, 4, 5, 7 e 8?
24
RACIOCNIO LGICO
02. Organiza-se um campeonato de futebol com 14 clubes,
sendo a disputa feita em dois turnos, para que cada clube enfrente
o outro no seu campo e no campo deste. O nmero total de jogos
a serem realizados :
(A)182
(B) 91
(C)169
(D)196
(E)160
(A) 80
(B) 96
(C) 240
(D) 640
(E) 1.280
08. Numa clnica hospitalar, as cirurgias so sempre assistidas
por 3 dos seus 5 enfermeiros, sendo que, para uma eventualidade
qualquer, dois particulares enfermeiros, por serem os mais
experientes, nunca so escalados para trabalharem juntos. Sabendose que em todos os grupos participa um dos dois enfermeiros mais
experientes, quantos grupos distintos de 3 enfermeiros podem ser
formados?
(A) 06
(B) 10
(C) 12
(D) 15
(E) 20
03. Deseja-se criar uma senha para os usurios de um sistema,

comeando por trs letras escolhidas entre as cinco A, B, C, D e
E, seguidas de quatro algarismos escolhidos entre 0, 2, 4, 6 e 8. Se
entre as letras puder haver repetio, mas se os algarismos forem
todos distintos, o nmero total de senhas possveis :
(A) 78.125
(B) 7.200
(C) 15.000
(D) 6.420
(E) 50
09. Seis pessoas sero distribudas em duas equipes para

concorrer a uma gincana. O nmero de maneiras diferentes de
formar duas equipes
(A) 10
(B) 15
(C) 20
(D) 25
(E) 30
04. (UFTM) Joo pediu que Cludia fizesse cartes com

todas as permutaes da palavra AVIAO. Cludia executou
a tarefa considerando as letras A e como diferentes, contudo,
Joo queria que elas fossem consideradas como mesma letra. A
diferena entre o nmero de cartes feitos por Cludia e o nmero
de cartes esperados por Joo igual a
(A) 720
(B) 1.680
(C) 2.420
(D) 3.360
(E) 4.320
10. Considere os nmeros de quatro algarismos do sistema

decimal de numerao. Calcule:
a) quantos so no total;
b) quantos no possuem o algarismo 2;
c) em quantos deles o algarismo 2 aparece ao menos uma vez;
d) quantos tm os algarismos distintos;
e) quantos tm pelo menos dois algarismos iguais.
05. (UNIFESP) As permutaes das letras da palavra PROVA

foram listadas em ordem alfabtica, como se fossem palavras de
cinco letras em um dicionrio. A 73 palavra nessa lista
(A) PROVA.
(B) VAPOR.
(C) RAPOV.
(D) ROVAP.
(E) RAOPV.
Resolues
01.
02. O nmero total de jogos a serem realizados A14,2 = 14 .
13 = 182.
06. (MACKENZIE) Numa empresa existem 10 diretores,

dos quais 6 esto sob suspeita de corrupo. Para que se analisem
as suspeitas, ser formada uma comisso especial com 5 diretores,
na qual os suspeitos no sejam maioria. O nmero de possveis
comisses :
(A) 66
(B) 72
(C) 90
(D) 120
(E) 124
03.
Algarismos
Letras
07. (ESPCEX) A equipe de professores de uma escola

possui um banco de questes de matemtica composto de 5
questes sobre parbolas, 4 sobre circunferncias e 4 sobre retas.
De quantas maneiras distintas a equipe pode montar uma prova
com 8 questes, sendo 3 de parbolas, 2 de circunferncias e 3 de
retas?
As trs letras podero ser escolhidas de 5 . 5 . 5 =125 maneiras.

Os quatro algarismos podero ser escolhidos de 5 . 4 . 3 . 2 =
120 maneiras.
O nmero total de senhas distintas, portanto, igual a 125 .
120 = 15.000.
25
RACIOCNIO LGICO
04.
I) O nmero de cartes feitos por Cludia foi
b) 8 . A*9,3 = 8 . 93 = 8 . 9 . 9 . 9 = 5832
c) (a) (b): 9000 5832 = 3168
d) 9 . A9,3 = 9 . 9 . 8 . 7 = 4536
e) (a) (d): 9000 4536 = 4464
II) O nmero de cartes esperados por Joo era
Probabilidade
Ponto Amostral, Espao Amostral e Evento
Assim, a diferena obtida foi 2.520 840 = 1.680
Em uma tentativa com um nmero limitado de resultados,

todos com chances iguais, devemos considerar:
Ponto Amostral: Corresponde a qualquer um dos resultados
possveis.
Espao Amostral: Corresponde ao conjunto dos resultados
possveis; ser representado por S e o nmero de elementos do
espao amostra por n(S).
Evento: Corresponde a qualquer subconjunto do espao
amostral; ser representado por A e o nmero de elementos do
evento por n(A).
05. Se as permutaes das letras da palavra PROVA forem

listadas em ordem alfabtica, ento teremos:
P4 = 24 que comeam por A
P4 = 24 que comeam por O
P4 = 24 que comeam por P
A 73. palavra nessa lista a primeira permutao que comea
por R. Ela RAOPV.
06. Se, do total de 10 diretores, 6 esto sob suspeita de
corrupo, 4 no esto. Assim, para formar uma comisso de 5
diretores na qual os suspeitos no sejam maioria, podem ser
escolhidos, no mximo, 2 suspeitos. Portanto, o nmero de
possveis comisses
Os conjuntos S e tambm so subconjuntos de S, portanto

so eventos.
= evento impossvel.
S = evento certo.
Conceito de Probabilidade
As probabilidades tm a funo de mostrar a chance

de ocorrncia de um evento. A probabilidade de ocorrer um
determinado evento A, que simbolizada por P(A), de um espao
amostral S , dada pelo quociente entre o nmero de elementos
A e o nmero de elemento S. Representando:
07. C5,3 . C4,2 . C4,3 = 10 . 6 . 4 = 240

08.
I) Existem 5 enfermeiros disponveis: 2 mais experientes e
outros 3.
II) Para formar grupos com 3 enfermeiros, conforme o
enunciado, devemos escolher 1 entre os 2 mais experientes e 2
entre os 3 restantes.
III) O nmero de possibilidades para se escolher 1 entre os 2
mais experientes
Exemplo: Ao lanar um dado de seis lados, numerados de 1 a

6, e observar o lado virado para cima, temos:
- um espao amostral, que seria o conjunto S {1, 2, 3, 4, 5, 6}.
- um evento nmero par, que seria o conjunto A1 = {2, 4, 6}
C S.
- o nmero de elementos do evento nmero par n(A1) = 3.
- a probabilidade do evento nmero par 1/2, pois
IV) O nmero de possibilidades para se escolher 2 entre 3

restantes
Propriedades de um Espao Amostral Finito e No Vazio
- Em um evento impossvel a probabilidade igual a zero. Em
um evento certo S a probabilidade igual a 1. Simbolicamente:
P() = 0 e P(S) = 1.
- Se A for um evento qualquer de S, neste caso: 0 P(A) 1.
- Se A for o complemento de A em S, neste caso: P(A) = 1 P(A).
V) Assim, o nmero total de grupos que podem ser formados

2.3=6
09.
10.
a) 9 . A*10,3 = 9 . 103 = 9 . 10 . 10 . 10 = 9000
26
RACIOCNIO LGICO
Eventos Exaustivos
Demonstrao das Propriedades

Considerando S como um espao finito e no vazio, temos:
Quando os eventos A1, A2, A3, , An de S forem, de dois em

dois, mutuamente exclusivos, estes sero denominados exaustivos
se A1 A2 A3 An = S
Ento, logo:
Portanto: P(A1) + P(A2) + P(A3) + ... + P(An) = 1

Probabilidade Condicionada
Unio de Eventos
Considere dois eventos A e B de um espao amostral S, finito

e no vazio. A probabilidade de B condicionada a A dada pela
probabilidade de ocorrncia de B sabendo que j ocorreu A.
representada por P(B/A).
Considere A e B como dois eventos de um espao amostral S,

finito e no vazio, temos:
A
Veja:
B
S
Logo: P(A
B) = P(A) + P(B) - P(A
B)
Eventos Independentes
Eventos Mutuamente Exclusivos
Considere dois eventos A e B de um espao amostral S, finito

e no vazio. Estes sero independentes somente quando:
A2
A3
P(B/A) = P(B)
Interseco de Eventos
S
Considerando A e B como dois eventos de um espao amostral

S, finito e no vazio, logo:
Considerando que A B, nesse caso A e B sero denominados

mutuamente exclusivos. Observe que A B = 0, portanto: P(A
B) = P(A) + P(B). Quando os eventos A1, A2, A3, , An de S
forem, de dois em dois, sempre mutuamente exclusivos, nesse
caso temos, analogicamente:
P(A1
P(An)
P(A/N) = P(A)
An) = P(A1) + P(A2) + P(A3) + ... +
27
RACIOCNIO LGICO
Assim sendo:
P(A B) = P(A) . P(B/A)
P(A B) = P(B) . P(A/B)
Considerando A e B como eventos independentes, logo
P(B/A) = P(B), P(A/B) = P(A), sendo assim: P(A B) = P(A) .
P(B). Para saber se os eventos A e B so independentes, podemos
utilizar a definio ou calcular a probabilidade de A B. Veja a
representao:
(A)
(B)
(C)
(D)
(E)
A e B independentes P(A/B) = P(A) ou

A e B independentes P(A B) = P(A) . P(B)
03. Retirando uma carta de um baralho comum de 52 cartas,

qual a probabilidade de se obter um rei ou uma dama?
Lei Binominal de Probabilidade
04. Jogam-se dois dados honestos de seis faces, numeradas

de 1 a 6, e l-se o nmero de cada uma das duas faces voltadas para
cima. Calcular a probabilidade de serem obtidos dois nmeros
mpares ou dois nmeros iguais?
Considere uma experincia sendo realizada diversas vezes,

dentro das mesmas condies, de maneira que os resultados de cada
experincia sejam independentes. Sendo que, em cada tentativa
ocorre, obrigatoriamente, um evento A cuja probabilidade p ou o
complemento A cuja probabilidade 1 p.
05. Uma urna contm 500 bolas, numeradas de 1 a 500. Uma

bola dessa urna escolhida ao acaso. A probabilidade de que seja
escolhida uma bola com um nmero de trs algarismos ou mltiplo
de 10
(A) 10%
(B) 12%
(C) 64%
(D) 82%
(E) 86%
Problema: Realizando-se a experincia descrita exatamente n

vezes, qual a probabilidade de ocorrer o evento A s k vezes?
Resoluo:
- Se num total de n experincias, ocorrer somente k vezes
o evento A, nesse caso ser necessrio ocorrer exatamente n k
vezes o evento A.
- Se a probabilidade de ocorrer o evento A p e do evento A
1 p, nesse caso a probabilidade de ocorrer k vezes o evento A e
n k vezes o evento A, ordenadamente, :
06. Uma urna contm 4 bolas amarelas, 2 brancas e 3 bolas

vermelhas. Retirando-se uma bola ao acaso, qual a probabilidade
de ela ser amarela ou branca?
07. Duas pessoas A e B atiram num alvo com probabilidade
40% e 30%, respectivamente, de acertar. Nestas condies, a
probabilidade de apenas uma delas acertar o alvo :
(A) 42%
(B) 45%
(C) 46%
(D) 48%
(E) 50%
- As k vezes em que ocorre o evento A so quaisquer entre as

n vezes possveis. O nmero de maneiras de escolher k vezes o
evento A , portanto Cn,k.
- Sendo assim, h Cn,k eventos distintos, mas que possuem
a mesma probabilidade pk . (1 p)n-k, e portanto a probabilidade
desejada : Cn,k . pk . (1 p)n-k
08. Num espao amostral, dois eventos independentes A e B

so tais que P(A U B) = 0,8 e P(A) = 0,3. Podemos concluir que o
valor de P(B) :
(A) 0,5
(B) 5/7
(C) 0,6
(D) 7/15
(E) 0,7
QUESTES
01. A probabilidade de uma bola branca aparecer ao se retirar
uma nica bola de uma urna que contm, exatamente, 4 bolas
brancas, 3 vermelhas e 5 azuis :
(A)
(B)
(C)
(D)
(E)
09. Uma urna contm 6 bolas: duas brancas e quatro pretas.

Retiram-se quatro bolas, sempre com reposio de cada bola antes
de retirar a seguinte. A probabilidade de s a primeira e a terceira
serem brancas :
02. As 23 ex-alunas de uma turma que completou o Ensino

Mdio h 10 anos se encontraram em uma reunio comemorativa.
Vrias delas haviam se casado e tido filhos. A distribuio das
mulheres, de acordo com a quantidade de filhos, mostrada no
grfico abaixo. Um prmio foi sorteado entre todos os filhos dessas
ex-alunas. A probabilidade de que a criana premiada tenha sido
um(a) filho(a) nico(a)
(A)
28
(B)
(C)
(D)
(E)
RACIOCNIO LGICO
10. Uma lanchonete prepara sucos de 3 sabores: laranja,
abacaxi e limo. Para fazer um suco de laranja, so utilizadas 3
laranjas e a probabilidade de um cliente pedir esse suco de 1/3.
Se na lanchonete, h 25 laranjas, ento a probabilidade de que,
para o dcimo cliente, no haja mais laranjas suficientes para fazer
o suco dessa fruta :
(A) 1 (B)
(C)
(D)
06.
Sejam A1, A2, A3, A4 as bolas amarelas, B1, B2 as brancas e V1,
V2, V3 as vermelhas.
Temos S = {A1, A2, A3, A4, V1, V2, V3 B1, B2} n(S) = 9
A: retirada de bola amarela = {A1, A2, A3, A4}, n(A) = 4
B: retirada de bola branca = {B1, B2}, n(B) = 2
(E)
Respostas
Como A B = , A e B so eventos mutuamente exclusivos;

Logo:
P(A
B)
=
P(A)
+
P(B)
=
01.
02.
A partir da distribuio apresentada no grfico:
08 mulheres sem filhos.
07 mulheres com 1 filho.
06 mulheres com 2 filhos.
02 mulheres com 3 filhos.
07.
Se apenas um deve acertar o alvo, ento podem ocorrer os
seguintes eventos:
(A) A acerta e B erra; ou
(B) A erra e B acerta.
Assim, temos:
P (A B) = P (A) + P (B)
P (A B) = 40% . 70% + 60% . 30%
P (A B) = 0,40 . 0,70 + 0,60 . 0,30
P (A B) = 0,28 + 0,18
P (A B) = 0,46
P (A B) = 46%
Como as 23 mulheres tm um total de 25 filhos, a probabilidade

de que a criana premiada tenha sido um(a) filho(a) nico(a)
igual a P = 7/25.
03. P(dama ou rei) = P(dama) + P(rei) =
04. No lanamento de dois dados de 6 faces, numeradas de 1 a
6, so 36 casos possveis. Considerando os eventos A (dois nmeros
mpares) e B (dois nmeros iguais), a probabilidade pedida :
08.
Sendo A e B eventos independentes, P(A B) = P(A) . P(B) e
como P(A B) = P(A) + P(B) P(A B). Temos:
P(A B) = P(A) + P(B) P(A) . P(B)
0,8 = 0,3 + P(B) 0,3 . P(B)
0,7 . (PB) = 0,5
P(B) = 5/7.
05. Sendo , o conjunto espao amostral, temos n() = 500

A: o nmero sorteado formado por 3 algarismos;
A = {100, 101, 102, ..., 499, 500}, n(A) = 401 e p(A) = 401/500
09.
Representando
por
probabilidade pedida, temos:
=
=
B: o nmero sorteado mltiplo de 10;

B = {10, 20, ..., 500}.
Para encontrarmos n(B) recorremos frmula do termo geral
da P.A., em que
a1 = 10
an = 500
r = 10
Temos an = a1 + (n 1) . r 500 = 10 + (n 1) . 10 n = 50
10. Supondo que a lanchonete s fornea estes trs tipos de

sucos e que os nove primeiros clientes foram servidos com apenas
um desses sucos, ento:
I- Como cada suco de laranja utiliza trs laranjas, no
possvel fornecer sucos de laranjas para os nove primeiros clientes,
pois seriam necessrias 27 laranjas.
II- Para que no haja laranjas suficientes para o prximo
cliente, necessrio que, entre os nove primeiros, oito tenham
pedido sucos de laranjas, e um deles tenha pedido outro suco.
A probabilidade de isso ocorrer :
Dessa forma, p(B) = 50/500.

A B: o nmero tem 3 algarismos e mltiplo de 10;
A B = {100, 110, ..., 500}.
De an = a1 + (n 1) . r, temos: 500 = 100 + (n 1) . 10 n =
41 e p(A B) = 41/500
Por fim, p(A.B) =
29
RACIOCNIO LGICO
No caso de uma pesquisa de opinio sobre a preferncia
quanto leitura de trs jornais. A, B e C, foi apresentada a seguinte
tabela:
5 DIAGRAMAS LGICOS.
Os diagramas lgicos so usados na resoluo de vrios

problemas. Uma situao que esses diagramas podero ser usados,
na determinao da quantidade de elementos que apresentam
uma determinada caracterstica.
Jornais
Leitores
300
250
200
AeB
70
AeC
65
BeC
105
A, B e C
40
Nenhum
150
Para termos os valores reais da pesquisa, vamos inicialmente

montar os diagramas que representam cada conjunto. A colocao
dos valores comear pela interseco dos trs conjuntos e depois
para as interseces duas a duas e por ltimo s regies que
representam cada conjunto individualmente. Representaremos
esses conjuntos dentro de um retngulo que indicar o conjunto
universo da pesquisa.
Assim, se num grupo de pessoas h 43 que dirigem carro, 18

que dirigem moto e 10 que dirigem carro e moto. Baseando-se
nesses dados, e nos diagramas lgicos poderemos saber: Quantas
pessoas tm no grupo ou quantas dirigem somente carro ou ainda
quantas dirigem somente motos. Vamos inicialmente montar os
diagramas dos conjuntos que representam os motoristas de motos e
motoristas de carros. Comearemos marcando quantos elementos
tem a interseco e depois completaremos os outros espaos.
Fora dos diagramas teremos 150 elementos que no so

leitores de nenhum dos trs jornais.
Na regio I, teremos: 70 - 40 = 30 elementos.
Na regio II, teremos: 65 - 40 = 25 elementos.
Na regio III, teremos: 105 - 40 = 65 elementos.
Na regio IV, teremos: 300 - 40 - 30 - 25 = 205 elementos.
Na regio V, teremos: 250 - 40 -30 - 65 = 115 elementos.
Na regio VI, teremos: 200 - 40 - 25 - 65 = 70 elementos.
Marcando o valor da interseco, ento iremos subtraindo esse

valor da quantidade de elementos dos conjuntos A e B. A partir dos
valores reais, que poderemos responder as perguntas feitas.
Dessa forma, o diagrama figura preenchido com os seguintes

elementos:
a) Temos no grupo: 8 + 10 + 33 = 51 motoristas.

b) Dirigem somente carros 33 motoristas.
c) Dirigem somente motos 8 motoristas.
30
RACIOCNIO LGICO
Diagramas de Venn
Com essa distribuio, poderemos notar que 205 pessoas leem

apenas o jornal A. Verificamos que 500 pessoas no leem o jornal
C, pois a soma 205 + 30 + 115 + 150. Notamos ainda que 700
pessoas foram entrevistadas, que a soma 205 + 30 + 25 + 40 +
115 + 65 + 70 + 150.
Designa-se por diagramas de Venn os diagramas usados em

matemtica para simbolizar graficamente propriedades, axiomas
e problemas relativos aos conjuntos e sua teoria. Os respectivos
diagramas consistem de curvas fechadas simples desenhadas
sobre um plano, de forma a simbolizar os conjuntos e permitir
a representao das relaes de pertena entre conjuntos e seus
elementos (por exemplo, 4 {3,4,5}, mas 4 {1,2,3,12}) e
relaes de continncia (incluso) entre os conjuntos (por exemplo,
{1, 3} {1, 2, 3, 4}). Assim, duas curvas que no se tocam e
esto uma no espao interno da outra simbolizam conjuntos que
possuem continncia; ao passo que o ponto interno a uma curva
representa um elemento pertencente ao conjunto.
Os diagramas de Venn so construdos com colees de curvas
fechadas contidas em um plano. O interior dessas curvas representa,
simbolicamente, a coleo de elementos do conjunto. De acordo
com Clarence Irving Lewis, o princpio desses diagramas
que classes (ou conjuntos) sejam representadas por regies,
com tal relao entre si que todas as relaes lgicas possveis
entre as classes possam ser indicadas no mesmo diagrama. Isto
, o diagrama deixa espao para qualquer relao possvel entre
as classes, e a relao dada ou existente pode ento ser definida
indicando se alguma regio em especfico vazia ou no-vazia.
Pode-se escrever uma definio mais formal do seguinte modo:
Seja C = (C1, C2, ... Cn) uma coleo de curvas fechadas simples
desenhadas em um plano. C uma famlia independente se a regio
formada por cada uma das intersees X1 X2 ... Xn, onde cada
Xi o interior ou o exterior de Ci, no-vazia, em outras palavras,
se todas as curvas se intersectam de todas as maneiras possveis.
Se, alm disso, cada uma dessas regies conexa e h apenas um
nmero finito de pontos de interseo entre as curvas, ento C
um diagrama de Venn para n conjuntos.
Nos casos mais simples, os diagramas so representados
por crculos que se encobrem parcialmente. As partes referidas
em um enunciado especfico so marcadas com uma cor
diferente. Eventualmente, os crculos so representados como
completamente inseridos dentro de um retngulo, que representa
o conjunto universo daquele particular contexto (j se buscou a
existncia de um conjunto universo que pudesse abranger todos os
conjuntos possveis, mas Bertrand Russell mostrou que tal tarefa
era impossvel). A ideia de conjunto universo normalmente
atribuda a Lewis Carroll. Do mesmo modo, espaos internos
comuns a dois ou mais conjuntos representam a sua interseco,
ao passo que a totalidade dos espaos pertencentes a um ou outro
conjunto indistintamente representa sua unio.
John Venn desenvolveu os diagramas no sculo XIX,
ampliando e formalizando desenvolvimentos anteriores de Leibniz
e Euler. E, na dcada de 1960, eles foram incorporados ao currculo
escolar de matemtica. Embora seja simples construir diagramas
de Venn para dois ou trs conjuntos, surgem dificuldades quando
se tenta us-los para um nmero maior. Algumas construes
possveis so devidas ao prprio John Venn e a outros matemticos
como Anthony W. F. Edwards, Branko Grnbaum e Phillip Smith.
Alm disso, encontram-se em uso outros diagramas similares aos
de Venn, entre os quais os de Euler, Johnston, Pierce e Karnaugh.
Diagrama de Euler
Um diagrama de Euler similar a um diagrama de Venn, mas
no precisa conter todas as zonas (onde uma zona definida como
a rea de interseco entre dois ou mais contornos). Assim, um
diagrama de Euler pode definir um universo de discurso, isto ,
ele pode definir um sistema no qual certas interseces no so
possveis ou consideradas. Assim, um diagrama de Venn contendo
os atributos para Animal, Mineral e quatro patas teria que conter
interseces onde alguns esto em ambos animal, mineral e de
quatro patas. Um diagrama de Venn, consequentemente, mostra
todas as possveis combinaes ou conjunes.
Diagramas de Euler consistem em curvas simples fechadas

(geralmente crculos) no plano que mostra os conjuntos. Os
tamanhos e formas das curvas no so importantes: a significncia
do diagrama est na forma como eles se sobrepem. As
relaes espaciais entre as regies delimitadas por cada curva
(sobreposio, conteno ou nenhuma) correspondem relaes
tericas (subconjunto interseo e disjuno). Cada curva de Euler
divide o plano em duas regies ou zonas esto: o interior, que
representa simbolicamente os elementos do conjunto, e o exterior,
o que representa todos os elementos que no so membros do
conjunto. Curvas cujos interiores no se cruzam representam
conjuntos disjuntos. Duas curvas cujos interiores se interceptam
representam conjuntos que tm elementos comuns, a zona dentro
de ambas as curvas representa o conjunto de elementos comuns
a ambos os conjuntos (interseco dos conjuntos). Uma curva
que est contido completamente dentro da zona interior de outro
representa um subconjunto do mesmo.
Os Diagramas de Venn so uma forma mais restritiva de
diagramas de Euler. Um diagrama de Venn deve conter todas as
possveis zonas de sobreposio entre as suas curvas, representando
todas as combinaes de incluso / excluso de seus conjuntos
constituintes, mas em um diagrama de Euler algumas zonas podem
estar faltando. Essa falta foi o que motivou Venn a desenvolver
seus diagramas. Existia a necessidade de criar diagramas em
que pudessem ser observadas, por meio de suposio, quaisquer
relaes entre as zonas no apenas as que so verdadeiras.
Os diagramas de Euler (em conjunto com os de Venn) so
largamente utilizados para ensinar a teoria dos conjuntos no campo
da matemtica ou lgica matemtica no campo da lgica. Eles
tambm podem ser utilizados para representar relacionamentos
complexos com mais clareza, j que representa apenas as relaes
vlidas. Em estudos mais aplicados esses diagramas podem ser
utilizados para provar / analisar silogismos que so argumentos
lgicos para que se possa deduzir uma concluso.
31
RACIOCNIO LGICO
Dois Conjuntos: considere-se o seguinte exemplo: suponhase que o conjunto A representa os animais bpedes e o conjunto B
representa os animais capazes de voar. A rea onde os dois crculos
se sobrepem, designada por interseco A e B ou interseco
A-B, conteria todas as criaturas que ao mesmo tempo podem voar
e tm apenas duas pernas motoras.
Interseco de dois conjuntos: AB
Considere-se agora que cada espcie viva est representada

por um ponto situado em alguma parte do diagrama. Os humanos e
os pinguins seriam marcados dentro do crculo A, na parte dele que
no se sobrepe com o crculo B, j que ambos so bpedes mas
no podem voar. Os mosquitos, que voam mas tm seis pernas,
seriam representados dentro do crculo B e fora da sobreposio.
Os canrios, por sua vez, seriam representados na interseco
A-B, j que so bpedes e podem voar. Qualquer animal que no
fosse bpede nem pudesse voar, como baleias ou serpentes, seria
marcado por pontos fora dos dois crculos.
Assim, o diagrama de dois conjuntos representa quatro reas
distintas (a que fica fora de ambos os crculos, a parte de cada
crculo que pertence a ambos os crculos (onde h sobreposio),
e as duas reas que no se sobrepem, mas esto em um crculo
ou no outro):
- Animais que possuem duas pernas e no voam (A sem
sobreposio).
- Animais que voam e no possuem duas pernas (B sem
sobreposio).
- Animais que possuem duas pernas e voam (sobreposio).
- Animais que no possuem duas pernas e no voam (branco
- fora).
Complementar de dois conjuntos: U \ (AB)

Alm disso, essas quatro reas podem ser combinadas de
16 formas diferentes. Por exemplo, pode-se perguntar sobre
os animais que voam ou tem duas patas (pelo menos uma das
caractersticas); tal conjunto seria representado pela unio de A
e B. J os animais que voam e no possuem duas patas mais os
que no voam e possuem duas patas, seriam representados pela
diferena simtrica entre A e B. Estes exemplos so mostrados nas
imagens a seguir, que incluem tambm outros dois casos.
Unio de dois conjuntos: A
Essas configuraes so representadas, respectivamente, pelas

operaes de conjuntos: diferena de A para B, diferena de B para
A, interseco entre A e B, e conjunto complementar de A e B.
Cada uma delas pode ser representada como as seguintes reas
(mais escuras) no diagrama:
Diferena Simtrica de dois conjuntos: A
Complementar de A em U: AC = U \ A
Diferena de A para B: A\B
Complementar de B em U: BC = U \ B
Diferena de B para A: B\A

32
RACIOCNIO LGICO
Proposies Categricas
Trs Conjuntos: Na sua apresentao inicial, Venn focou-se

sobretudo nos diagramas de trs conjuntos. Alargando o exemplo
anterior, poderia-se introduzir o conjunto C dos animais que
possuem bico. Neste caso, o diagrama define sete reas distintas,
que podem combinar-se de 256 (28) maneiras diferentes, algumas
delas ilustradas nas imagens seguintes.
- Todo A B
- Nenhum A B
- Algum A B e
- Algum A no B
Proposies do tipo Todo A B afirmam que o conjunto A
um subconjunto do conjunto B. Ou seja: A est contido em B.
Ateno: dizer que Todo A B no significa o mesmo que Todo B
A. Enunciados da forma Nenhum A B afirmam que os conjuntos
A e B so disjuntos, isto , no tem elementos em comum. Ateno:
dizer que Nenhum A B logicamente equivalente a dizer que
Nenhum B A.
Por conveno universal em Lgica, proposies da forma
Algum A B estabelecem que o conjunto A tem pelo menos um
elemento em comum com o conjunto B. Contudo, quando dizemos
que Algum A B, pressupomos que nem todo A B. Entretanto,
no sentido lgico de algum, est perfeitamente correto afirmar que
alguns de meus colegas esto me elogiando, mesmo que todos
eles estejam. Dizer que Algum A B logicamente equivalente
a dizer que Algum B A. Tambm, as seguintes expresses so
equivalentes: Algum A B = Pelo menos um A B = Existe um
A que B.
Proposies da forma Algum A no B estabelecem que o
conjunto A tem pelo menos um elemento que no pertence ao
conjunto B. Temos as seguintes equivalncias: Algum A no B
= Algum A no B = Algum no B A. Mas no equivalente a
Algum B no A. Nas proposies categricas, usam-se tambm
as variaes gramaticais dos verbos ser e estar, tais como , so,
est, foi, eram, ..., como elo de ligao entre A e B.
Diagrama de Venn mostrando todas as interseces possveis

entre A, B e C.
Unio de trs conjuntos: A
Interseco de trs conjuntos: A
- Todo A B = Todo A no no B.
- Algum A B = Algum A no no B.
- Nenhum A B = Nenhum A no no B.
- Todo A no B = Todo A no B.
- Algum A no B = Algum A no B.
- Nenhum A no B = Nenhum A no B.
- Nenhum A B = Todo A no B.
- Todo A B = Nenhum A no B.
- A negao de Todo A B Algum A no B (e vice-versa).
- A negao de Algum A B Nenhum A no B (e viceversa).
Verdade ou Falsidade das Proposies Categricas
A \ (B
Dada a verdade ou a falsidade de qualquer uma das proposies

categricas, isto , de Todo A B, Nenhum A B, Algum A B
e Algum A no B, pode-se inferir de imediato a verdade ou a
falsidade de algumas ou de todas as outras.
C)
1. Se a proposio Todo A B verdadeira, ento temos as

duas representaes possveis:
1
(B
C) \ A
33
2
A
RACIOCNIO LGICO
QUESTES
Nenhum A B. falsa.
Algum A B. verdadeira.
Algum A no B. falsa.
01. Represente por diagrama de Venn-Euler

(A) Algum A B
(B) Algum A no B
(C) Todo A B
(D) Nenhum A B
2. Se a proposio Nenhum A B verdadeira, ento temos

somente a representao:
02. (Especialista em Polticas Pblicas Bahia - 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
(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
Todo A B. falsa.
Algum A B. falsa.
Algum A no B. verdadeira.
3. Se a proposio Algum A B verdadeira, temos as quatro
representaes possveis:
03. Dos 500 msicos de uma Filarmnica, 240 tocam

instrumentos de sopro, 160 tocam instrumentos de corda e 60
tocam esses dois tipos de instrumentos. Quantos msicos desta
Filarmnica tocam:
(A) instrumentos de sopro ou de corda?
(B) somente um dos dois tipos de instrumento?
(C) instrumentos diferentes dos dois citados?
04. (TTN - 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;
Nenhum A B. falsa.
Todo A B. Pode ser verdadeira (em 3 e 4) ou falsa (em 1 e 2).
Algum A no B. Pode ser verdadeira (em 1 e 2) ou falsa (em
3 e 4) indeterminada.
4. Se a proposio Algum A no B verdadeira, temos as
trs representaes possveis:
05. Em uma classe, h 20 alunos que praticam futebol mas no

praticam vlei e h 8 alunos que praticam vlei mas no praticam
futebol. O total dos que praticam vlei 15. Ao todo, existem 17
alunos que no praticam futebol. O nmero de alunos da classe :
(A) 30.
(B) 35.
(C) 37.
(D) 42.
(E) 44.
06. Um colgio oferece a seus alunos a prtica de um ou mais
dos seguintes esportes: futebol, basquete e vlei. Sabe-se que, no
atual semestre:
- 20 alunos praticam vlei e basquete.
- 60 alunos praticam futebol e 55 praticam basquete.
- 21 alunos no praticam nem futebol nem vlei.
- o nmero de alunos que praticam s futebol idntico ao
nmero de alunos que praticam s vlei.
- 17 alunos praticam futebol e vlei.
- 45 alunos praticam futebol e basquete; 30, entre os 45, no
praticam vlei.
Todo A B. falsa.
Nenhum A B. Pode ser verdadeira (em 3) ou falsa (em 1 e
2 indeterminada).
Algum A B. Ou falsa (em 3) ou pode ser verdadeira (em 1 e
2 indeterminada).
34
RACIOCNIO LGICO
O nmero total de alunos do colgio, no atual semestre,
igual a:
(A) 93
(B) 110
(C) 103
(D) 99
(E) 114
(C)
(D)
07. Numa pesquisa, verificou-se que, das pessoas entrevistadas,

100 liam o jornal X, 150 liam o jornal Y, 20 liam os dois jornais
e 110 no liam nenhum dos dois jornais. Quantas pessoas foram
entrevistadas?
(A) 220
(B) 240
(C) 280
(D) 300
(E) 340
02. Resposta B.
08. Em uma entrevista de mercado, verificou-se que 2.000

pessoas usam os produtos C ou D. O produto D usado por 800
pessoas e 320 pessoas usam os dois produtos ao mesmo tempo.
Quantas pessoas usam o produto C?
(A) 1.430
(B) 1.450
(C) 1.500
(D) 1.520
(E) 1.600
A opo A descartada de pronto: nenhum livro instrutivo

implica a total dissociao entre os diagramas. E estamos com a
situao inversa. A opo B perfeitamente correta. Percebam
como todos os elementos do diagrama livro esto inseridos no
diagrama instrutivo. Resta necessariamente perfeito que algum
livro instrutivo.
03. Seja C o conjunto dos msicos que tocam instrumentos
de corda e S dos que tocam instrumentos de sopro. Chamemos
de F o conjunto dos msicos da Filarmnica. Ao resolver este
tipo de problema faa o diagrama, assim voc poder visualizar
o problema e sempre comece a preencher os dados de dentro para
fora.
09. Sabe-se que o sangue das pessoas pode ser classificado em

quatro tipos quanto a antgenos. Em uma pesquisa efetuada num
grupo de 120 pessoas de um hospital, constatou-se que 40 delas
tm o antgeno A, 35 tm o antgeno B e 14 tm o antgeno AB.
Com base nesses dados, quantas pessoas possuem o antgeno O?
(A) 50
(B) 52
(C) 59
(D) 63
(E) 65
Passo 1: 60 tocam os dois instrumentos, portanto, aps

fazermos o diagrama, este nmero vai no meio.
Passo 2:
a)160 tocam instrumentos de corda. J temos 60. Os que s
tocam corda so, portanto 160 - 60 = 100
b) 240 tocam instrumento de sopro. 240 - 60 = 180
10. Em uma universidade so lidos dois jornais, A e B.

Exatamente 80% dos alunos leem o jornal A e 60% leem o jornal
B. Sabendo que todo aluno leitor de pelo menos um dos jornais,
encontre o percentual que leem ambos os jornais.
(A) 40%
(B) 45%
(C) 50%
(D) 60%
(E) 65%
Vamos ao diagrama, preenchemos os dados obtidos acima:
100
60
180
Respostas
01.
(A)
Com o diagrama completamente preenchido, fica fcil achara

as respostas: Quantos msicos desta Filarmnica tocam:
a) instrumentos de sopro ou de corda? Pelos dados do
problema: 100 + 60 + 180 = 340
b) somente um dos dois tipos de instrumento? 100 + 180 =
280
c) instrumentos diferentes dos dois citados? 500 - 340 = 160
(B)
35
RACIOCNIO LGICO
04. Esta questo traz, no enunciado, duas proposies
categricas:
- Alguns A so R
- Nenhum G R
Teste da alternativa C (Nenhum A G). Observando os

desenhos dos crculos, verificamos que, para o desenho de A que
est mais a esquerda, esta alternativa no verdadeira, isto , tem
elementos em A que esto em G. Pelo mesmo motivo a alternativa
E no correta. Portanto, a resposta a alternativa A.
Devemos fazer a representao grfica de cada uma delas por

crculos para ajudar-nos a obter a resposta correta. Vamos iniciar
pela representao do Nenhum G R, que dada por dois crculos
separados, sem nenhum ponto em comum.
05. Resposta E.
n = 20 + 7 + 8 + 9
n = 44
Como j foi visto, no h uma representao grfica nica

para a proposio categrica do Alguns A so R, mas geralmente
a representao em que os dois crculos se interceptam (mostrada
abaixo) tem sido suficiente para resolver qualquer questo.
06. Resposta D.
n(FeB) = 45 e n(FeB -V) = 30 n(FeBeV) = 15
n(FeV) = 17 com n(FeBeV) = 15 n(FeV - B) = 2
n(F) = n(s F) + n(FeB-V) + n(FeV -B) + n(FeBeV)
60 = n(s F) + 30 + 2 + 15 n(s F) = 13
n(sF) = n(sV) = 13
n(B) = n(s B) + n(BeV) + n(BeF-V) n(s B) = 65 - 20
30 = 15
n(nem F nem B nem V) = n(nem F nem V) - n(solo B) = 2115 = 6
Agora devemos juntar os desenhos das duas proposies

categricas para analisarmos qual a alternativa correta. Como
a questo no informa sobre a relao entre os conjuntos A e G,
ento teremos diversas maneiras de representar graficamente os
trs conjuntos (A, G e R). A alternativa correta vai ser aquela que
verdadeira para quaisquer dessas representaes. Para facilitar a
soluo da questo no faremos todas as representaes grficas
possveis entre os trs conjuntos, mas sim, uma (ou algumas)
representao(es) de cada vez e passamos a analisar qual a
alternativa que satisfaz esta(s) representao(es), se tivermos
somente uma alternativa que satisfaa, ento j achamos a
resposta correta, seno, desenhamos mais outra representao
grfica possvel e passamos a testar somente as alternativas que
foram verdadeiras. Tomemos agora o seguinte desenho, em que
fazemos duas representaes, uma em que o conjunto A intercepta
parcialmente o conjunto G, e outra em que no h interseco entre
eles.
Total = n(B) + n(s F) + n(s V) + n(Fe V - B) + n(nemF

nemB nemV) = 65 + 13 + 13 + 2 + 6 = 99.
07. Resposta E.
A
Teste das alternativas:

Teste da alternativa A (algum A no G). Observando os
desenhos dos crculos, verificamos que esta alternativa verdadeira
para os dois desenhos de A, isto , nas duas representaes h
elementos em A que no esto em G. Passemos para o teste da
prxima alternativa.
Teste da alternativa B (algum A G). Observando os
desenhos dos crculos, verificamos que, para o desenho de A
que est mais a direita, esta alternativa no verdadeira, isto ,
tem elementos em A que no esto em G. Pelo mesmo motivo a
alternativa D no correta. Passemos para a prxima.
B
80
20
130
110
Comeamos resolvendo pelo que comum: 20 alunos gostam

de ler os dois.
Leem somente A: 100 20 = 80
Leem somente B: 150 20 = 130
Totaliza: 80 + 20 + 130 + 110 = 340 pessoas.
36
RACIOCNIO LGICO
08. Resposta D.
ANOTAES
B
1200
320
480
Somente B: 800 320 = 480

Usam A = total somente B = 2000 480 = 1520.
09. Resposta C.
B
26
14
21
59
Comea-se resolvendo pelo AB, ento somente A = 40 14 =

26 e somente B = 35 14 = 21.
Somando-se A, B e AB tm-se 61, ento o O so 120 61 =
59 pessoas.
10. Resposta A.
- Jornal A 0,8 x
- Jornal B 0,6 x
- Interseco x
Ento fica:
(0,8 - x) + (0,6 - x) + x = 1
- x + 1,4 = 1
- x = - 0,4
x = 0,4.
Resposta 40% dos alunos leem ambos os jornais.
ANOTAES
37
RACIOCNIO LGICO
ANOTAES
38

3 - Raciocinio Lógico

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

3 - Raciocinio Lógico

Caricato da

Copyright:

Formati disponibili

RACIOCNIO LGICO

Os argumentos, em lgica, possuem dois componentes

Um argumento uma srie concatenada de afirmaes com

Todos os sabes so sais de sdio.

Todos os sais de sdio so substncias solveis

H, no entanto, uma coisa que no pode ser feita: a partir de

- Se as premissas so falsas e a inferncia vlida, a concluso

Desse modo, o fato de um argumento ser vlido no significa

Premissas: Argumentos dedutveis sempre requerem certo

Observao: No caso geral representamos os argumentos

b) Algumas ou todas as premissas falsas e uma concluso

c) Algumas ou todas as premissas falsas e uma concluso

Inferncia: Uma vez que haja concordncia sobre as

Todos os peixes tm asas. (F)

Todos os argumentos acima so vlidos, pois se suas premissas

Concluso: Finalmente se chegar a uma proposio que

Todas as mulheres so bonitas.

A seguir est exemplificado um argumento vlido, mas que

Observe que no precisamos de nenhum conhecimento

A proposio do item 4 foi inferida dos itens 2 e 3. O item 1,

Logo, o que importante a forma do argumento e no o

Argumentos Dedutivos e Indutivos

a) Premissas verdadeiras e concluso verdadeira. Exemplo:

Todo ser humano tem me.

Todos os apartamentos so pequenos. (V)

Este argumento evidentemente vlido e sua forma pode ser

O Flamengo um bom time de futebol.

Existe tambm um tipo de argumento vlido conhecido pelo

Portanto, nos argumentos indutivos a concluso possui

Joo se inscreve no concurso de MS, porm no gostaria de

Argumentos Dedutivos Vlidos

Ou Joo passa ou no passa no concurso.

Afirmao do Antecedente: O primeiro argumento dedutivo

Este argumento evidentemente vlido e sua forma pode ser

Se Jos for reprovado no concurso, ento ser demitido do

Este argumento evidentemente vlido e sua forma pode ser

Existe certa quantidade de artimanhas que devem ser evitadas

Se ele me ama, ento casa comigo equivalente a Se ele

Argumentos Dedutivos No Vlidos

Outro argumento dedutivo vlido a negao do

Todos os mamferos so mortais. (V)

Podemos usar as tabelas-verdade, definidas nas estruturas

Podemos escrever esse argumento como:

Este argumento uma falcia, podemos ter as premissas

H argumentos vlidos com concluses falsas, da mesma

Se Joo parar de fumar ele engordar.

Este argumento uma falcia, pois podemos ter as premissas

Este argumento tem a forma:

Podemos facilmente mostrar que esse argumento no vlido,

06. (FUNIVERSA - 2012 - PC-DF - Perito Criminal) Parte

03. Ou Lgica fcil, ou Artur no gosta de Lgica. Por outro

Imediatamente aps essas falas, o garom, que ouvira

04. Trs suspeitos de haver roubado o colar da rainha foram

07. (ESAF - 2012 - Auditor Fiscal da Receita Federal) Parte

05. O rei ir caa condio necessria para o duque sair

Na premissa 4 temos: Elton fala espanhol se e somente se no

09. (CESGRANRIO - 2012 - Chesf - Analista de Sistemas)

Da premissa 3 tem-se: Se Dbora fala dinamarqus, Elton

10. (VUNESP - 2011 - TJM-SP) Parte superior do formulrio

Da premissa 1 tem-se: Se Iara no fala italiano, ento Ana

Observe que ao analisar todas as premissas, e tornarmos todas

Ao todo so cinco premissas, formadas pelos mais diversos

A nica concluso verdadeira quando todas as premissas