Vol - I - 4 - Raciocinio - LogICO COMPLETO PDF

RACIOCNIO LGICO
Didatismo e Conhecimento
1
RACIOCNIO LGICO
1 ESTRUTURAS LGICAS.
Na lgica, uma estrutura (ou estrutura de interpretao) um
objeto que d signiicado semntico ou interpretao aos smbolos
deinidos pela assinatura de uma linguagem. Uma estrutura possui
diferentes coniguraes, 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
airmaes que expressam um pensamento de sentindo completo.
Essas proposies podem ter um sentindo positivo ou negativo.
Exemplo 1: Joo anda de bicicleta.
Exemplo 2: Maria no gosta de banana.
Tanto o exemplo 1 quanto o 2 caracterizam uma airmao/
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).
Para facilitar a resoluo das questes de lgica usam-
se 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
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.
Negao (smbolo ~): Quando usamos a negao de uma
proposio invertemos a airmao 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)
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
V F
F V
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 Q PQ
V V V
V F F
F V F
F F F
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 Q PVQ
V V V
V F V
F V V
F F F
Condicional (smbolo ): Este conectivo d a ideia de
condio para que a outra proposio exista. P ser condio
suiciente 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 Q PQ
V V V
V F F
F V V
F F V
2
RACIOCNIO LGICO
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 suiciente
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 Q PQ
V V V
V F F
F V F
F F V
QUESTES
01. (ESAF - Receita Federal - Auditor Fiscal) A airmao 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.
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 airmaes so verdadeiras, segue-
se, 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.
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.
(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:
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.
Os trabalhos de investigao de uma CPI da Cmara Municipal
conduziram s premissas P
1
, P
2
e P
3
seguintes:
P
1
: Se o vereador Vitor no participou do esquema, ento o
Prefeito Prsio no sabia do esquema.
P
2
: Ou o chefe de gabinete foi o mentor do esquema, ou o
Prefeito Prsio sabia do esquema, mas no ambos.
P
3
: Se o vereador Vitor no participou do esquema, ento o
chefe de gabinete no foi o mentor do esquema.
Considerando essa situao hipottica, julgue os itens
seguintes, acerca de proposies lgicas.
04. Das premissas P
1
, P
2
e P
3
, correto airmar que O chefe de
gabinete foi o mentor do esquema ou o vereador Vitor participou
do esquema.
( ) Certo ( ) Errado
05. Parte superior do formulrio
Considerando essa situao hipottica, julgue os itens
seguintes, acerca de proposies lgicas. A premissa P
2
pode ser
corretamente representada por R Q.
06. Considerando essa situao hipottica, julgue os itens
seguintes, acerca de proposies lgicas. A premissa P
3

logicamente equivalente proposio O vereador Vitor participou
do esquema ou o chefe de gabinete no foi o mentor do esquema.
07. Considerando essa situao hipottica, julgue os itens
seguintes, acerca de proposies lgicas. A partir das premissas
P
1
, P
2
e P
3
, correto inferir que o prefeito Prsio no sabia do
esquema.
3
RACIOCNIO LGICO
08. (CESPE - TRE-ES - Tcnico) Entende-se por proposio
todo conjunto de palavras ou smbolos que exprimem um
pensamento de sentido completo, isto , que airmam 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.
(CESPE - TRT-ES Tcnico Judicirio) Proposio
Texto para as questes 09 e 10.
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.
09. A partir dessas proposies, correto airmar que a
proposio Manuel declarou o imposto de renda na data correta e
Jorge foi ao centro da cidade tem valor lgico V.
10. A partir dessas proposies, correto airmar que a
proposio. Carla pagou o condomnio tem valor lgico F.
Respostas
01. Resposta C.
Proposio Equivalente
P Q ~Q ~P
P Q ~P Q
P Q P suiciente para Q
P Q 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
Se a menina no tem olhos azuis, ento o menino loiro.
02. Parte inferior do formulrio
Resposta C.
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)
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
proisso, 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 Anamara mdica, ento Anglica mdica. (verdadeiro)
1. V V
2. F F
3. F V
- 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.
4
RACIOCNIO LGICO
- Se Andrea arquiteta, ento Anglica arquiteta. (verdadeiro)
1. F F
2.
3.
- 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)
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.
1 Passo: qual regra eu tenho que saber? Condicional (Se...
ento).
2 Passo: Fazer o teste com as hipteses possveis at encontrar
a resposta.
Hiptese 1
- 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.
- Se Ana pianista, Denise violinista. (verdade)
V V
- Se Ana violinista, ento Denise pianista. (verdade)
F F
- 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 Ana pianista, ento Beatriz violinista. (verdade)
F V
- Se Ana violinista, ento Beatriz pianista. (verdade)
V F - A VF apareceu, ento j podemos descart-la, pois a
nossa proposio ser falsa.
04. Resposta Certo.
s aplicar a tabela verdade do ou (v).
V v F ser verdadeiro, sendo falso apenas quando as duas
forem falsas.
A tabela verdade do ou. Vejam:
p q p q
V V F
V F V
F V V
F F F
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.
Regra: S ser verdadeira se houver uma das sentenas
verdadeira e outra falsa.
Hiptese 1:
P1: F V = V (No poder aparecer VF).
P2: V F = V (Apenas um tem que ser verdadeiro).
P3: F F = V
Concluses:
Vereador participou do esquema.
Prefeito no sabia.
Chefe do gabinete foi o mentor.
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.
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.
5
RACIOCNIO LGICO
05. Resposta Errado.
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.
p q p q
V V F
V F V
F V V
F F F
Com a frase em P
2
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 P
2
seja verdadeira.
06. Resposta Certo.
Duas premissas so logicamente equivalentes quando elas
possuem a mesma tabela verdade:
P R P R P R R P P R
V V F F V V V
V F F V F F F
F V V F V V V
F F V V V V V
Possuem a mesma tabela verdade, logo so equivalentes.
Representando simbolicamente as equivalncias, temos o
seguinte:
(P R) = (P R) = (R P)
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: P
3
= Se o vereador Vitor no
participou do esquema, ento o chefe do gabinete no foi o mentor
do esquema. Em linguagem simblica, a premissa P
3
ica 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.
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:
P
1
: P ~Q verdade
P
2
: R (ou exclusivo) Q verdade
P
3
: P ~R verdade
Concluso: O prefeito Prsio no sabia do esquema. falso
Se falso que o Prefeito Prsio no sabia, signiica 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, signiica dizer que ~R
verdadeiro. Fazendo as substituies:
P
1
: P ~Q Verdade
F F 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.
P
2
: R (ou exclusivo) Q Verdade
F (ou exclusivo) V V
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.
P
3
: P ~R Verdade
F V V
Se deduz que R falso, logo ~R verdadeiro. Consideramos
inicialmente o argumento sendo no vlido (premissas verdadeiras
e concluso falsa). Signiica dizer que a questo est errada. No
correto inferir que o Prefeito Prsio no sabia do esquema. Foi
comprovado que ele sabia do esquema.
08. Resposta Certo.
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 3
o
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.
6
RACIOCNIO LGICO
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)
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).
E: Jorge no foi ao centro da cidade (V)
Diante das explicaes, C
B = (V)
(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
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.
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.
2 LGICA DE ARGUMENTAO:
ANALOGIAS, INFERNCIAS, DEDUES E
CONCLUSES.
Um argumento uma srie concatenada de airmaes com
o im de estabelecer uma proposio deinida. 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 p
1
,...,p
n
que tem como consequncia
outra proposio q. Chamaremos as proposies p
1
,p
2
,p
3
,...,p
n

de premissas do argumento, e a proposio q de concluso do
argumento. Podemos representar por:
p
1
p
2
p
3
.
.
.
p
n
q
Exemplos:
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.
03.
Todos os brasileiros so humanos.
Todos os paulistas so brasileiros.
__________________________
Todos os paulistas so humanos.
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.
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:
Premissa: Todos os sais de sdio so substncias solveis
em gua.
Todos os sabes so sais de sdio.
____________________________________
Concluso: Todos os sabes so substncias solveis
em gua.
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.
7
RACIOCNIO LGICO
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.
Regras de Implicao
Premissas Concluso Inferncia
A B A B
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).
Desse modo, o fato de um argumento ser vlido no signiica
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.
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.
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 desconiana. Ela
ocasionalmente faz algumas pessoas aceitarem airmaes falsas
em vez de admitir que no entenda por que algo bvio. No
se deve hesitar em questionar airmaes supostamente bvias.
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 airmaes que podem ser utilizadas
aumenta. H vrios tipos de inferncia vlidos, mas tambm alguns
invlidos. O processo de inferncia comumente identiicado
pelas frases Consequentemente... ou isso implica que....
Concluso: Finalmente se chegar a uma proposio que
consiste na concluso, ou seja, no que se est tentando provar.
Ela o resultado inal do processo de inferncia e s pode ser
classiicada como concluso no contexto de um argumento em
particular. A concluso respalda-se nas premissas e inferida a
partir delas.
A seguir est exempliicado 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.
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 reairmado
(numa forma levemente simpliicada) como sendo a concluso.
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:
a) Premissas verdadeiras e concluso verdadeira. Exemplo:
Todos os apartamentos so pequenos. (V)
Todos os apartamentos so residncias. (V)
__________________________________
Algumas residncias so pequenas. (V)
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:
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
8
RACIOCNIO LGICO
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:
Todas as mulheres so bonitas.
Todas as princesas so mulheres.
__________________________
Todas as princesas so bonitas.
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.
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.
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:
Todo ser humano tem me.
Todos os homens so humanos.
__________________________
Todos os homens tm me.
O argumento ser indutivo quando suas premissas no
fornecerem o apoio completo para retiicar as concluses.
Exemplo:
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.
Portanto, nos argumentos indutivos a concluso possui
informaes que ultrapassam as fornecidas nas premissas. Sendo
assim, no se aplica, ento, a deinio de argumentos vlidos ou
no vlidos para argumentos indutivos.
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 exempliicaremos alguns argumentos
dedutivos vlidos importantes.
Airmao do Antecedente: O primeiro argumento dedutivo
vlido que discutiremos chama-se airmao do antecedente,
tambm conhecido como modus ponens. Exemplo:
Se Jos for reprovado no concurso, ento ser demitido do
servio.
Jos foi aprovado no concurso.
___________________________
Jos ser demitido do servio.
Este argumento evidentemente vlido e sua forma pode ser
escrita da seguinte forma:
Se p, ento q,
.
.
q
p
ou
p q
q
p
Outro argumento dedutivo vlido a negao do

consequente (tambm conhecido como modus tollens). Obs.:
( ) q p equivalente a ( ) p q . Esta equivalncia
chamada de contra positiva. 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
inlao.
No h inlao.
______________________________
No aumentamos os meios de pagamentos.
escrita da seguinte maneira:
Se p, ento q,
.
.
p No
q No
ou
p q
p
q

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:
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:
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 icar com vergonha diante
dos colegas de trabalho.
_________________________
Ou Joo vai embora de So Paulo ou Joo icar com
vergonha dos colegas de trabalho.
9
RACIOCNIO LGICO
escrita da seguinte maneira:
p ou q.
Se p ento r
s ou r
s ento p Se
.
ou
p q
pr
s r
s q

Argumentos Dedutivos No Vlidos

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 signiicado mais especico: 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 airmao do
consequente. Exemplo:
Se ele me ama ento ele casa comigo.
Ele casa comigo.
_______________________
Ele me ama.
Podemos escrever esse argumento como:
Se p, ento q,
p
q
ou
pq
p
q
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:
Se Joo parar de fumar ele engordar.
Joo no parou de fumar.
________________________
Joo no engordar.
Observe que temos a forma:
Se p, ento q,
.
.
q No
p No
ou
p q
q
p

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)
Este argumento tem a forma:
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.

Todos os mamferos so mortais. (V)
Todas as cobras so mortais. (V)
__________________________
Todas as cobras so mamferas. (F)
Podemos usar as tabelas-verdade, deinidas nas estruturas
lgicas, para demonstrarmos se um argumento vlido ou falso.
Outra maneira de veriicar se um dado argumento P
1
, P
2
, P
3
,
...P
n
vlido ou no, por meio das tabelas-verdade, construir
a condicional associada: (P
1
P
2
P
3
...P
n
) e reconhecer se
essa condicional ou no uma tautologia. Se essa condicional
associada tautologia, o argumento vlido. No sendo tautologia,
o argumento dado um soisma (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.
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
10
RACIOCNIO LGICO
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
justiic-las. Isso vlido, mas pode ser um pouco confuso.
Para complicar, algumas airmaes 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 airmao 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 airmou que Deus no joga dados porque
acreditava em Deus. Isso pode parecer um argumento relevante,
mas no . Trata-se de uma explicao da airmao de Einstein.
Para perceber isso, deve-se lembrar que uma airmao da forma
X porque Y pode ser reescrita na forma Y logo X. O que
resultaria em: Einstein acreditava em Deus, por isso airmou que
Deus no joga dados. Agora ica claro que a airmao, que
parecia um argumento, est admitindo a concluso que deveria
estar provando. Ademais, Einstein no cria num Deus pessoal
preocupado com assuntos humanos.
QUESTES
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.
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 p
s
, ento 1, p, p
2
, ..., p
s
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
03. Ou Lgica fcil, ou Artur no gosta de Lgica. Por outro
lado, se Geograia no difcil, ento Lgica difcil. Da segue-se
que, se Artur gosta de Lgica, ento:
a) Se Geograia difcil, ento Lgica difcil.
b) Lgica fcil e Geograia difcil.
c) Lgica fcil e Geograia fcil.
d) Lgica difcil e Geograia difcil.
e) Lgica difcil ou Geograia fcil.
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 im, 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.
05. O rei ir caa condio necessria para o duque sair
do castelo, e condio suiciente para a duquesa ir ao jardim.
Por outro lado, o conde encontrar a princesa condio necessria
e suiciente 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.
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 diiculdade 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.
11
RACIOCNIO LGICO
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 icar 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.
07. (ESAF - 2012 - Auditor Fiscal da Receita Federal) Parte
superior do formulrio
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.
(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.
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.
10. (VUNESP - 2011 - TJM-SP) Parte superior do formulrio
Se aino as cordas, ento o instrumento soa bem. Se o
instrumento soa bem, ento toco muito bem. Ou no toco muito
bem ou sonho acordado. Airmo ser verdadeira a frase: no sonho
acordado. Dessa forma, conclui-se que
(A) sonho dormindo.
(B) o instrumento ainado no soa bem.
(C) as cordas no foram ainadas.
(D) mesmo ainado o instrumento no soa bem.
(E) toco bem acordado e dormindo.
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.
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.
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
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.
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.
12
RACIOCNIO LGICO
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.
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.
Observe que ao analisar todas as premissas, e tornarmos todas
verdadeiras obtivemos as seguintes airmaes:
Francisco no fala francs
Ching no fala chins
Elton no fala espanhol
Dbora no fala dinamarqus
Iara no fala italiano
Ana fala alemo.
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 p
2
, onde p um nmero primo.
Observe os seguintes nmeros:
1 2 2
2
(4)
1 3 3 (9)
1 5 5 (25)
1 7 7 (49)
1 11 11 (121)
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.
03. Resposta B.
O Argumento uma sequncia inita de proposies lgicas
iniciais (Premissas) e uma proposio inal (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 veriicarem a concluso
tambm se veriica: (P1) Todo cavalo tem 4 patas. Indica que se
cavalo ento tem 4 patas, ou seja, posso airmar que o conjunto
dos cavalos um subconjunto do conjunto de animais de 4 patas.
(P2) Todo animal de 4 patas tem asas. Indica que se tem 4 patas
ento o animal tem asas, ou seja, posso airmar que o conjunto dos
animais de 4 patas um subconjunto do conjunto de animais que
tem asas.
(C) Todo cavalo tem asas. Indica que se cavalo ento tem
asas, ou seja, posso airmar que o conjunto de cavalos um
subconjunto do conjunto de animais que tem asas.
Observe que ao unir as premissas, a concluso sempre se
veriica. Toda vez que izermos as premissas serem verdadeiras,
a concluso tambm for verdadeira, estaremos diante de um
argumento vlido. Observe:
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 veriica, 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 Geograia no difcil, ento Lgica difcil. (P2)
Artur gosta de Lgica (P3)
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:
13
RACIOCNIO LGICO
p q p V q
V V F
V F V
F V V
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.
Se Geograia no difcil, ento Lgica difcil. Do se ento
j sabemos que:
Geograia no difcil - o antecedente do se ento.
Lgica difcil - o consequente do se ento.
Chamando:
r: Geograia difcil
~r: Geograia no difcil (ou Geograia fcil)
p: Lgica fcil
(no p) ~p: Lgica difcil
~r ~p (l-se se no r ento no p) sempre que se veriicar
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 Geograia difcil.
De todo o encadeamento lgico (dada as premissas
verdadeiras) sabemos que:
Artur gosta de Lgica
Lgica fcil
Geograia difcil
Vamos agora analisar as alternativas, em qual delas a
concluso verdadeira:
a) Se Geograia 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 Geograia difcil. (V ^ V = V) a regra do
e que s ser verdadeiro se as proposies que o formarem
forem verdadeiras.
c) Lgica fcil e Geograia fcil. (V ^ F = F)
d) Lgica difcil e Geograia difcil. (F ^ V = F)
e) Lgica difcil ou Geograia fcil. (F v F = F) a regra
do ou que s falso quando as proposies que o formarem
forem falsas.
04. Alternativa A.
Com os dados fazemos a tabela:
Camisa azul Camisa Branca Camisa Preta
eu sou cul-
pado
sim, ele (de ca-
miza azul) o cul-
pado
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 airma 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 airma que roubou, logo ele o
inocente que est sempre mentindo.
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:
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 suiciente 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.
14
RACIOCNIO LGICO
2) O rei ir caa condio suiciente 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 suiciente ser antecedente no
se ento.
3) O conde encontrar a princesa condio necessria e
suiciente 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
suiciente 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 veriica e D E, ao negar a condio
necessria nego a condio suiciente: esse modo ~E ~D (ento
o conde no encontrou a princesa).
Se ~D se veriica e C D, ao negar a condio necessria
nego a condio suiciente: ~D ~C (a duquesa no foi ao jardim).
Se ~C se veriica e A C, ao negar a condio necessria
nego a condio suiciente: ~C ~A (ento o rei no foi caa).
Se ~A se veriica e B A, ao negar a condio necessria
nego a condio suiciente: ~A ~B (ento o duque no saiu do
castelo).
Observe entre as alternativas, que a nica que airma uma
proposio logicamente correta a alternativa C, pois realmente
deduziu-se que o rei no foi caa e o conde no encontrou a
princesa.
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.
O nico que escapa das airmaes o Danton.
Outra forma: 5 amigos: A,B,C,D, e E.
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.
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.
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:
c = casar
b = comprar bicicleta
v = viajar
p = morar em Passrgada
Temos as verdades:
c ou b
v ou ~c
p ou ~b
Transformando em implicaes:
~c b = ~b c
~v ~c = c v
~p ~b
Assim:
~p ~b
~b c
c v
Por transitividade:
~p c
~p v
No morar em passrgada implica casar. No morar em
passrgada implica viajar.
08. Resposta C.
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.
15
RACIOCNIO LGICO
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.
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.
A questo pede a negao da airmao: Todo funcionrio
de nossa empresa possui plano de sade e ganha mais de R$
3.000,00 por ms.
Essa ica assim ~(p ^ q).
A negao dela ~pv~q
~(p^q) ~pv~q (negao todas e vira ou)
A 1 proposio tem um Todo que quantiicador universal,
para neg-lo utilizamos um quantiicador existencial. Pode ser:
um, existe um, pelo menos, existem...
No caso da questo icou 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.
09. Resposta B.
Sendo:
Segunda = S e Quarta = Q,
Pedro tem aula de Natao = PN e
Pedro tem aula de Futebol = PF.
V = conectivo ou e = conectivo Se, ... ento, temos:
S V Q PF V PN
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:
PF V PN Je
Je ~Ja
~Ja ~C
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
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.
Representao lgica de todas as proposies:
S V Q PF V PN
(f) (f) (f) (f)
F F
PF V PN Je
F F
Je ~Ja
F F
~Ja ~C
F F
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.
Montando as proposies:
1 - A I
2 - I T
3 - ~T V S (ou exclusivo)
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
I T
(F)
16
RACIOCNIO LGICO
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)
O FALSO passa para trs. Com isso, A = FALSO. ~A =
Verdadeiro = As cordas no foram ainadas.
Outra forma: partimos da premissa airmativa 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 aino as cordas (F), ento o instrumento soa bem (F) = V
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 aino as corda deu falso, ento no aino as cordas.
Se o instrumento soa bem deu falso, ento o instrumento no
soa bem.
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 ainado no soa bem deu que: No aino as
cordas.
(C) Verdadeira: as cordas no foram ainadas.
(D) mesmo ainado (Falso deu que no aino as cordas) o
instrumento no soa bem.
(E) toco bem acordado e dormindo, absurdo. Deu no toco
muito bem e no sonho acordado.
3 LGICA SENTENCIAL
(OU PROPOSICIONAL).
3.1 PROPOSIES SIMPLES E COMPOSTAS.
Uma proposio uma airmao que pode ser verdadeira ou
falsa. Ela o signiicado da airmao, no um arranjo preciso das
palavras para transmitir esse signiicado. Por exemplo, Existe um
nmero primo par maior que dois uma proposio (no caso,
falsa). Um nmero primo par maior que dois existe a mesma
proposio, expressa de modo diferente. muito fcil mudar
acidentalmente o signiicado das palavras apenas reorganizando-
as. A dico da proposio deve ser considerada algo signiicante.
possvel utilizar a lingustica formal para analisar e reformular
uma airmao sem alterar o signiicado.
As sentenas ou proposies so os elementos que, na
linguagem escrita ou falada, expressam uma ideia, mesmo que
absurda. Considerar-se-o as que so bem deinidas, isto , aquelas
que podem ser classiicadas em falsas ou verdadeiras, denominadas
declarativas. As proposies geralmente so designadas por letras
latinas minsculas: p, q, r, s...
Considere os exemplos a seguir:
p: Mnica inteligente.
q: Se j nevou na regio Sul, ento o Brasil um pas europeu.
r: 7 > 3
s: 8 + 2 10
Tipos de Proposies
Podemos classiicar as sentenas ou proposies, conforme o
signiicado de seu texto, em:
- Declarativas ou airmativas: so as sentenas em que se
airma algo, que pode ou no ser verdadeiro. Exemplo: Jlio Csar
o melhor goleiro do Brasil.
- Interrogativas: so aquelas sentenas em que se questiona
algo. Esse tipo de sentena no admite valor verdadeiro ou falso.
Exemplo: Lula estava certo em demitir a ministra?
- Imperativas ou ordenativas: so as proposies em que se
ordena alguma coisa. Exemplo: Mude a geladeira de lugar.
Proposies Universais e Particulares
As proposies universais so aquelas em que o predicado
refere-se totalidade do conjunto. Exemplo:
Todos os homens so mentirosos universal e simbolizamos
por Todo S P
Nesta deinio inclumos o caso em que o sujeito unitrio.
Exemplo: O co mamfero.
As proposies particulares so aquelas em que o predicado
refere-se apenas a uma parte do conjunto. Exemplo: Alguns
homens so mentirosos particular e simbolizamos por algum
S P.
Proposies Airmativas e Negativas
No caso de negativa podemos ter:
Nenhum homem mentiroso universal negativa e
simbolizamos por nenhum S P.
Alguns homens no so mentirosos particular negativa e
simbolizamos por algum S no P.
No caso de airmativa consideramos o item anterior.
Chamaremos as proposies dos tipos: Todo S P, algum
S P, algum S no P e nenhum S P.
Ento teremos a tabela:
AFIRMATIVA NEGATIVA
UNIVERSAL Todo S P (A) Nenhum S P (E)
PARTICULAR Algum S P (I) Algum S no P (O)
17
RACIOCNIO LGICO
Diagrama de Euler
Para analisar, poderemos usar o diagrama de Euler.
- Todo S P (universal airmativa A)
P
S
ou
P=S
- Nenhum S P (universal negativa E)
S P
- Algum S P (particular airmativa I)
S
P
ou
P
S
ou
P=S
ou
S
P
- Algum S no P (particular negativa O)
S
P
ou
S
P
ou
S P
Princpios
- Princpio da no-contradio: Uma proposio no pode ser
verdadeira e falsa simultaneamente.
- Princpio do Terceiro Excludo: Uma proposio s pode ter
dois valores verdades, isto , verdadeiro (V) ou falso (F), no
podendo ter outro valor.
a) O Curso Pr-Fiscal ica em So Paulo um proposio
verdadeira.
b) O Brasil um Pas da Amrica do Sul uma proposio
verdadeira.
c) A Receita Federal pertence ao poder judicirio, uma
proposio falsa.
As proposies simples (tomos) combinam-se com outras,
ou so modiicadas por alguns operadores (conectivos), gerando
novas sentenas chamadas de molculas. Os conectivos sero
representados da seguinte forma:
corresponde a no
corresponde a e
corresponde a ou
corresponde a ento
corresponde a se somente se
Sendo assim, a partir de uma proposio podemos construir
uma outra correspondente com a sua negao; e com duas ou mais,
podemos formar:
- Conjunes: a
b (l-se: a e b)
- Disjunes: a
b (l-se: a ou b)
- Condicionais: a
b (l-se: se a ento b)
- Bicondicionais: a
b (l-se: a se somente se b)
Exemplo
Se Cacilda estudiosa ento ela passar no AFRF
Sejam as proposies:
p = Cacilda estudiosa
q = Ela passar no AFRF
Da, poderemos representar a sentena da seguinte forma:
Se p ento q (ou p
q)
Sentenas Abertas
Existem sentenas que no podem ser classiicadas nem
como falsas, nem como verdadeiras. So as sentenas chamadas
sentenas abertas.
Exemplos
1. 9 4 : ) ( = + x x p
A sentena matemtica 9 4 = + x aberta, pois existem
ininitos nmeros que satisfazem a equao. Obviamente, apenas
um deles, 5 = x , tornando a sentena verdadeira. Porm, existem
ininitos outros nmeros que podem fazer com que a proposio se
torne falsa, como . 5 = x
2. 3 : ) ( < x x q
Dessa maneira, na sentena 3 < x , obtemos ininitos valores
que satisfazem equao. Porm, alguns so verdadeiros, como
2 = x , e outros so falsos, como . 7 + = x
Ateno: As proposies ou sentenas lgicas so
representadas por letras latinas e podem ser classiicadas em
abertas ou fechadas.
A sentena 5 2 2 : ) ( = + x s uma sentena fechada, pois a
ela se pode atribuir um valor lgico; nesse caso, o valor de ) (x s
F, pois a sentena falsa.
A sentena ) (x p Phil Collins um grande cantor de msica
pop internacional fechada, dado que possui um valor lgico e
esse valor verdadeiro.
J a sentena ) (x e O sorteio milionrio da Mega-Sena
uma sentena aberta, pois no se sabe o objetivo de falar do sorteio
da Mega-Sena, nem se pode atribuir um valor lgico para que
) (x e seja verdadeiro, ou falso.
18
RACIOCNIO LGICO
Modiicadores
A partir de uma proposio, podemos formar outra proposio
usando o modiicador no (~), que ser sua negao, a qual
possuir o valor lgico oposto ao da proposio.
Exemplo
p: Jacira tem 3 irmos.
~p: Jacira no tem 3 irmos.
fcil veriicar que:
1. Quando uma proposio verdadeira, sua negao falsa.
2. Quando uma proposio falsa, sua negao verdadeira.
V ou F Sentena: p Negao: ~p V ou F
V
N 4 N 4
F
F 12 divisvel por zero
12 no divisvel
por zero.
V
Para classiicar mais facilmente as proposies em falsas ou
verdadeiras, utilizam-se as chamadas tabelas-verdade.
Para negao, tem-se
p ~p
V F
F V
Ateno: A sentena negativa representada por ~.
A sentena t:
O time do Paran resistiu presso do So Paulo possui
como negativa de t, ou seja, ~t, o correspondente a: O time do
Paran no resistiu presso do So Paulo.
Observao: Alguns matemticos utilizam o smbolo O
Brasil possui um grande time de futebol, que pode ser lida como
O Brasil no possui um grande time de futebol.
Proposies Simples e Compostas
Uma proposio pode ser simples (tambm denominada
atmica) ou composta (tambm denominada molecular). As
proposies simples apresentam apenas uma airmao. Pode-
se consider-las como frases formadas por apenas uma orao.
As proposies simples so representadas por letras latinas
minsculas.
Exemplos
(1) p: eu sou estudioso
(2) q: Maria bonita
(3) r: 3 + 4 > 12
Uma proposio composta formada pela unio de duas ou
mais proposies simples. Indica-se uma proposio composta
por letras latinas maisculas. Se P uma proposio composta das
proposies simples p, q, r, ..., escreve-se P (p, q, r,...). Quando
P estiver claramente deinida no h necessidade de indicar as
proposies simples entre os parnteses, escrevendo simplesmente
P.
Exemplos:
(4) P: Paulo estudioso e Maria bonita. P composta das
proposies simples p: Paulo estudioso e q: Maria bonita.
(5) Q: Maria bonita ou estudiosa. Q composta das
proposies simples p: Maria bonita e q: Maria estudiosa.
(6) R: Se x = 2 ento x
2
+ 1 = 5. R composta das proposies
simples p: x = 2 e q: x
2
+ 1 = 5.
(7) S: a > b se e somente se b < a. S composta das proposies
simples p: a > b e q: b < a.
As proposies simples so aquelas que expressam uma
nica ideia. Constituem a base da linguagem e so tambm
chamadas de tomos da linguagem. So representadas por letras
latinas minsculas (p, q, r, s, ...).
As proposies composta so aquelas formadas por duas ou
mais proposies ligadas pelos conectivos lgicos. So geralmente
representadas por letras latinas maisculas (P, Q, R, S, ...). O
smbolo P (p, q, r), por exemplo, indica que a proposio composta
P formada pelas proposies simples p, q e r.
Exemplos
So proposies simples:
p: A lua um satlite da terra.
q: O nmero 2 primo.
r: O nmero 2 par.
s: Roma a capital da Frana.
t: O Brasil ica na Amrica do Sul.
u: 2 + 5 = 3 . 4
So proposies compostas:
P(q, r): O nmero 2 primo ou par.
Q(s, t): Roma a capital da Frana e o Brasil ica na Amrica
do Sul.
R: O nmero 6 par e o nmero 8 cubo perfeito.
No so proposies lgicas:
- Roma
- O co do menino
- 7+1
- As pessoas estudam
- Quem ?
- Que pena!
19
RACIOCNIO LGICO
Tabela Verdade
Proposio Simples - Segundo o princpio do terceiro
excludo, toda proposio simples p, verdade ou falsa, isto , tem
o valor lgico verdade (V) ou o valor lgico falso (F).
p
V
F
Proposio Composta - O valor lgico de qualquer proposio
composta depende unicamente dos valores lgicos das proposies
simples componentes, icando por eles univocamente determinados.
um dispositivo prtico muito usado para a determinao do valor
lgico de uma proposio composta. Neste dispositivo iguram
todos os possveis valores lgicos da proposio composta,
correspondentes a todas as possveis atribuies de valores lgicos
s proposies simples componentes.
Proposio Composta - 02 proposies simples
Assim, por exemplo, no caso de uma proposio composta
cujas proposies simples componentes so p e q, as nicas
possveis atribuies de valores lgicos a p e a q so:
p q
V V
V F
F V
F F
Observe-se que os valores lgicos V e F se alternam de dois
em dois para a primeira proposio p e de um em um para a
segunda proposio q, e que, alm disso, VV, VF, FV e FF so os
arranjos binrios com repetio dos dois elementos V e F.
Proposio Composta - 03 proposies simples
No caso de uma proposio composta cujas proposies
simples componentes so p, q e r as nicas possveis atribuies
de valores lgicos a p, a q e a r so:
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Analogamente, observe-se que os valores lgicos V e F se
alternam de quatro em quatro para a primeira proposio p, de
dois em dois para a segunda proposio q e de um em um para a
terceira proposio r, e que, alm disso, VVV, VVF, VFV, VFF,
FVV, FVF, FFV e FFF sos os arranjos ternrios com repetio dos
dois elementos V e F.
Notao: O valor lgico de uma proposio simples p indica-
se por V(p). Assim, exprime-se que p verdadeira (V), escrevendo:
V(p) = V. Analogamente, exprime-se que p falsa (F), escrevendo:
V(p) = F.
Exemplos
p: o sol verde;
q: um hexgono tem nove diagonais;
r: 2 raiz da equao x + 3x - 4 = 0
V(p) = F
V(q) = V
V(r) = F
Questes
01. Considere as proposies p: Est frio e q: Est chovendo.
Traduza para linguagem corrente as seguintes proposies:
a) P ~q
b) p q
c) ~p ^ ~q
d) p ~q
e) (p ~q) (q ^~p)
02. Considere as proposies p: A terra um planeta e q:
Aterra gira em torno do Sol. Traduza para linguagem simblica as
seguintes proposies:
a) No verdade: que a Terra um planeta ou gira em torno
do Sol.
b) Se a Terra um planeta ento a Terra gira em torno do Sol.
c) falso que a Terra um planeta ou que no gira em torno
do Sol.
d) A Terra gira em torno do Sol se, e somente se, a Terra no
um planeta.
e) A Terra no nem um planeta e nem gira em torno do Sol.
(Expresses da forma no nem p e nem q devem ser vistas
como no p e no q)
03. Dada a condicional: Se p primo ento p = 2 ou p
impar, determine:
a) a contrapositiva
b) a recproca
04.
a) Supondo V (p ^ q r s) = F e V (~r ^ ~s) = V, determine
V (p r ^ s).
b) Supondo V (p ^ (q r)) = V e V (p r q) = F, determine
V (p), V (q), V (r).
c) Supondo V (p q) = V, determine V (p ^ r q ^ r) e V (p
r q r).
20
RACIOCNIO LGICO
05. D o conjunto-verdade em R das seguintes sentenas
abertas:
a) x + x 6 = 0 x - 9 = 0
b) x 4 x -5x + 6 = 0
06. Use o diagrama de Venn para decidir quais das seguintes
airmaes so vlidas:
a) Todos os girassis so amarelos e alguns pssaros so
amarelos, logo nenhum pssaro um girassol.
b) Alguns baianos so suristas. Alguns suristas so louros.
No existem professores suristas. Concluses:
I- Alguns baianos so louros.
II- Alguns professores so baianos.
III- Alguns louros so professores.
IV- Existem professores louros.
07. (CESPE - PF - Regional) Considere que as letras P, Q, R
e T representem proposies e que os smbolos , ^, e sejam
operadores lgicos que constroem novas proposies e signiicam
no, e, ou e ento, respectivamente. Na lgica proposicional, cada
proposio assume um nico valor (valor-verdade), que pode ser
verdadeiro (V) ou falso (F), mas nunca ambos. Com base nas
informaes apresentadas no texto, julgue os itens a seguir.
a) Se as proposies P e Q so ambas verdadeiras, ento a
proposio ( P) ( Q) tambm verdadeira.
b) Se a proposio T verdadeira e a proposio R falsa,
ento a proposio R ( T) falsa.
c) Se as proposies P e Q so verdadeiras e a proposio R
falsa, ento a proposio (P ^ R) ( Q) verdadeira.
08. (CESPE - Papiloscopista) Sejam P e Q variveis
proposicionais que podem ter valoraes, ou serem julgadas
verdadeiras (V) ou falsas (F). A partir dessas variveis, podem ser
obtidas novas proposies, tais como: a proposio condicional,
denotada por P Q, que ser F quando P for V e Q for F, ou V,
nos outros casos; a disjuno de P e Q, denotada por P v Q, que
ser F somente quando P e Q forem F, ou V nas outras situaes;
a conjuno de P e Q, denotada por P ^ Q, que ser V somente
quando P e Q forem V, e, em outros casos, ser F; e a negao de
P, denotada por P, que ser F se P for V e ser V se P for F. Uma
tabela de valoraes para uma dada proposio um conjunto de
possibilidades V ou F associadas a essa proposio. A partir das
informaes do texto, julgue os itens subsequentes.
a) As tabelas de valoraes das proposies P v Q e Q P
so iguais.
b) As proposies (P v Q) S e (P S) v (Q S) possuem
tabelas de valoraes iguais.
09. (CESPE - PF - Regional) Considere as sentenas abaixo.
I- Fumar deve ser proibido, mas muitos europeus fumam.
II- Fumar no deve ser proibido e fumar faz bem sade.
III- Se fumar no faz bem sade, deve ser proibido.
IV- Se fumar no faz bem sade e no verdade que muitos
europeus fumam, ento fumar deve ser proibido.
V- Tanto falso que fumar no faz bem sade como falso
que fumar deve ser proibido; consequentemente, muitos europeus
fumam.
Considere tambm que P, Q, R e T representem as sentenas
listadas na tabela a seguir.
P Fumar deve ser proibido.
Q Fumar de ser encorajado.
R Fumar no faz bem sade.
T Muitos europeus fumam.
Com base nas informaes acima e considerando a notao
introduzida no texto, julgue os itens seguintes.
a) A sentena I pode ser corretamente representada por P ^
( T).
b) A sentena II pode ser corretamente representada por ( P)
^ ( R).
c) A sentena III pode ser corretamente representada por R
P.
d) A sentena IV pode ser corretamente representada por (R
^ ( T)) P.
e) A sentena V pode ser corretamente representada por T
(( R) ^ ( P)).
10. Um agente de viagens atende trs amigas. Uma delas
loura, outra morena e a outra ruiva. O agente sabe que uma delas
se chama Bete, outra se chama Elza e a outra se chama Sara. Sabe,
ainda, que cada uma delas far uma viagem a um pas diferente da
Europa: uma delas ir Alemanha, outra ir Frana e a outra ir
Espanha. Ao agente de viagens, que queria identiicar o nome e o
destino de cada uma, elas deram as seguintes informaes:
A loura: No vou Frana nem Espanha.
A morena: Meu nome no Elza nem Sara.
A ruiva: Nem eu nem Elza vamos Frana.
O agente de viagens concluiu, ento, acertadamente, que:
a) A loura Sara e vai Espanha.
b) A ruiva Sara e vai Frana.
c) A ruiva Bete e vai Espanha.
d) A morena Bete e vai Espanha.
e) A loura Elza e vai Alemanha.
Respostas:
01.
a) Est frio ou no est chovendo.
b) Se est frio ento est chovendo.
c) No est frio e no est chovendo.
d) Est frio se e somente se no est chovendo.
e) Est frio e no est chovendo se e somente se est
chovendo e no est frio.
02.
a) ~(p q);
b) p q
c) ~(p ~q)
d) ~p ^ ~q
e) q ~p
21
RACIOCNIO LGICO
03.
a) a contrapositiva: Se p 2 e p par, ento p no primo.
b) a recproca: Se p = 2 ou p mpar, ento p primo.
04.
a) Supondo V (p ^ q r s) = F (1) e V (~r ^ ~s) = V (2),
determine V (p r ^ s). Soluo: De (2) temos que V (r) = V (s)
= F; Usando estes resultados em (1) obtemos: V (p) = V (q) = V,
logo, V (p r ^ s) = F
b) Supondo V (p ^ (q r)) = V (1) e V (p r q) = F (2),
determine V (p), V (q) e V (r). Soluo: De (1) conclumos que V
(p) = V e V (q r) = V e de (2) temos que V (q) = F, logo V (r) = V
c) Supondo V (p q) = V, determine V (p ^ r q ^ r) e V (p
r q r). Soluo: Vamos supor V (p ^ r q ^ r) = F. Temos
assim que V (p ^ r) = V e V (q ^ r) = F, o que nos permite concluir
que V (p) = V (r) = V e V (q) = F, o que contradiz V (p q) = V.
Logo, V (p r q r) = V. Analogamente, mostramos que V (p
r q r) = V.
05.
a) R {2}
b) [-2,2[
06.
a) O diagrama a seguir mostra que o argumento falso:
b) O diagrama a seguir mostra que todos os argumentos so
falsos:
07.
a) Item ERRADO. Pela tabela do ou temos:
( P) v ( Q)
( V) v ( V)
(F) v (F)
Falsa
b) Item ERRADO. A condicional regra que:
R ( T)
F ( V)
F (F)
Verdadeira
c) Item CERTO. Obedecendo a conjuno e a condicional:
(P ^ R) ( Q)
(V ^ F) ( V)
F F
Verdadeira
08.
a) Item ERRADO. Basta considerarmos a linha da tabela-
verdade onde P e Q so ambas proposies verdadeiras para
veriicar que as tabelas de valoraes de P v Q e Q P no so
iguais:
P Q P P v Q Q P
V V F V F
b) Item ERRADO. Nas seguintes linhas da tabela-verdade,
temos os valores lgicos da proposio (P v Q) S diferente dos
da proposio (P S) v (Q S):
P Q S (P v Q) S P S v Q S
V F F F V
F V F F V
09.
a) Item ERRADO. Sua representao seria P ^ T.
b) Item CERTO. Apenas deve-se ter o cuidado para o que
diz a proposio R: Fumar no faz bem sade. bom sempre
icarmos atentos atribuio inicial dada respectiva letra.
c) Item CERTO. a representao simblica da Condicional
entre as proposies R e P.
d) Item CERTO. Proposio composta, com uma Conjuno
(R ^ T) como condio suiciente para P.
d) Item ERRADO. Dizer ...consequentemente... dizer
se... ento.... A representao correta seria (( R) ^ ( P)) T.
10. Resposta E.
A melhor forma de resolver problemas como este arrumar
as informaes, de forma mais interessante, que possa prover uma
melhor visualizao de todo o problema. Inicialmente analise o
que foi dado no problema:
a) So trs amigas
b) Uma loura, outra morena e outra ruiva.
c) Uma Bete, outra Elza e outra Sara.
d) Cada uma far uma viagem a um pas diferente da Europa:
Alemanha, Frana e Espanha.
e) Elas deram as seguintes informaes:
A loura: No vou Frana nem Espanha.
A morena: Meu nome no Elza nem Sara.
A ruiva: Nem eu nem Elza vamos Frana.
Faa uma tabela:
Cor dos cabelos Loura Morena Ruiva
Afirmao No vou Frana
nem a Espanha
Meu nome no
Elza nem Sara
Nem eu nem
Elza vamos
Frana
Pas Alemanha Frana Espanha
Nome Elza Bete Sara
Com a informao da loura, sabemos que ela vai para a
Alemanha.
Com a informao da morena, sabemos que ela a Bete.
Com a informao da ruiva sabemos que ela no vai Frana
e nem Elza, mas observe que a loura vai a Alemanha e a ruiva no
vai Frana, s sobrando a Bete ir Frana. Se Bete vai Frana
a ruiva coube a Espanha. Elza a loura e Sara ica sendo a ruiva.
22
RACIOCNIO LGICO
3.2 TABELAS-VERDADE.
A tabela-verdade usada para determinar o valor lgico de
uma proposio composta, sendo que os valores das proposies
simples j so conhecidos. Pois o valor lgico da proposio
composta depende do valor lgico da proposio simples. A
seguir vamos compreender como se constri essas tabelas-verdade
partindo da rvore das possibilidades dos valores lgicos das
proposies.
Proposio Composta do Tipo P(p, q)
p q P(p, q)
V V ?
V F ?
F V ?
F F ?
Proposio Composta do Tipo P(p, q, r)
p q r P(p, q, r)
V V V ?
V V F ?
V F V ?
V F F ?
F V V ?
F V F ?
F F V ?
F F F ?
Proposio Composta do Tipo P(p, q, r, s): a tabela-verdade
possui 2
4
= 16 linhas e formada igualmente as anteriores.
Proposio Composta do Tipo P(p
1
, p
2
, p
3
,, p
n
): a tabela-
verdade possui 2
n
linhas e formada igualmente as anteriores.
O Conectivo no e a negao
O conectivo no e a negao de uma proposio p outra
proposio que tem como valor lgico V se p for falsa e F se p
verdadeira. O smbolo ~p (no p) representa a negao de p com a
seguinte tabela-verdade:
p ~p
V F
F V
Exemplo:
a)
p = 7 mpar.
~p = 7 no mpar.
p ~p
V F
b)
q = 24 mltiplo de 5.
~q = 24 no mltiplo de 5.
q ~q
F V
Observao: A negao de Roma a capital da Itlia
Roma no a capital da Itlia ou No verdade que Roma a
capital da Itlia. Note que:
- A negao de Todos os brasileiros so carecas Nem
todos os brasileiros so carecas ou Pelo menos um brasileiro
no careca.
- A negao de Nenhum homem careca Algum homem
careca ou Pelo menos um homem careca.
Nmero de linhas da Tabela Verdade
Seja L uma linguagem que contenha as proposies P, Q
e R. O que podemos dizer sobre a proposio P? Para comear,
segundo o princpio de bivalncia, ela ou verdadeira ou falsa.
Isto representamos assim:
P
V
F
23
RACIOCNIO LGICO
Agora, o que podemos dizer sobre as proposies P e Q? Oras,
ou ambas so verdadeiras, ou a primeira verdadeira e a segunda
falsa, ou a primeira falsa e a segunda verdadeira, ou ambas so
falsas. Isto representamos assim:
P Q
V V
V F
F V
F F
Como voc j deve ter reparado, uma tabela para P, Q e R
assim:
P Q R
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Cada linha da tabela (fora a primeira que contm as frmulas)
representa uma valorao. Agora, o que dizer sobre frmulas
moleculares, tais como P, QR, ou (Q

R) (PQ)? Para
estas, podemos estabelecer os valores que elas recebem em vista
do valor de cada frmula atmica que as compe. Faremos isto por
meio das tabelas de verdade. Os primeiros passos para construir
uma tabela de verdade consistem em:
- Uma linha em que esto contidas todas as subfrmulas de
uma frmula e a prpria frmula. Por exemplo, a frmula (PQ)
R tem o seguinte conjunto de subfrmulas: [(PQ) R, PQ,
P, Q, R].
- L linhas em que esto todos os possveis valores que as
proposies atmicas podem receber e os valores recebidos pelas
frmulas moleculares a partir dos valores destes tomos.
O nmero de linhas L = n
t
, sendo n o nmero de valores
que o sistema permite (sempre 2 no caso do CPC) e t o nmero
de tomos que a frmula contm. Assim, se uma frmula contm
2 tomos, o nmero de linhas que expressam a permutaes entre
estes ser 4: um caso de ambos serem verdadeiros (V V), dois
casos de apenas um dos tomos ser verdadeiro (V F , F V) e um
caso no qual ambos serem falsos (F F). Se a frmula contiver 3
tomos, o nmero de linhas que expressam a permutaes entre
estes ser 8: um caso de todos os tomos serem verdadeiros (V V
V), trs casos de apenas dois tomos serem verdadeiros (V V F , V
F V , F V V), trs casos de apenas um dos tomos ser verdadeiro
(V F F , F V F , F F V) e um caso no qual todos tomos so falsos
(F F F). Ento, para a frmula (PQ) R, temos:
P Q R PQ (PQ) R (PQ) R
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Para completar esta tabela precisamos deinir os operadores
lgicos. Ao faz-lo, vamos aproveitar para explicar como
interpret-los.
O Conectivo e e a conjuno
O conectivo e e a conjuno de duas proposies p e q
outra proposio que tem como valor lgico V se p e q forem
verdadeiras, e F em outros casos. O smbolo p q (p e q) representa
a conjuno, com a seguinte tabela-verdade:
p q p q
V V V
V F F
F V F
F F F
Exemplo:
a)
p = 2 par.
q = o cu rosa.
p q = 2 par e o cu rosa.
p q p q
V F F
b)
p = 9 < 6.
q = 3 par.
p q: 9 < 6 e 3 par.
p q p q
F F F
c)
p = O nmero 17 primo.
q = Braslia a capital do Brasil.
p q = O nmero 17 primo e Braslia a capital do Brasil.
p q p q
V V V
24
RACIOCNIO LGICO
O Conectivo ou e a disjuno
O conectivo ou e a disjuno de duas proposies p e q
outra proposio que tem como valor lgico V se alguma das
proposies for verdadeira e F se as duas forem falsas. O smbolo
p v q (p ou q) representa a disjuno, com a seguinte tabela-
verdade:
p q p q
V V V
V F V
F V V
F F F
Exemplo:
a)
p = 2 par.
q = o cu rosa.
p q = 2 par ou o cu rosa.
p q p q
V F V
b)
p = 9 < 6.
q = 3 par.
p q: = 9 < 6 ou 3 par.
p q p q
F F F
c)
p = O nmero 17 primo.
q = Braslia a capital do Brasil.
p q = O nmero 17 primo ou Braslia a capital do Brasil.
p q p q
V V V
d)
p = O nmero 9 par.
q = O dobro de 50 100.
p q: O nmero 9 par ou o dobro de 50 100.
p q p q
F V V
O Conectivo se ento e a condicional
A condicional se p ento q outra proposio que tem como
valor lgico F se p verdadeira e q falsa. O smbolo p q
representa a condicional, com a seguinte tabela-verdade:
p q p q
V V V
V F F
F V V
F F V
Exemplo:
a)
p: 7 + 2 = 9.
q: 9 7 = 2.
p q: Se 7 + 2 = 9 ento 9 7 = 2.
p q p q
V V V
b)
p = 7 + 5 < 4.
q = 2 um nmero primo.
p q: Se 7 + 5 < 4 ento 2 um nmero primo.
p q p q
F V V
c)
p = 24 mltiplo de 3.
q = 3 par.
p q: Se 24 mltiplo de 3 ento 3 par.
p q p q
V F F
d)
q = 12 < 3.
p q: Se 25 mltiplo de 2 ento 2 < 3.
O Conectivo se e somente se e a bicondicional
A bicondicional p se e somente se q outra proposio que
tem como valor lgico V se p e q forem ambas verdadeiras ou
ambas falsas, e F nos outros casos. O smbolo p q representa a
bicondicional, com a seguinte tabela-verdade:
p q p q
V V V
V F F
F V F
F F V
25
RACIOCNIO LGICO
Exemplo:
a)
q = 6 mpar.
p q = 24 mltiplo de 3 se, e somente se, 6 mpar.
p q p q
V F F
b)
p = 25 quadrado perfeito.
q = 8 > 3.
p q = 25 quadrado perfeito se, e somente se, 8 > 3.
p q p q
V V V
c)
p = 27 par.
q = 6 primo.
p q = 27 par se, e somente se, 6 primo.
p q p q
F F V
Tabela-Verdade de uma Proposio Composta
Exemplo: veja como se procede a construo de uma tabela-verdade da proposio composta P(p, q) = ((p q) (~p)) (p
q), onde
p e q so duas proposies simples quaisquer. Resoluo: uma tabela-verdade de uma proposio do tipo P(p, q) possui 24 = 4 linhas, logo:
p q p q ~p (p q) (~p) p
q ((p q) (~p)) (p
q)
V V
V F
F V
F F
Agora veja passo a passo a determinao dos valores lgicos de P.
a) Valores lgicos de p q
p q p q ~p (p q) (~p) p

q ((p q) (~p)) (p
q)
V V V
V F V
F V V
F F F
b) Valores lgicos de ~p
p q p q ~p (p q) (~p) p
q ((p q) (~p)) (p
q)
V V V F
V F V F
F V V V
F F F V
26
RACIOCNIO LGICO
c) Valores lgicos de (p q) (~p)
p q p q ~p (p q) (~p) p

q ((p q) (~p)) (p
q)
V V V F F
V F V F F
F V V V V
F F F V V
d) Valores lgicos de p
q
p q p q ~p (p q) (~p) p

q ((p q) (~p)) (p
q)
V V V F F V
V F V F F F
F V V V V F
F F F V V F
e) Valores lgicos de P(p, q) = ((p q) (~p)) (p
q)
p q p q ~p (p q) (~p) p

q ((p q) (~p)) (p q)
V V V F F V V
V F V F F F V
F V V V V F F
F F F V V F F
QUESTES
01. Considere as proposies
p: Est frio e
q: Est chovendo.
Traduza para linguagem corrente as seguintes proposies:
(A) p v ~q
(B) p q c) ~p
~q
(C) p ~q e) (p v ~q) (q
~p)
02. Considere as proposies
p: A Terra um planeta e
q: A Terra gira em torno do Sol.
Traduza para linguagem simblica as seguintes proposies:
(A) No verdade: que a Terra um planeta ou gira em torno do Sol.
(B) Se a Terra um planeta ento a Terra gira em torno do Sol.
(C) falso que a Terra um planeta ou que no gira em torno do Sol.
(D) A Terra gira em torno do Sol se, e somente se, a Terra no um planeta.
(E) A Terra no nem um planeta e nem gira em torno do Sol.
(Expresses da forma no nem p e nem q devem ser vistas como no p e no q)
03. Escreva a negao das seguintes proposies numa sentena o mais simples possvel.
(A) falso que no est frio ou que est chovendo.
(B) Se as aes caem aumenta o desemprego.
(C) Ele tem cabelos louros se e somente se tem olhos azuis.
(D) A condio necessria para ser um bom matemtico saber lgica.
(E) Jorge estuda fsica mas no estuda qumica.
(Expresses da forma p mas q devem ser vistas como p e q)
27
RACIOCNIO LGICO
04. Dada a condicional: Se p primo ento p = 2 ou p
mpar, determine:
(A) a contrapositiva
(B) a recproca
05.
(A) Supondo V(p q r v s) = F e V(~r ~s) = V, determine
V(p r s).
(B) Supondo V(p (q v r)) = V e V (p v r q) = F, determine
V(p), V(q) e V(r).
(C) Supondo V(p q) = V, determine V(p r q r) e V(p
v r q v r).
06. Utilizando as propriedades das operaes lgicas,
simpliique as seguintes proposies:
(A) (p v q) ~p
(B) p (p q) (p ~q)
(C) p (p v q) (p v q) q
(D) ~(p q) ((~p q) v ~(p v q))
(E) ~p (p v ~(p v ~q))
07. Escrever as expresses relativas aos circuitos. Simpliic-
las e fazer novos esquemas.
(A)
(B)
08. Veriique a validade ou no dos seguintes argumentos sem
utilizar tabela-verdade:
(A) p v q, ~r v ~q ~p ~r
(B) p q v r, q ~p, s ~r ~(p
s)
(C) p q, r s, p v s q v r
(D) Se o dicit pblico no diminuir, uma condio necessria
e suiciente para inlao cair que os impostos sejam aumentados.
Os impostos sero aumentados somente se o dicit pblico no
diminuir. Se a inlao cair, os impostos no sero aumentados.
Portanto, os impostos no sero aumentados.
09. D o conjunto-verdade em R das seguintes sentenas
abertas:
(A) x + x 6 = 0 x - 9 = 0
(B) x > 4 x - 5x + 6 = 0
10. D a negao das seguintes proposies:
(A) Existem pessoas inteligentes que no sabem ler nem
escrever.
(B) Toda pessoa culta sbia se, e somente se, for inteligente.
(C) Para todo nmero primo, a condio suiciente para ser
par ser igual a 2.
Respostas
01.
(A) No est frio e no est chovendo.
(B) Est frio se e somente se no est chovendo.
(C) Est frio e no est chovendo se e somente se est
chovendo e no est frio.
02.
(A) ~(p v q)
(B) p q
(C) ~(p v ~q)
(D) ~p
~q
(E) q ~p
03.
(A) No est frio ou est chovendo.
(B) As aes caem e no aumenta o desemprego.
(C) Ele tem cabelos louros e no tem olhos azuis ou ele tem
olhos azuis e no tem cabeloslouros.
(D) A proposio equivalente a Se um bom matemtico
ento sabe lgica cuja negao um bom matemtico e no
sabe lgica.
(E) Jorge no estuda lgica ou estuda qumica.
04.
(A) contrapositiva: Se p 2 e p par ento p no primo.
(B) recproca: Se p = 2 ou p mpar ento p primo.
05.
(A) Supondo V(p q r v s) = F(1) e V(~r ~s) = V (2),
determine V(p r s).
Soluo: De (2) temos que V (r) = V(s) = F; Usando estes
resultados em (1) obtemos:
V(p) = V(q) = V, logo,
V(p r s) = F
(B) Supondo V(p (q v r)) = V (1) e V(p v r q) = F (2),
determine V(p), V(q) e V(r).
Soluo: De (1) concluimos que V(p) = V e V(q v r) = V e de
(2) temos que V(q) = F, logo V (r) = V.
(C) Supondo V(p q) = V, determine V(p r q r) e V(p
v r q v r).
Soluo: Vamos supor V(p r q r) = F. Temos assim que
V(p r) = V e V(q r) = F, o que nos permite concluir que V(p) =
V(r) = V e V(q) = F, o que contradiz V(p q) = V. Logo, V(p v r
q v r) = V. Analogamente, mostramos que V(p v r q v r) = V.
28
RACIOCNIO LGICO
06.
(A) (pq)
~p (p

~p) (q

~p) F (q

~p) (q

~p)
(B) p
(pq)
(p~p) p
(~pq)
(~p~q) p
((~p (q

~q)) p
(~p F) p
~p F
(C) p
(pq) (p q)
q pq
(D) ~(pq)
((~p

q)) (p

~q)
((~p

q) (~p

~q))
(p

~q)
((~p
(q~q)) (p

~q)
(~p

V) (p

~q)
~p
(p

~p)
~q F
~q F
(E) ~p (p ~(p~q)) p (p ~(p~q)) (p (~p

q)) (p~p)
(pq) V
(pq) pq
07.
(A) (p

q) ((p

q) q)
p ((p

q)
p q

p
(B) ((pq)
r)) ((q

r) q))
((pq)
r) q (pqq)
(rq) (pq)
(rq) q (p

r)
08.
(A) Vlido
(B) Vlido
(C) Soisma. Considerando V(p) = V(q) = V( r ) = F e V(s) = V, todas as premissas so verdadeiras e a concluso falsa.
(D) Considere
p: O dicit pblico no diminui;
q: A inlao cai;
r: Os impostos so aumentados.
Analise o argumento: p (qr), r p, q ~r ~r
(Vlido)
09.
(A) R- {2}
(B) [-2, 2[
10.
(A) Todas as pessoas inteligentes sabem ler ou escrever.
(B) Existe pessoa culta que sbia e no inteligente ou que inteligente e no sbia.
(C) Existe um nmero primo que igual a 2 e no par.
3.3 EQUIVALNCIAS.
Equivalncias
Na lgica, as asseres p e q so ditas logicamente equivalentes ou simplesmente equivalentes, se p q e q p. Em termos intuitivos,
duas sentenas so logicamente equivalentes se possuem o mesmo contedo lgico. Do ponto de vista da teoria da demonstrao, p e q so
equivalentes se cada uma delas pode ser derivada a partir da outra. Semanticamente, p e q so equivalentes se elas tm os mesmos valores
para qualquer interpretao. A notao normalmente usada para representar a equivalncia lgica entre p e q p q, p q ou p q.
Exemplo: As seguintes sentenas so logicamente equivalentes:
1- Se hoje sbado, ento hoje im de semana.
2- Se hoje no im de semana, ento hoje no sbado.
Em smbolos:
d: Hoje sbado. (d f)
f: Hoje im de semana. ( f d)
Sintaticamente, (1) e (2) so equivalentes pela Lei da Contraposio. Semnticamente, (1) e (2) tm os mesmos valores nas mesmas
interpretaes.
H equivalncia entre as proposies p e q somente quando a bicondicional p q for uma tautologia ou quando p e q tiverem a mesma
tabela-verdade.
p q (p equivalente a q) o smbolo que representa a equivalncia lgica.
29
RACIOCNIO LGICO
Diferenciao dos smbolos e
O smbolo representa uma operao entre as proposies p e q, que tem como resultado uma nova proposio p q com valor
lgico V ou F.
O smbolo
representa a no ocorrncia de VF e de FV na tabela-verdade p q, ou ainda que o valor lgico de p q sempre

V, ou ento p q uma tautologia. Exemplo:
A tabela da bicondicional (p q) (~q ~p) ser:
p q ~q ~p p q ~q ~p (p q) (~q ~p)
V V F F V V V
V F V F F F V
F V F V V V V
F F V V V V V
Portanto, p q equivalente a ~q ~p, pois estas proposies possuem a mesma tabela-verdade ou a bicondicional (p q) (~q
~p) uma tautologia. Veja a representao: (p q) (~q ~p)
Equivalncias Notveis
Nome Propriedade Dual
Dupla Negao (DN) ~~p p
Idempotente (IP) p V p p p p p
Comutativa (COM) p V q q V p p q q p
Associativa (ASS) p V (q V r) (p V q) V r p (q r) (p q) r
De Morgan (DM) ~(p V q) ~p ~q ~(p q) ~p V ~q
Distributiva (DIS) p (q V r) (p q) V (p r) p V (q r) (p V q) (p V r)
Absoro (ABS) p (p V q) p p V (p q) p
Reescrita da Condicional (COND) p q ~p V q
Reescrita da Bicondicional (BI) p q (p q) (q p)
Elemento Neutro (EN) p V F p p V p
Elemento Absorvedor (EA) p V V V p F F
Complementares (COMPLE) p V ~p V p ~p F
F = contradio V = tautologia
As proposies p e q so chamadas de logicamente equivalentes () se p q uma tautologia. Exemplos:
Mostraremos que (p V q) e p q so logicamente equivalentes. Uma das leis de De Morgan. Soluo:
(p V q) e p q
p q (p V q) (p V q) p q p q (p V q) p q
V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V V
Mostraremos que (p q) e p V q so logicamente equivalentes. Soluo:
(p q) e p V q
p q p p V q p q (p q) p V q
V V F V V V
V F F F F V
F V V V V V
F F V V V V
30
RACIOCNIO LGICO
QUESTES
01. Demonstre as relaes abaixo utilizando as equivalncias
notveis:
(A) p q r (p q) (p r)
(B) p q r (p q) (p r)
(C) p (r s t) (p r) (p s) (p t)
(D)
p q r p (q r)
(E) ~(~p ~q) ~p q
02. Demonstre, utilizando as equivalncias notveis, que as
relaes de implicao so vlidas:
(A) Exemplo: Regra da simpliicao: p q q
Para provarmos uma relao de implicao temos que
demonstrar que a condicional p q q tautolgica, ou seja,
que a condicional
p q q V
Desenvolvendo o lado esquerdo da equivalncia, tem-se:
p q q (aplicando-se a equiv. de reescrita da condicio-
nal)
~(p q) q (aplicando-se a Lei de Morgan)
~p ~q q (aplicando-se lei complementar, ~q q uma
tautologia)
~p V (pela lei da identidade ~p V um tautologia)
V Portanto, est provado que p q q uma tautologia
(B) Regra da adio: p p q
(C) Regra do Silogismo Disjuntivo: (p q) ~q p
(D) Regra de Modus Ponens: (p q) p q
(E) Regra de Modus Tollens: (p q) ~q ~p
03. Usando as regras de equivalncia, mostre a seguinte
tautologia: (p q) r r (p ~q)
Respostas
01.
(A) p q r (p q) (p r)
p q r
~p (q r) (reescrita da condicional)
(~p q) (~p r) (distributiva)
(p q) (p r) (reescrita da condicional)
(B) p q r (p q) (p r)
p q r
~p q r (associativa)
~p ~p q r (idempotente, adicionei um ~p,
pois ~p ~p ~p)
(~p q) (~p r) (associativa)
(p q) (p r) (reescrita da condicional)
(C) p (r s t) (p r) (p s) (p t)
p (r s t)

p (r (s t))
(associativa em s t )

(p r) (p (s t))
(distributiva)
(p r) (p s) (p t) (distributiva)
(D)
p q r p (q r)

p q r

~(p q) r (reescrita da condicional)

~p ~q r
(De Morgan)

~p (~q r)
(associativa)
p (q r) (reescrita da condicional)
(E)
~(~p ~q) ~p q
~(~p ~q)
~(~~p ~q) (reescrita da condicional)

~(p ~q)
(dupla negao)

~p ~~q
(De Morgan)

~p q
(dupla negao)
02.
(B) Regra da adio: p p q
p p q V (devemos demonstrar que a relao de
implicao equivale a uma tautologia)
~p (p q) (condicional)

~p p q
(associativa)
V q (complementares ~p p)
V (identidade)
(C) Regra do Silogismo Disjuntivo: (p q) ~q p
(p q) ~q p V (devemos demonstrar que a relao
de implicao equivale a uma tautologia)
(p ~q) (q ~q) p (distributiva)
(p ~q) F p (complementares)
(p ~q) p (identidade)
~(p ~q) p (condicional)

~p ~q p
(De Morgan)

(~p p) ~q
(associativa)
V ~q (complementares)
V (identidade)
(D) Regra de Modus Ponens: (p q) p q
(p q) p q V (devemos demonstrar que a relao
de implicao equivale a uma tautologia)
(~p q) q q (condicional)
(q ~p) (q q) q (distributiva)
(q ~p) q q (idempotente)
~((q ~p) q) q (condicional)
(~(q ~p) ~q) q (De Morgan)
((~q p) ~q) q (De Morgan)
(~q ~q) (~q p) q (distributiva)
~q (~q p) q (idempotente)
(~q q) (~q p) (associativa)
V (~q p) (complementares)
V (identidade)
(E) Regra de Modus Tollens: (p q) ~q ~p
(p q) ~q ~p V (devemos demonstrar que a
relao de implicao equivale a uma tautologia)
(~p q) ~q ~p (De Morgan)
(~q ~p) (~q q) ~p (Distributiva)
(~q ~p) F ~p (Complementares)
(~q ~p) ~p (Identidade)
~(~q ~p) ~p (condicional)
~~q ~~p ~p (De Morgan)

q p ~p
(Dupla Negao)
q V (complementares)
V
31
RACIOCNIO LGICO
03. Mostraremos que (p q) r r (p ~q)
uma tautologia, de fato:
Ordem Proposio
1 (p q) r
2 (~p q) r
3 ~(~p q) r
4 r ~(~p q)
5 r (p ~q)
3.4 LEIS DE DE MORGAN.
As leis de De Morgan deinem regras usadas para converter
operaes lgicas OU em E e vice versa. Sendo X, Y {0,1} e as
operaes em {0,1} sendo +, . e -, assim deinidas:
Operao lgica Smbolo Exemplos
Ou +
0 + 0 = 0
0 + 1 = 1
1 + 0 = 1
1 + 1 = 1
E .
0 . 0 = 0
0 . 1 = 0
1 . 0 = 0
1 . 1 = 1
No -
= 1
= 0
Da autoria do ilustre matemtico ingls Augustus De Morgan
(1806-1871), podemos separ-las em Primeiras Leis de Morgan e
Segundas Leis de Morgan. As primeiras podem ser indicadas de
vrias formas, dependendo do contexto a estudar. Podemos utiliz-
las em operaes lgicas sobre proposies ou em operaes sobre
conjuntos.
Primeiras Leis de Morgan: Sendo p e q duas proposies e ~,
, respetivamente, os smbolos das operaes lgicas negao,

conjuno e disjuno, as Primeiras Leis de Morgan podem ser
apresentadas simbolicamente por:
1. ~(p q) = ~p
~q cujo signiicado :
negar a simultaneidade de p e q airmar pelo menos no p
ou no q.
2. ~(p
q) = ~p ~q cujo signiicado :
negar a ocorrncia de pelo menos p ou q airmar nem p
nem q.
Mas, se considerarmos A e B dois conjuntos e ,
respectivamente, os smbolos da interseo, reunio, complementar
de A e complementar de B, as Primeiras Leis de Morgan podem
ser apresentadas simbolicamente por: cujo
signiicado : o complementar da interseo de dois conjuntos
igual reunio dos complementares dos conjuntos iniciais
cujo signiicado : o complementar da reunio
de dois conjuntos igual interseo dos complementares dos
conjuntos iniciais.
Segundas Leis de Morgan: As Segundas Leis de
Morgan permitem-nos efetuar a negao de proposies com
quantiicadores (universais e existenciais). Dada a expresso
proposicional (ou condio) p(x), em que x A, conjunto de
nmeros reais, a expresso x A: p (x) l-se: para todo o
elemento de A, veriica-se p, ou seja, qualquer que seja o valor de
A pelo qual substitumos x, p(x) transforma-se numa proposio
verdadeira. Por outro lado, a expresso x A: p(x) l-se: existe
pelo menos um elemento de A que veriica p, ou seja, signiica
que existe pelo menos um valor da varivel x, para a qual a p(x) se
transforma numa proposio verdadeira.
Neguemos ambas:
As negaes destas duas proposies constituem ento as
Segundas Leis de Morgan.
As leis: Considere X e Y como variveis booleanas ou
proposies cuja resposta seja {Sim, No} ou {Verdadeiro, Falso}
ou ainda {0,1}. Seguem as leis de De Morgan conforme algumas
notaes possveis:
Lgica Proposicional
Lgica Booleana
Textual
No (X E Y) = No (X) Ou No (Y)
No (X Ou Y) = No (X) E No (Y)
Generalizao: A ideia que ao aplicar a barra (operador
No) sobre uma outra operao, esta muda seu sinal, restando uma
barra para cada membro da operao. Exemplos:
Prova: Se de fato, ento:
a)
Primeiro usamos a propriedade distributiva do operador (+),
depois a propriedade comutativo (passo no mostrado), ento
vemos a soma de elementos complementares.
32
RACIOCNIO LGICO
b)
Primeiro usamos a propriedade distributiva do operador
(.), depois usamos a propriedade de comutatividade (esse passo
no foi mostrado), ento usamos a propriedade de elementos
complementares .
QUESTES
01. Numa pesquisa sobre audincia de TV entre 125
entrevistados, obteve-se: 60 assistem ao canal X, 40 ao canal Y,
15 ao canal Z, 25 assistem a X e Y, 8 a Y e Z, 3 a X e Z e 1 assiste
aos trs.
(A) Quantos no assistem a nenhum desses canais?
(B) Quantos assistem somente ao canal X?
02. Prove a seguinte Lei de De Morgan: x + y = xy.
03. Demonstre as Leis de Morgan:
(A) ~(p q r) ~p ~q ~r
(B)
~(p q r) ~p ~q ~r
Respostas
01.
(A) Assim, (A B C) C = ?
X= 60
XY= 25 - 1 = 24
X e Y = 3 - 1 = 2
X, Y e Z= 1 X, Y e Z = 1
Da teoria dos conjuntos, temos:
n(X Y Z) = n(X) + n(Y) + n(Z) - n(X Y) - n(X Z) -
n(Y Z) + n(X Y Z)
n(X Y Z) = 60 + 40 + 15 - 25 - 3 - 8 + 1
n(X Y Z) = 116 36
n(X Y Z) = 80, ento: como n(X Y Z) = 125, vem
que:
125 - 80 = 45 no assistem nenhum desses canais.
(B) 60 - (25 - 1) + (3 -1) + 1 = 60 - 27 = 33
02. Podemos demonstrar a Lei de De Morgan por induo
completa ou algebricamente.
Tabela de verdade onde se demonstra a Segunda Lei de De
Morgan:
0 0
0 1
1 0
1 1
0
1
1
1
1
0
0
0
1
1
0
0
1
0
1
0
1
0
0
0
Para a demonstrao algbrica vamos ter de nos socorrer dos
axiomas e de outros teoremas da lgebra de Boole Binria. Para
tanto, consideremos:
(A2a)
= 0 + 0 (A4a T2a)
Por outro lado, consideremos:
(A1b)
(A2b)
Sendo assim, x + y e xy satisfazem os axiomas A4a e A4b,
pelo que x + y dever ser o (nico) complemento de xy, e vice-
versa. E ento possvel escrever e, por dualidade, x . y = x + y.
03.
(A)
~(p
r) ~p ~q ~r
~(p
(q
r)) (Associativa)
~p
~(q
r) (De Morgan)
~p ~q
~r (De Morgan)
(B)
~(p q r) ~p
~q
~r
~(p (q r)) (Associativa)
~p
~(q r) (De Morgan)

~p
~q
~r (De Morgan)
3.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.
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.
33
RACIOCNIO LGICO
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.
a) Temos no grupo: 8 + 10 + 33 = 51 motoristas.
b) Dirigem somente carros 33 motoristas.
c) Dirigem somente motos 8 motoristas.
No caso de uma pesquisa de opinio sobre a preferncia
quanto leitura de trs jornais. A, B e C, foi apresentada a seguinte
tabela:
Jornais Leitores
A 300
B 250
C 200
A e B 70
A e C 65
B e C 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.
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.
Dessa forma, o diagrama igura preenchido com os seguintes
elementos:
Com essa distribuio, poderemos notar que 205 pessoas leem
apenas o jornal A. Veriicamos 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.
Diagrama de Euler
Um diagrama de Euler similar a um diagrama de Venn, mas
no precisa conter todas as zonas (onde uma zona deinida como
a rea de interseco entre dois ou mais contornos). Assim, um
diagrama de Euler pode deinir um universo de discurso, isto ,
ele pode deinir 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 signiicncia
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
34
RACIOCNIO LGICO
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.
Diagramas de Venn
Designa-se por diagramas de Venn os diagramas usados em
matemtica para simbolizar graicamente 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 deinida
indicando se alguma regio em especico vazia ou no-vazia.
Pode-se escrever uma deinio mais formal do seguinte modo:
Seja C = (C
1
, C
2
, ... C
n
) uma coleo de curvas fechadas simples
desenhadas em um plano. C uma famlia independente se a regio
formada por cada uma das intersees X
1
X
2
... X
n
, onde cada
X
i
o interior ou o exterior de C
i
, 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 inito 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 especico 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 diiculdades 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.
Dois Conjuntos: considere-se o seguinte exemplo: suponha-
se 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.
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 ica 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).
35
RACIOCNIO LGICO
Essas coniguraes 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 de A para B: A\B
Diferena de B para A: B\A
Interseco de dois conjuntos: AB
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 B
Diferena Simtrica de dois conjuntos: A B
Complementar de A em U: A
C
= U \ A
Complementar de B em U: B
C
= U \ B
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 deine sete reas distintas,
que podem combinar-se de 256 (2
8
) maneiras diferentes, algumas
delas ilustradas nas imagens seguintes.
Diagrama de Venn mostrando todas as interseces possveis
entre A, B e C.
Unio de trs conjuntos: A B C
Interseco de trs conjuntos: A B C
36
RACIOCNIO LGICO
A \ (B C)
(B C) \ A
Proposies Categricas
- Todo A B
- Nenhum A B
- Algum A B e
- Algum A no B
Proposies do tipo Todo A B airmam que o conjunto A
um subconjunto do conjunto B. Ou seja: A est contido em B.
Ateno: dizer que Todo A B no signiica o mesmo que Todo B
A. Enunciados da forma Nenhum A B airmam 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 airmar 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.
- 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 vice-
versa).
Verdade ou Falsidade das Proposies Categricas
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.
1. Se a proposio Todo A B verdadeira, ento temos as
duas representaes possveis:
A
B
A = B
1 2
Nenhum A B. falsa.
Algum A B. verdadeira.
Algum A no B. falsa.
2. Se a proposio Nenhum A B verdadeira, ento temos
somente a representao:
B A
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:
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:
B A
3
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 ideterminada).
37
RACIOCNIO LGICO
QUESTES
01. Represente por diagrama de Venn-Euler
(A) Algum A B
(B) Algum A no B
(C) Todo A B
(D) Nenhum A B
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
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;
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.
O nmero total de alunos do colgio, no atual semestre,
igual a:
(A) 93
(B) 110
(C) 103
(D) 99
(E) 114
07. Numa pesquisa, veriicou-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
08. Em uma entrevista de mercado, veriicou-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
09. Sabe-se que o sangue das pessoas pode ser classiicado 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
Respostas
01.
(A)
(B)
(C)
(D)
02. Resposta B.
38
RACIOCNIO LGICO
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.
Passo 1: 60 tocam os dois instumentos, 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
Vamos ao diagrama, preenchemos os dados obtidos acima:
100 180 60
Com o diagrama completamente preenchido, ica 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
04. Esta questo traz, no enunciado, duas proposies
categricas:
- Alguns A so R
- Nenhum G R
Devemos fazer a representao grica 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.
Como j foi visto, no h uma representao grica 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 suiciente para resolver qualquer questo.
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 graicamente 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 gricas
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 grica 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.
Teste das alternativas:
Teste da alternativa A (algum A no G). Observando os
desenhos dos crculos, veriicamos 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, veriicamos 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.
Teste da alternativa C (Nenhum A G). Observando os
desenhos dos crculos, veriicamos 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.
05. Resposta E.
n = 20 + 7 + 8 + 9
n = 44
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
39
RACIOCNIO LGICO
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) = 21-
15 = 6
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.
80 20 130
A B

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.
08. Resposta D.
1200 320 480
A B
Somente B: 800 320 = 480
Usam A = total somente B = 2000 480 = 1520.
09. Resposta C.
A 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.
4 LGICA DE PRIMEIRA ORDEM.
O clculo proposicional possui limitaes com respeito
a codiicao de sentenas declarativas. De fato, o clculo
proposicional manipula de forma satisfatria componentes das
sentenas como no, e, ou, se ... ento, mas certos aspectos lgicos
que aparecem em linguagens naturais ou artiiciais so muito mais
ricos. Por exemplo, como expressar coisas do tipo: Existe... e
Para todo... na lgica proposicional?
Exemplo: Considere a seguinte sentena declarativa:
Todo estudante mais jovem do que algum instrutor. Na lgica
proposicional podemos identiicar esta sentena com uma varivel
proposicional p. No entanto, esta codiicao no relete os detalhes
da estrutura lgica desta sentena. De que trata esta sentena?
- Ser um estudante.
- Ser um instrutor.
- Ser mais jovem do que algum.
Para expressar estas propriedades utilizaremos predicados.
Por exemplo, podemos escrever estudante (ana) para denotar que
Ana uma estudante. Da mesma forma podemos escrever instrutor
(marcos) para denotar que Marcos um instrutor. Por im, podemos
escrever jovem (ana, marcos) para denotar que Ana mais jovem
do que Marcos. Nestes exemplos, estudante, instrutor e jovem so
exemplos de predicados. Ainda precisamos codiicar as noes de
todo e algum. Para isto introduziremos o conceito de varivel.
Variveis sero denotadas por letras latinas minsculas do inal do
alfabeto: u, v, w, x, y, z (possivelmente acrescidas de sub-ndices
x
1
, x
2
, ...). Variveis devem ser pensadas como lugares vazios que
podem ser preenchidos (ou instanciados) por elementos concretos,
como Joo, Maria, etc. Utilizando variveis podemos especiicar
o signiicado dos predicados estudante, instrutor e jovem de uma
maneira mais formal:
- estudante (x): x um estudante.
- instrutor (x): x um instrutor.
- jovem (x, y): x mais jovem do que y.
Note que o nome das variveis no importante. equivalente a:
- estudante (x): x um estudante.
- estudante(y): y um estudante.
Para que possamos inalmente expressar em detalhes
a sentena apresentada no exemplo precisamos codiicar o
signiicado de Todo e algum em Todo estudante mais jovem do
que algum instrutor. Os quantiicadores e fazem este trabalho:
: signiica para todo;
: signiica existe.
Os quantiicadores e esto sempre ligados a alguma varivel:
x
: para todo x;
x
: existe um x (ou existe algum x).
Agora podemos inalmente codiicar a sentena: Todo
estudante mais jovem do que algum instrutor. Da seguinte forma:
x
(estudante (x) (
y
(instrutor (y) jovem (x, y))))
Note que predicados diferentes podem ter um nmero distinto
de argumentos: os predicados estudante e instrutor admitem
apenas um argumento e por isto so chamados de predicados
unrios, enquanto que o predicado jovem admite dois argumentos,
e portanto um predicado binrio. O nmero de argumentos de um
predicado chamado sua aridade. Assim, os predicados unrios
tm aridade 1, enquanto que os predicados binrios tm aridade
2, etc. No clculo de predicados so permitidos predicados com
qualquer aridade inita.
40
RACIOCNIO LGICO
Exemplo: Considere a sentena: Nem todos os pssaros
podem voar. Escolhemos os seguintes predicados para expressar
esta sentena:
- pssaro(x): x um pssaro.
- voar (x): x pode voar.
Esta sentena pode ser codiicada da seguinte forma:
(
x
(pssaro (x) voar(x)))
Exemplo: Uma outra maneira de expressar a mesma ideia da
sentena anterior dizer que: Existem alguns pssaros que no
podem voar. Esta ltima sentena pode ser codiicada da seguinte
maneira:
x
(pssaro (x) voar(x))
Posteriormente veremos que as duas codiicaes dadas so
semanticamente equivalentes. De fato, existem transformaes
que convertem uma na outra.
O vocabulrio da lgica de primeira ordem consiste de trs
conjuntos:
- Um conjunto P de smbolos de predicado;
- Um conjunto F de smbolos de funo;
- Um conjunto C de constantes.
Onde cada smbolo de predicado e de funo vem com
sua aridade bem deinida. Os predicados so casos especiais de
funo: enquanto as funes possuem contradomnio qualquer, os
predicados tm contradomnio sempre igual a {V,F}. As constantes
so funes de aridade 0.
Termos so deinidos da seguinte forma:
- Qualquer varivel um termo;
- Se c F uma funo de aridade 0 ento c um termo;
- Se t
1
, ... , t
n
so termos e f F uma funo de aridade n > 0
ento f (t
1
, ... , t
n
) um termo.
- Nada mais termo.
Em BNF (Backus Naur form) temos:
t :: = x | c | f (t, ... , t)
Onde x percorre o conjunto de variveis V, c percorre os
smbolos de funo de aridade 0 de F e f percorre os elementos de
aridade maior do que 0 de F.
Exemplo: Suponha que n, f e g so smbolos de funo de
aridade respectivamente igual a 0, 1 e 2. Ento g (f (n), n) e f (g
(n, f (n))) so termos, mas g(n) e f (f (n), n) no so termos por
violarem as aridades dos smbolos. A escolha dos conjuntos P e F
para smbolos de predicado e de funo deinida a partir do que
se pretende descrever.
Deinimos o conjunto de frmulas sobre o conjunto S = (F, P)
indutivamente da seguinte forma:
- Se p P um smbolo de predicado de aridade n > 0, e se t
1
,
... , t
n
so termos sobre F ento p (t
1
, .... , t
n
) uma frmula.
- Se uma frmula ento () tambm uma frmula.
- Se e so frmulas ento ( ), ( V ), ( ) e (
) so frmulas.
- Se uma frmula e x uma varivel ento (
x
) e (
x
)
tambm so frmulas.
- Nada mais frmula.
Em BNF temos:
:: = p (t
1
, ... , t
n
) | () | ( ) | ( V ) | ( ) | (
) | ((
x
) | ((
x
)
Onde p um smbolo de predicado de aridade n > 0, t
i
so
termos sobre F e x uma varivel.
Adotaremos a seguinte prioridade de operadores:
1. , , ;
2. , V;
3. , .
Exemplo: Considere a seguinte sentena: Todo ilho de meu
pai meu irmo. Podemos codiicar esta frmula de pelo menos
duas formas distintas:
1. Representando a noo de pai como predicado: Neste caso
escolhemos trs predicados: ilho, pai e irmo com os seguintes
signiicados e aridades:
- ilho (x, y): x ilho de y.
- pai (x, y): x pai de y.
- irmo (x, y): x irmo de y.
Uma possvel codiicao para a sentena dada utilizando
estes predicados :
x y
(pai (x, Joo) ilho (y, x) irmo (y, Joo))
Dizendo que: para todo x e todo y, se x o pai de Joo e se y
um ilho de x ento y um irmo de Joo. Representando a noo
de pai como funo, que chamaremos de f: Neste caso, f(x)
retorna o pai de x. Note que isto funciona apenas porque o pai de
uma dado x nico e est sempre deinido, e portanto f realmente
uma funo. Uma possvel codiicao para esta sentena dada
por:
x
(ilho (x, f(Joo) irmo (y, Joo))
Signiicando que para todo x, se x um ilho do pai de Joo
ento x um irmo de Joo. Esta codiicao menos complexa
que a anterior porque envolve apenas um quantiicador.
Especiicaes formais em geral exigem um domnio de
conhecimento. Muitas vezes este conhecimento no est explicitado
no domnio. Sendo assim, um especiicador pode desconsiderar
restries importantes para um modelo ou implementao. Por
exemplo, as codiicaes dadas no exemplo anterior podem parecer
corretas, mas e se x for igual a Joo? Se o domnio de relaes de
parentesco no um conhecimento comum o especiicador pode
no notar que uma pessoa no pode ser irmo dela mesma.
A abrangncia de
x
(respectivamente,
x
) em
x

(respectivamente,
x
) . Uma ocorrncia de uma varivel
ligada numa frmula, uma ocorrncia de uma varivel x, dentro
do campo de abrangncia de um quantiicador
x
ou
x
. Uma
ocorrncia de uma varivel livre uma ocorrncia de uma varivel
x no ligada.
Exemplo: Na frmula
x
(p(f(x), y) q(x)), as duas
ocorrncias da varivel x so ligadas, enquanto a ocorrncia da
varivel y livre. Na frmula
x
p(f(x), y) q(x) a primeira
ocorrncia da varivel x ligada, no entanto a segunda livre.
41
RACIOCNIO LGICO
Dada uma varivel x, um termo t e uma frmula , deinimos
[x/t] como sendo a frmula obtida aps substituir cada ocorrncia
livre de x em por t.
Exemplo: Considere novamente a frmula
x
((p(x) q(x))
s(x, y)), que chamaremos simplesmente de . Temos que
[x/f(x, y)] = . De fato, todas as ocorrncias de x em so ligadas,
e portanto a substituio [x/f(x, y)] no tem nenhum efeito sobre
esta frmula.
Exemplo: Agora considere a frmula (
x
(p(x) q(x)))
(p(x) V q(y)) que chamaremos simplesmente de . Neste caso
temos uma ocorrncia livre de x e, portanto [x/f(x, y)] igual a (
x
(p(x) q(x))) (p(f(x, y)) V q(y)). As substituies podem
produzir efeitos colaterais indesejados: Considere o termo f(x, y)
e a frmula
y
(p(x, y)). Ento (
y
(p(x, y))) [x/f(x, y)] resulta na
frmula (
y
(p(f(x, y), y))) se izermos uma substituio ingnua.
Observe que o termo resultante possui uma semntica diferente
da esperada porque a varivel y do termo f(x, y) no corresponde
a varivel y quantiicada universalmente na frmula dada. Como
resolver este problema?
Dados um termo t, uma varivel x e uma frmula , dizemos
que t livre para x em se nenhuma ocorrncia livre de x em
est no escopo de (
y
ou
y
para qualquer varivel y que ocorra
em t.
Exemplo: Considere a frmula s(x)
y
(p(x) q(y)),
que possui duas ocorrncias livres de x. A ocorrncia de x mais
a esquerda poderia, por exemplo, ser substituda pelo termo f(y,
y), no entanto a outra ocorrncia no poderia ser substituda por
este termo porque tal substituio acarretaria captura da varivel
y. Quando precisamos realizar uma substituio de um termo t
que no est livre para uma varivel x em uma frmula , o que
fazemos renomear as variveis ligadas para evitar capturas:
Exemplo: No caso do exemplo anterior, a substituio de x por
f(y, y) em s(x)
y
(p(x) q(y)) pode ser resolvida renomeando a
varivel ligada y da frmula para algum nome novo, por exemplo
: s(x) (p(x) q( )). Agora a substituio pode ser realizada
sem provocar captura de variveis.
O ingrediente novo da lgica de primeira ordem no encontrado
na lgica proposicional a quantiicao: dada uma sentena
qualquer, as novas construes x e x - leia para todo x,
e para algum x, , respectivamente so introduzidas. x
signiica que verdadeiro para todo valor de x e x signiica
que h pelo menos um x tal que verdadeiro. Os valores das
variveis so tirados de um universo de discurso pr-determinado.
Um reinamento da lgica de primeira ordem permite variveis de
diferentes tipos, para tratar de diferentes classes de objetos.
A lgica de primeira ordem tem poder expressivo suiciente
para formalizar praticamente toda a matemtica. Uma teoria de
primeira ordem consiste em um conjunto de axiomas (geralmente
initos ou recursivamente enumervel) e de sentenas dedutveis
a partir deles. A teoria dos conjuntos de Zermelo-Fraenkel um
exemplo de uma teoria de primeira ordem, e aceita-se geralmente
que toda a matemtica clssica possa ser formalizada nela. H
outras teorias que so normalmente formalizadas na lgica de
primeira ordem de maneira independente (embora elas admitam a
implementao na teoria dos conjuntos) tais como a aritmtica de
Peano. Um clculo de predicados consiste em:
- regras de formao (deinies recursivas para dar origem a
frmulas bem-formadas ou FBFs).
- regras de transformao (regras de inferncia para derivar
teoremas).
- axiomas.
Os axiomas considerados aqui so os axiomas lgicos que
fazem parte do clculo de predicados. Alm disso, os axiomas no-
lgicos so adicionados em teorias de primeira ordem especicas:
estes no so considerados como verdades da lgica, mas como
verdades da teoria particular sob considerao. Quando o conjunto
dos axiomas ininito, requer-se que haja um algoritmo que possa
decidir para uma frmula bem-formada dada, se ela um axioma
ou no. Deve tambm haver um algoritmo que possa decidir se uma
aplicao dada de uma regra de inferncia est correta ou no.
importante notar que o clculo de predicados pode ser formalizado
de muitas maneiras equivalentes; no h nada cannico sobre
os axiomas e as regras de inferncia propostos aqui, mas toda
a formalizao dar origem aos mesmos teoremas da lgica (e
deduzir os mesmos teoremas a partir de um conjunto qualquer de
axiomas no-lgicos).
Alfabeto
O alfabeto de 1 ordem, , tem a seguinte constituio:
= X
C
P
, onde
X = {x, y, z, x
1
, x
2
, ..., y
1
, y
2
, ..., z
1
, z
2
, ...} um conjunto
enumervel de variveis;
C
= {a, b, c, a
1
, a
2
, ..., b
1
, b
2
, ..., c
1
, c
2
, ...} um conjunto de
smbolos chamados de constantes;
F
= {F
1
, F
2
, ...} um conjunto de smbolos ditos sinais
funcionais;
R
= {R
1
, R
2
, ...} um conjunto de smbolos ditos sinais
relacionais ou predicativos;
L
= {, , V, , , , } o conjunto de smbolos ditos
sinais lgicos;
P
= {(,),,} o conjunto de smbolos de pontuao.
As constantes, sinais funcionais e sinais predicativos
constituem a coleo de sinais ditos smbolos no lgicos. H
diversas variaes menores listadas abaixo:
O conjunto de smbolos primitivos (operadores e
quantiicadores) varia frequentemente. Alguns smbolos primitivos
podem ser omitidos, substituindo-os com abreviaturas adequadas;
por exemplo (p q) uma abreviatura para (p q) (q
p). No sentido contrrio, possvel incluir outros operadores
como smbolos primitivos, como as constantes de verdade para
verdadeiro e o para falso (estes so operadores do aridade
0). O nmero mnimo dos smbolos primitivos necessrios um,
mas se ns nos restringirmos aos operadores listados acima, seria
necessrio trs; por exemplo, o , o , e o bastariam.
Alguns livros mais velhos usam a notao para
, ~ para , & para
, e uma riqueza de notaes

para os quantiicadores; por exemplo, x pode ser escrito como
(x). A igualdade s vezes considerada como parte da lgica de
primeira ordem; Neste caso, o smbolo da igualdade ser includo
no alfabeto, e comportar-se- sintaticamente como um predicado
binrio. Assim a LPO ser chamada de lgica de primeira ordem
com igualdade. As constantes so na verdade funes de aridade
0, assim seria possvel e conveniente omitir constantes e usar as
funes que tenham qualquer aridade.
42
RACIOCNIO LGICO
Mas comum usar o termo funo somente para funes de
aridade 1. Na deinio acima, as relaes devem ter pelo menos
aridade 1. possvel permitir relaes de aridade 0; estas seriam
consideradas variveis proposicionais.
H muitas convenes diferentes sobre onde pr parnteses;
por exemplo, se pode escrever x ou ( x). s vezes se usa dois
pontos ou ponto inal ao invs dos parnteses para criar frmulas
no ambguas. Uma conveno interessante, mas incomum, a
notao polonesa, onde se omite todos os parnteses, e escreve-
se o ,
, e assim por diante na frente de seus argumentos. A

notao polonesa compacta e elegante, mas rara e de leitura
complexa. Uma observao tcnica que se houver um smbolo de
funo de aridade 2 que representa um par ordenado (ou smbolos
de predicados de aridade 2 que representam as relaes de projeo
de um par ordenado) ento se pode dispensar inteiramente as
funes ou predicados de aridade > 2. Naturalmente o par ou as
projees necessitam satisfazer aos axiomas naturais.
Os conjuntos das constantes, das funes, e das relaes
compem a assinatura e so geralmente considerados para dar
forma a uma linguagem, enquanto as variveis, os operadores
lgicos, e os quantiicadores so geralmente considerados para
pertencer lgica. Uma estrutura d o signiicado semntico de
cada smbolo da assinatura. Por exemplo, a linguagem da teoria
dos grupos consiste de uma constante (elemento da identidade),
de uma funo de aridade 1 (inverso), de uma funo de aridade
2 (produto), e de uma relao de aridade 2 (igualdade), que seria
omitida pelos autores que incluem a igualdade na lgica subjacente.
Regras de Formao
As regras de formao deinem os termos, frmulas, e as
variveis livres como segue. O conjunto dos termos deinido
recursivamente pelas seguintes regras:
- Qualquer constante um termo (sem variveis livres).
- Qualquer varivel um termo (cuja nica varivel livre
ela mesma).
- Toda expresso f (t
1
,, t
n
) de n 1 argumentos (onde cada
argumento t
i
um termo e f um smbolo de funo de aridade n)
um termo. Suas variveis livres so as variveis livres de cada
um dos termos t
i
.
- Clusula de fechamento: Nada mais um termo.
O conjunto das frmulas bem-formadas (chamadas
geralmente FBFs ou apenas frmulas) deinido recursivamente
pelas seguintes regras:
- Predicados simples e complexos: se P for uma relao
de aridade n 1 e os a
i
so os termos ento P (a
1
, ..., a
n
) bem
formada. Suas variveis livres so as variveis livres de quaisquer
termos ai. Se a igualdade for considerada parte da lgica, ento (a
1

= a
2
) bem formada. Tais frmulas so ditas atmicas.
- Clusula indutiva I: Se for uma FBF, ento uma FBF.
Suas variveis livres so as variveis livres de .
- Clusula indutiva II: Se e so FBFs, ento (
), (
V ), ( ), ( ) so FBFs. Suas variveis livres so as
variveis livres de e de .
- Clusula indutiva III: Se for uma FBF e x for um varivel,
ento x e x so FBFs, cujas variveis livres so as variveis
livres de com exceo de x. Ocorrncias de x so ditas ligadas
ou mudas (por oposio a livre) em x e x.
- Clusula de fechamento: Nada mais uma FBF.
Na prtica, se P for uma relao de aridade 2, ns escrevemos
frequentemente a P b em vez de P a b; por exemplo, ns
escrevemos 1 < 2 em vez de < (1 2). Similarmente se f for uma
funo de aridade 2, ns escrevemos s vezes a f b em vez de
f (a b); por exemplo, ns escrevemos 1 + 2 em vez de + (1 2).
tambm comum omitir alguns parnteses se isto no conduzir
ambiguidade. s vezes til dizer que P(x) vale para exatamente
um x, o que costuma ser denotado por !xP(x). Isto tambm pode
ser expresso por x (P (x) y (P (y) (x = y))). Exemplos: A
linguagem dos grupos abelianos ordenados tem uma constante 0,
uma funo unria , uma funo binria +, e uma relao binria
. Assim:
- [0, x, y so termos atmicos];
- [+ (x, y), + (x, + (y, (z))) so termos, escritos geralmente
como x + y, x + (y + (z))];
- [= (+ (x, y), 0), (+ (x, + (y, (z))), + (x, y)) so frmulas
atmicas, escritas geralmente como x + y = 0, x + y - z x + y,];
- [( x y (+ (x, y), z))
( x = (+ (x, y), 0)) uma frmula,

escrita geralmente como ( x y (x + y z))
( x (x + y = 0))].
Substituio: Se t um termo e (x) uma frmula que
contm possivelmente x como uma varivel livre, ento (t) se
deinido como o resultado da substituio de todas as instncias
livres de x por t, desde que nenhuma varivel livre de t se torne
ligada neste processo. Se alguma varivel livre de t se tornar ligada,
ento para substituir t por x primeiramente necessrio mudar os
nomes das variveis ligadas de para algo diferente das variveis
livres de t. Para ver porque esta condio necessria, considere
a frmula (x) dada por y y x (x mximal). Se t for um
termo sem y como varivel livre, ento (t) diz apenas que t
maximal. Entretanto se t y, a frmula (y) y y y que no diz
que y mximal. O problema de que a varivel livre y de t (=y) se
transformou em ligada quando ns substitumos y por x em (x).
Assim, para construir (y) ns devemos primeiramente mudar a
varivel ligada y de para qualquer outra coisa, por exemplo a
varivel z, de modo que o (y) seja ento z z y. Esquecer desta
condio uma causa notria de erros.
Igualdade: H diversas convenes diferentes para se usar
a igualdade (ou a identidade) na lgica de primeira ordem. Esta
seo resume as principais. Todas as convenes resultam mais
ou menos no mesmo com mais ou menos a mesma quantidade de
trabalho, e diferem principalmente na terminologia. A conveno
mais comum para a igualdade incluir o smbolo da igualdade
como um smbolo lgico primitivo, e adicionar os axiomas da
igualdade aos axiomas da lgica de primeira ordem. Os axiomas
de igualdade so
x = x
x = y F(, x, ) = F(, y, ) para qualquer funo F
x = y (R(, x, ) R(, y, )) para qualquer relao
R (incluindo a prpria igualdade)
A prxima conveno mais comum incluir o smbolo da
igualdade como uma das relaes de uma teoria, e adicionar os
axiomas da igualdade aos axiomas da teoria. Na prtica isto quase
idntico da conveno precedente, exceto no exemplo incomum
de teorias com nenhuma noo de igualdade. Os axiomas so os
mesmos, e a nica diferena se eles sero chamados de axiomas
lgicos ou de axiomas de teoria. Nas teorias sem funes e com
um nmero inito de relaes, possvel deinir a igualdade em
termos de relaes, deinindo os dois termos s e t como iguais se
qualquer relao continuar inalterada ao se substituir s por t em
qualquer argumento. Por exemplo, em teoria dos conjuntos com
uma relao , ns deiniramos s = t como uma abreviatura para
43
RACIOCNIO LGICO
x (s x t x) x (x s x t). Esta deinio de igualdade satisfaz automaticamente os axiomas da igualdade. Em algumas
teorias possvel dar deinies de igualdade ad hoc. Por exemplo, em uma teoria de ordens parciais com uma relao ns poderamos
deinir s = t como uma abreviatura para s t
t s.
Regras de Inferncia
A regra de inferncia modus ponens a nica necessria para a lgica proposicional de acordo com a formalizao proposta aqui.
Ela diz que se e so ambos demonstrados, ento pode-se deduzir . A regra de inferncia chamada Generalizao Universal
caracterstica da lgica de primeira ordem:
Se , ento x
onde se supe que um teorema j demonstrado da lgica de primeira ordem. Observe que a Generalizao anloga regra da
necessitao da lgica modal, que :
Se P, ento xP
Limitaes: Apesar da Lgica de Primeira Ordem ser suiciente para formalizar uma grande parte da matemtica, e tambm ser
comumente usada em Cincia da Computao e outras reas, ela tem as suas limitaes. Suas limitaes incluem limitaes em sua
expressividade e limitaes com relao aos fragmentos das lnguas naturais que pode descrever.
Expressividade: O teorema de LwenheimSkolem mostra que se uma teoria de primeira ordem tem um modelo ininito, ento a teoria
tambm tem modelos de todas as cardinalidades ininitas. Em particular, nenhuma teoria de primeira ordem com um modelo ininito pode
ser categrica. Assim, no h uma teoria de primeira ordem cujo nico modelo tem o conjunto dos nmeros naturais como domnio, ou
cujo nico modelo tem o conjunto dos nmeros reais como domnio. Vrias extenses da Lgica de Primeira-Ordem, incluindo a Lgica
de Ordem Superior e a Lgica Ininitria, so mais expressivas no sentido de que elas admitem axiomatizaes categricas dos nmeros
naturais ou reais. Essa expressividade tem um custo em relao s propriedades meta-lgicas; de acordo com o Teorema de Lindstrm,
qualquer lgica que seja mais forte que a lgica de primeira ordem falhar em validar o teorema da compaccidade ou em validar o teorema
de LwenheimSkolem.
Formalizando as Lnguas Naturais
A lgica de primeira ordem capaz de formalizar vrios quantiicadores na lingua natural, como todas as pessoas que moram em Paris,
moram na Frana. Mas existem vrias caractersticas que no podem ser expressas na lgica de primeira ordem. Qualquer sistema lgico
que apropriado para analisar lnguas naturais, precisa de uma estrutura muito mais rica que a lgica de primeira ordem (Gamut 1991).
Tipo Exemplo Comentrio
Quantificadores
sobre as
propriedades
Se Rafael for satisfeito consigo mesmo, ento ele
tem pelo menos uma coisa em comum com
Roberta
Requer quantificadores sobre os predicados, os quais no podem ser
implementados com a lgica de primeira ordem (unicamente
ordenada): Zj X(XjXp)
Quantificadores
sobre as
propriedades
Papai Noel tem todos os atributos de um sadista
Requer quantificadores sobre os predicados, os quais no podem ser
implementados com a lgica de primeira ordem (unicamente
ordenada): X(x(Sx Xx)Xs)
Predicado adverbial Luiz est andando rpido
No pode ser analisado como Wj Qj; predicados adverbiais no so a
mesma coisa que predicados de segunda ordem, como cores
Adjetivo Relativo Jumbo um elefante pequeno
No podem ser analisados como Sj Ej; predicados adjetivados no
so a mesma coisa que predicados de segunda ordem, como cores
Modificador do
predicado adverbial
Anderson est andando muito rpido -
Modificador do
adjetivo relativo
Roberta extremamente pequena
Uma expresso como extremamente , quando usado com um
adjetivo relativo pequena, resulta em um novo adjetivo relativo:
extremamente pequena
Preposies Alberto est sentado ao lado de Danilo
A preposio ao lado de quando aplicada a Luiz, resulta em um
predicado adverbial ao lado de Luiz
44
RACIOCNIO LGICO
Axiomas e Regras
Os cinco axiomas lgicos mais as duas regras de inferncia
seguintes caracterizam a lgica de primeira ordem:
Axiomas:
(A1)
(A2)
(A3)
(A4) , onde x no livre em .
(A5) , [t:= x], onde t livre para x em .
Regras de Inferncia
Modus Ponens:
Generalizao Universal:
Estes axiomas so na realidade esquemas de axiomas. Cada
letra grega pode ser uniformemente substituda, em cada um dos
axiomas acima, por uma FBF qualquer, e uma expresso do tipo
[t:= x] denota o resultado da substituio de x por t na frmula .
Clculo de Predicados
O clculo de predicado uma extenso da lgica proposicional
que deine quais sentenas da lgica de primeira ordem so
demonstrveis. um sistema formal usado para descrever as
teorias matemticas. Se o clculo proposicional for deinido por um
conjunto adequado de axiomas e a nica regra de inferncia modus
ponens (isto pode ser feito de muitas maneiras diferentes, ento
o clculo de predicados pode ser deinido adicionando-se alguns
axiomas e uma regra de inferncia generalizao universal. Mais
precisamente, como axiomas para o clculo de predicado, teremos:
- Os axiomas circunstanciais do clculo proposicional (A1,
A2 e A3);
- Os axiomas dos quantiicadores (A4 e A5);
- Os axiomas para a igualdade propostos em seo anterior, se
a igualdade for considerada como um conceito lgico.
Uma sentena ser deinida como demonstrvel na lgica de
primeira ordem se puder ser obtida comeando com os axiomas
do clculo de predicados e aplicando-se repetidamente as regras
de inferncia modus ponens e generalizao universal. Se
ns tivermos uma teoria T (um conjunto de sentenas, s vezes
chamadas axiomas) ento uma sentena se deine como
demonstrvel na teoria T se a b ... demonstrvel na
lgica de primeira ordem (relao de consequncia formal), para
algum conjunto inito de axiomas a, b, ... da teoria T. Um problema
aparente com esta deinio de demonstrabilidade que ela
parece um tanto ad hoc: ns tomamos uma coleo aparentemente
aleatria de axiomas e de regras de inferncia, e no bvio que
no tenhamos acidentalmente deixado de fora algum axioma ou
regra fundamental.
O teorema da completude de Gdel nos assegura de que este
no realmente um problema: o teorema diz que toda sentena
verdadeira em todos os modelos demonstrvel na lgica
de primeira ordem. Em particular, toda deinio razovel de
demonstrvel na lgica de primeira ordem deve ser equivalente
deinio acima (embora seja possvel que os comprimentos
das derivaes diira bastante para diferentes deinies de
demonstrabilidade).
H muitas maneiras diferentes (mas equivalentes) de deinir
provabilidade. A deinio acima um exemplo tpico do clculo
no estilo de Hilbert, que tem muitos axiomas diferentes, mas
poucas regras de inferncia. As deinies de demonstrabilidade
para a lgica de primeira ordem nos estilos de Gentzen (deduo
natural e clculo de sequentes) so baseadas em poucos ou nenhum
axiomas, mas muitas regras de inferncia.
Algumas Equivalncias
Algumas Regras de Inferncia
(se c for uma varivel, ento no deve ser
quantiicada em P(x)).
(x no deve aparecer livre em P(c)).
QUESTES
01. (CESGRANRIO - 2010 - Petrobrs) Dadas as sentenas
A e B da lgica de primeira ordem, onde A a sentena
e B a sentena , tem-
se que
(A) A consequncia da lgica de B.
(B) B consequncia da lgica de A.
(C) A consequncia da lgica de B.
(D) B consequncia da lgica de A.
(E) B consequncia da lgica de A.
02. (CESGRANRIO - 2010 - Petrobrs) Considere o conjunto
de conectivos lgicos da lgica sentencial.
Por deinio, um conjunto de operadores B completo se somente
se todos os operadores de A podem ser expressos em funo do(s)
operador(es) de B. Analise as airmativas a seguir:
I- um conjunto de operadores completo.
II- um conjunto de operadores completo.
III- um conjunto de operadores completo.
IV- um conjunto de operadores completo.
V- um conjunto de operadores completo.
Conclui-se que
(A) uma das airmativas acima verdadeira e quatro so falsas.
(B) duas das airmativas acima so verdadeiras e trs so falsas.
(C) trs das airmativas acima so verdadeiras e duas so falsas.
(D) quatro das airmativas acima so verdadeiras e uma falsa.
(E) todas as airmativas acima so verdadeiras.
03. (CESGRANRIO - 2010 - Petrobrs) Considere as
premissas:
Premissa 1: as premissas 2 e 3 so verdadeiras.
Premissa 2: das premissas 3 e 4, uma delas verdadeira e a
outra, falsa.
45
RACIOCNIO LGICO
Premissa 3: as premissas 1 e 4 so ambas verdadeiras ou
ambas falsas.
Premissa 4: as premissas 1 e 3 so ambas falsas.
Sabendo-se que cada premissa acima exclusivamente
verdadeira ou exclusivamente falsa, so verdadeiras APENAS as
premissas:
(A) 1 e 2.
(B) 1 e 3.
(C) 2 e 3.
(D) 2 e 4.
(E) 3 e 4.
04. (CESPE - TRE-MG Tcnico Judicirio) Considere as
sentenas apresentada a seguir.
G - O preo do combustvel automotivo alto.
M - Os motores dos veculos so econmicos.
I - H inlao geral de preos.
C - O preo da cesta bsica estvel.
Admitindo que os valores lgicos das proposies compostas
(M G) (C I), I ( C G), G M e C M so
verdadeiros, assinale a opo correta, considerando que, nessas
proposies, os smbolos e representam os conectivos ou e
e, respectivamente, e o smbolo denota o modiicador negao.
(A) os motores dos veculos so econmicos e no h inlao
geral de preos.
(B) o preo da cesta bsica no estvel e h inlao geral
de preos.
(C) o preo do combustvel automotivo alto e os motores dos
veculos no so econmicos.
(D) os motores dos veculos so econmicos e o preo da
cesta bsica no estvel.
(E) o preo da cesta bsica estvel e o preo do combustvel
automotivo alto.
05. (FCC - TRE-PI - Tcnico Judicirio) Todos os advogados
que trabalham numa cidade formaram- se na universidade X.
Sabe-se ainda que alguns funcionrios da prefeitura dessa cidade
so advogados. A partir dessas informaes, correto concluir
que, necessariamente,
(A) existem funcionrios da prefeitura dessa cidade formados
na universidade X.
(B) todos os funcionrios da prefeitura dessa cidade formados
na universidade X so advogados.
(C) todos os advogados formados na universidade X trabalham
nessa cidade.
(D) dentre todos os habitantes dessa cidade, somente os
advogados formaram-se na universidade X.
(E) existem funcionrios da prefeitura dessa cidade que no se
formaram na universidade X.
06. (CESPE - SECONT-ES - Auditor do Estado) Se a
proposio simbolizada por A B C for um argumento vlido,
ento a proposio A
(C) ser falsa.

07. (CESPE - TRE-MA Tcnico Judicirio) Com base nas
regras da lgica sentencial, assinale a opo que corresponde
negao da proposio Mrio contador e Norberto estatstico.
(A) Se Mrio no contador, ento Norberto no estatstico.
(B) Mrio no contador e Norberto no estatstico.
(C) Se Mrio no contador, ento Norberto estatstico.
(D) Se Mrio contador, ento Norberto no estatstico.
(E) Se Mrio contador, ento Norberto estatstico.
08. (FCC - TCE-GO - Tcnico de Controle Externo) So
dadas as airmaes:
- Toda cobra um rptil.
- Existem rpteis venenosos.
Se as duas airmaes so verdadeiras, ento, com certeza,
tambm verdade que
(A) Se existe uma cobra venenosa, ento ela um rptil.
(B) toda cobra venenosa.
(C) algum rptil venenoso uma cobra.
(D) qualquer rptil uma cobra.
(E) Se existe um rptil venenoso, ento ele uma cobra.
09. (FCC - TCE-GO - Tcnico de Controle Externo) No
prximo domingo, Dona Marieta completar 100 anos de idade
e sua bisneta Julieta resolveu presente-la construindo a rvore
genealgica de seus descendentes. Para tal, Julieta usou as
seguintes informaes:
- Dona Marieta teve 10 ilhos, trs dos quais no lhe deram
netos e cada um dos demais lhe deu 3 netos;
- Apenas quatro dos netos de Dona Marieta no tiveram ilhos,
enquanto que cada um dos demais lhe deu 5 bisnetos;
- Dos bisnetos de Dona Marieta, apenas nove no tiveram
ilhos e cada um dos outros teve 2 ilhos;
- Os tataranetos de Dona Marieta ainda no tm ilhos.
Nessas condies, correto airmar que o total de descendentes
de Dona Marieta :
(A) 277
(B) 272
(C) 268
(D) 264
(E) 226
Respostas
01. Resposta A.
Sentenas:
(A)
(B)
Para saber qual sentena manipular, preciso lembrar algumas
regras:
(1)
xp(x) = xp(x)
(2) xp(x) = xp(x)
Para a sentena A ser transformada, seria necessrio
introduzir uma negao dupla (). Observando a regra (1), percebe-
se que a sentena B pode ser transformada sem a necessidade
de utilizao de uma negao dupla. Com isso, selecionamos a
sentena B para efetuar a manipulao. Manipulando a sentena B:
xp(x) xq(x)
xp(x) xq(x)
x(p(x) q(x))
x(p(x) q(x))
Obs.:
(p(x) q(x) = p(x) q(x))
x (p(x) q(x))
46
RACIOCNIO LGICO
Logo, a sentena A consequncia da lgica de B.
importante mencionar que no foram introduzidos elementos
adicionais (negao dupla, por exemplo) na sentena original para
se chegar ao resultado. Com isso, podemos airmar que a sentena
A consequncia da lgica (manipulao direta) de B.
So equivalncias lgicas, ou seja, elas so bidirecionais.
Dessa forma, pode-se concluir que a alternativa correta a A,
(B A).
02. Resposta C.
Dizemos que um conjunto de operadores completo se com
eles pode exprimir as operaes conjuno, disjuno e negao,
que so:
, e nand (no ).
I - Verdadeiro;
II - Verdadeiro;
III - Falso;
IV - Verdadeiro;
V - Falso.
Na lgica, um grupo de conectivos tem a propriedade da
completude funcional se todos outros conectivos possveis podem
ser deinidos em funo dele. Os conjuntos {nand}, {nor}, {

, },
{

, } e {, } possuem a propriedade da completude funcional.
Demonstrao da completude funcional em um conjunto:
Utilizando apenas a negao e a implicao () podemos
gerar todas as outras operaes.
Disjuno:
Conjuno:
Bi-implicao:
03. Resposta D.
Premissa 1: as premissas 2 e 3 so verdadeiras. FALSO
(apenas a premissa 2 verdadeira a 3 falsa);
Premissa 2: das premissas 3 e 4, uma delas verdadeira
e a outra falsa. VERDADEIRA (a premissa 3 falsa e a 4
verdadeira);
Premissa 3: as premissas 3 e 4 so ambas verdadeiras ou
ambas falsas. FALSO (premissa 3 falsa e a 4 verdadeira);
Premissa 4: as premissas 1 e 3 so ambas falsas.
VERDADEIRA.
Normalmente ler as premissas em ordem inversa facilita a
resposta.
Premissa 4: airma que 1 e 3 so falsas, portanto 2 dever ser
verdadeira.
Premissa 3: contraditria com a P4 - Falsa.
Premissa 2: at aqui a 4 verdadeira e a 3 falsa Verdadeira.
Premissa 1: contraditria com a P4 Falsa.
04. Resposta A.
- Atribui-se verdadeiro para todas as sentenas simples, ou
seja, G, M, I, C - so a princpio (V).
- Comece pela primeira sentena composta: M ~G ento
C G - Por essa sentena conclui-se que atribuindo sentena
I como verdadeira essa sentena composta seria falsa e como a
questo airma que todas as compostas so verdadeiras, ento I
= Falsa e ~I = V, da a sentena seria verdadeira, ou seja: No h
inlao geral de preos.
- Na segunda sentena composta: I ento ~C G -
considerando I (falsa) o resultado era verdadeiro para a sentena
independente de ser Falso ou Verdadeiro a 2 parte - por isso no
tinha ainda argumento vlido.
- Na terceira sentena: G ento M - se considerar M verdadeira
ento G pode ser falso ou Verdadeiro.
- Na quarta sentena: ~C
M - se considerar M verdadeira
ento ~C pode ser falso ou verdadeiro (mas como na primeira
sentena j considera C como verdadeira), ou seja: Os motores dos
veculos so econmicos.
O enunciado da questo diz:
1) Se (M
~G) ento (C ~ I) que equivale a: Se (Se G

ento M ) ento ~(Se C ento I);
2) Se I ento (~C G) que;
3) Se G ento M;
4) ~C
M que.
Precisa-se somente das proposies 1 e 3. Inicia-se pela
proposio 3. Supunha que o G era verdadeiro, desta forma o M
s poderia ser verdadeiro. Caso contrrio a proposio se tornaria
falsa.
Ento para a proposio 1: Como a primeira parte verdadeira
a segunda s poderia ser verdadeira, ou seja ~(se C ento I)
tambm tinha que ser verdadeira. Como tem o ~ na frente, Se
C ento I tem que ser falsa. E para ser falsa I deve ser falso e C
deve ser verdadeira. Desta forma descobre-se o valor real de cada
proposio.
05. Resposta A.
Quando temos a expresso Todo e Todo, a resposta tem
que obrigatoriamente ter a expresso Todo e no pode aparecer
a expresso comum. Ex.: Todo indivduo que fuma tem bronquite.
Todo indivduo que tem bronquite costuma faltar ao trabalho.
Expresso comum: bronquite. Logo: Todo indivduo que fuma
costuma faltar ao trabalho.
Quando temos as expresses Todo e Algum, na resposta
prevalece o Algum e no pode aparecer a expresso comum.
Na questo acima, descartamos a B e a C, pois comeam
com Todo. Depois descartamos D pois aparece a expresso
comum advogados. Depois descartamos a E pois aparece uma
negao no se formaram na universidade x. Resumo:
Todo e Todo = Todo
Todo e Nenhum = Nenhum
Algum e Todo = Algum
Algum e Nenhum = Algum No
Se todos os advogados so formados na universidade X e
se existem funcionrios da prefeitura que so advogados, logo,
certamente existem funcionrios da prefeitura dessa cidade
formados na universidade X. Com relao a letra E, temos que
no necessariamente os outro funcionrios que no so advogados
no se formaram na universidade X, pois nada garante que eles
tenham se formado nesta universidade ou no, como deixa dvida,
esta no pode ser necessariamente correta.
47
RACIOCNIO LGICO
06. Resposta Certo.
Um argumento vlido considere todas as premissas
verdadeiras, e a concluso ter que ser verdadeira.
V
V
A B C (Argumento vlido)
A B (~C)
V V (~V)
V F = F (Falsa)
Nota-se que na proposio composta que a alternativa diz
ser falsa s foi usado o conectivo E (), isto torna a questo
fcil, ou seja, tanto o A, o B e a negao de C tm que ter valores
verdadeiros para a proposio ser verdadeira (regra do conectivo
E). Se a negao de C tem que ser verdade, logo, o C falso. Se o
C falso, A B no pode ser verdadeiro, pois V ento F, que o
argumento vlido trazido pela questo, falso. Se a questo diz que
o argumento vlido, ele realmente vlido, temos que acreditar
nisso, logo, o valor de A B tem que ser falso obrigatoriamente,
seno o argumento no vlido. Se A B tem que ser falso,
signiica que ou o A ou o B tem que ser falso (regra do E, um falso
tudo falso). Sendo ou o A ou o B falso, torna a proposio A B
~C falsa.
07. Resposta D.
A negativa de uma conjuno pode ser:
- uma condicional - airma a 1 parte e nega a 2 parte = P
ento no Q.
- uma disjuno - No P ou No Q.
Mrio contador e Norberto estatstico.
P e Q = P e no Q, portanto:
Se Mrio contador, ento Norberto no estatstico.
Considerando:
P: Mrio contador.
Q: Norberto estatstico.
A negao de P Q ~P ou ~Q.
A partir da basta transformar ~P ou ~Q em sua proposio
equivalente: P se ento ~Q.
08. Resposta A.
(A) Verdade, toda cobra um rptil.
Se as duas airmaes so verdadeiras, ento, com certeza,
tambm verdade que
- Se existe uma cobra venenosa (P), ento ela um rptil (Q).
(P Q = V). Obs: segundo as airmaes dadas no se pode
determinar se P V ou F, no entanto isto no altera a correo da
assertiva.
(B) Falsa = nem toda cobra venenosa.
(C) Falsa = nem todo rptil venenoso cobra (h lagartos
venenosos, rpteis e no so cobras).
No contexto geral, esta airmao poderia ser considerada
verdadeira, mas segundo as airmaes dadas pela questo ela
falsa, pois no mencionada qualquer ligao entre o grupo das
cobras e dos rpteis venenosos; A cobra um rptil; Alguns rpteis
so venenosos; mas embasando-se somente nestas duas airmaes
no h como se garantir que Algum rptil venenoso uma cobra.
(D) Falsa = nem todo rptil uma cobra (Jacar rptil).
(E) Falsa = nem todo rptil venenoso cobra (h lagartos
venenosos, so rpteis e no so cobras).
Um grande conjunto o dos rpteis, obrigatoriamente o
conjunto das cobras, que menor, estar totalmente dentro do
conjunto dos rpteis. J o conjunto dos Venenosos existem 3
possibilidades:
1 - o conjunto dos venenosos estar totalmente dentro do
conjunto dos rpteis, mas no se mistura com o conjunto das
cobras, ou seja, so dois conjuntos dentro do grande conjunto que
o dos rpteis;
2 - o conjunto dos venenosos estar parcialmente dentro do
conjunto dos rpteis, mas no se mistura com o conjunto das
cobras, ou seja, um conjunto (cobras) dentro do conjunto dos
rpteis e outro (venenosos) parcialmente dentro e fora (como na
igura).
conjunto dos rpteis, e parcialmente, tambm, dentro do conjunto
das cobras.
conjunto dos rpteis e totalmente dentro do conjunto das cobras.
Logo, a nica coisa que conseguimos garantir dentre as
alternativas que todas as cobras so rpteis, elas podem ser ou
no venenosas e os venenosos podem ou no ser rpteis e podem
ou no ser cobras.
09. Resposta C.
Dona Marieta teve 10 ilhos = 7 frteis e 3 infrteis.
Sete frteis tiveram 21 ilhos = 17 frteis e 4 infrteis.
Dezessete frteis tiveram 85 ilhos = 76 frteis e 9 infrteis.
Setenta e seis frteis tiveram 152 ilhos = 152 frteis.
Descendentes = frteis + infrteis = 252 + 16 = 268
descendentes.
Seguindo os passos:
- Dona Marieta teve 10 ilhos, trs dos quais no lhe deram
netos e cada um dos demais lhe deu 3 netos; dos 10 ilhos de Dona
Marieta 3 no lhe deram netos, enquanto que 7 lhe deram 3 netos
cada, ento fazemos o seguinte clculo: 7. 3 = 21 netos.
- Apenas quatro dos netos de Dona Marieta no tiveram
ilhos, enquanto que cada um dos demais lhe deram 5 bisnetos;
Sabemos que Dona Marieta teve 21 netos, mas, desses 21, quatro
no tiveram ilhos, enquanto que os outros 17 lhe deram 5 bisnetos
cada: 17. 5 = 85 bisnetos.
- Dos bisnetos de Dona Marieta, apenas nove no tiveram
ilhos e cada um dos outros tiveram 2 ilhos; Dona Marieta teve 85
bisnetos, e desses 85 nove no tiveram ilhos, o que implica que 76
tiveram 2 ilhos cada: 76 . 2 = 152 tataranetos.
- Os tataranetos de Dona Marieta ainda no tm ilhos. Como
os tataranetos no tiveram ilhos, ento somamos os ilhos, netos,
bisnetos e tataranetos: 10 + 21 + 85 + 152 = 268.
48
RACIOCNIO LGICO
5 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-
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:
- 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?
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:
Generalizaes: Um acontecimento formado por k estgios
sucessivos e independentes, com n
1
, n
2
, n
3
, , n
k
possibilidades para
cada. O total de maneiras distintas de ocorrer este acontecimento
n
1
, n
2
, n
3
, , n
k
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.
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.
Quando os elementos de um determinado conjunto A
forem pontos, A = {A
1
, A
2
, A
3
, A
4
, A
5
, A
9
}, e com estes
pontos pretendemos obter retas, neste caso os agrupamentos
so iguais, pois indicam a mesma reta.
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.
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.
Pode ocorrer: O conjunto A formado por algarismos e o
problema contar os nmeros por eles determinados.
49
RACIOCNIO LGICO
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 deinida por:
Por exemplo, 5! = 1 . 2 . 3 . 4 . 5 = 120
Note que esta deinio 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.
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
coeiciente binomial.
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.
Clculos do nmero de arranjos simples:
Na formao de todos os arranjos simples dos n elementos de
A, tomados k a k:
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.
No Princpio Fundamental da Contagem (A
n, k
), o nmero total
de arranjos simples dos n elementos de A (tomados k a k), temos:
A
n,k
= n (n - 1) . (n - 2) . ... . (n k + 1)

( o produto de k fatores)
Multiplicando e dividindo por (n k)!
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 deinio, as permutaes tm os mesmos elementos. So os n
elementos de A. As duas permutaes diferem entre si somente
pela ordem de seus elementos.
Clculo do nmero de permutao simples:
O nmero total de permutaes simples de n elementos
indicado por Pn, e fazendo k = n na frmula A
n,k
= n (n 1) (n 2)
. . (n k + 1), temos:
P
n
= A
n,n
= n (n 1) (n 2) . . (n n + 1) = (n 1) (n 2)
. .1 = n!
Portanto: P
n
= n!
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.
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:
Exemplo: abc, obteremos P
3
= 6 arranjos disdintos.
abc abd acd bcd
acb
bac
bca
cab
cba
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
(4 combinaes) x (6 permutaes) = 24 arranjos
Logo: C
4,3
. P
3
= A
4,3
50
RACIOCNIO LGICO
Clculo do nmero de combinaes simples: O nmero total
de combinaes simples dos n elementos de A representados por C
n,k
, tomados k a k, analogicamente ao exemplo apresentado, temos:
a) Trocando os k elementos de uma combinao k a k, obtemos
P
k
arranjos distintos.
b) Trocando os k elementos das C
n,k
. P
k
arranjos distintos.
Portanto: C
n,k
. P
k
= A
n,k
ou
n,k
n,k
k
A
C =
P
Lembrando que:

Tambm pode ser escrito assim:
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
= n
k
Permutaes com elementos repetidos
Considerando:
elementos iguais a a,
elementos iguais a b,
elementos iguais a c, ,
elementos iguais a l,
Totalizando em + + + = n elementos.
Simbolicamente representado por P
n
, , , , o nmero
de permutaes distintas que possvel formarmos com os n
elementos:
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
QUESTES
01. Quantos nmeros de trs algarismos distintos podem ser
formados com os algarismos 1, 2, 3, 4, 5, 7 e 8?
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
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
04. (UFTM) Joo pediu que Cludia izesse 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
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.
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
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.
51
RACIOCNIO LGICO
De quantas maneiras distintas a equipe pode montar uma
prova com 8 questes, sendo 3 de parbolas, 2 de circunferncias
e 3 de retas?
(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. Sabendo-
se 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
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
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.
Resolues
01.
02. O nmero total de jogos a serem realizados A
14,2
= 14 .
13 = 182.
03.
Algarismos
Letras
As trs letras podero ser escolhidasde 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.
04.
I) O nmero de cartes feitos por Cludia foi
II) O nmero de cartes esperados por Joo era
Assim, a diferena obtida foi 2.520 840 = 1.680
05. Se as permutaes das letras da palavra PROVA forem
listadas em ordem alfabtica, ento teremos:
P
4
= 24 que comeam por A
P
4
= 24 que comeam por O
P
4
= 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

07. C
5,3
. C
4,2
. C
4,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
IV) O nmero de possibilidades para se escolher 2 entre 3
restantes
V) Assim, o nmero total de grupos que podem ser formados
2 . 3 = 6
09.
10.
a) 9 . A*
10,3
= 9 . 10
3
= 9 . 10 . 10 . 10 = 9000
b) 8 . A*
9,3
= 8 . 9
3
= 8 . 9 . 9 . 9 = 5832
c) (a) (b): 9000 5832 = 3168
d) 9 . A
9,3
= 9 . 9 . 8 . 7 = 4536
e) (a) (d): 9000 4536 = 4464
52
RACIOCNIO LGICO
Probabilidade
Ponto Amostral, Espao Amostral e Evento
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).
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:
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(A
1
) = 3.
- a probabilidade do evento nmero par 1/2, pois
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).
Demonstrao das Propriedades
Considerando S como um espao inito e no vazio, temos:
Unio de Eventos
Considere A e B como dois eventos de um espao amostral S,
inito e no vazio, temos:
A
B
S
Logo: P(A B) = P(A) + P(B) - P(A B)
Eventos Mutuamente Exclusivos
A
B
S
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 A
1
, A
2
, A
3
, , A
n
de S
forem, de dois em dois, sempre mutuamente exclusivos, nesse
caso temos, analogicamente:
P(A
1
A
2
A
3
A
n
) = P(A
1
) + P(A
2
) + P(A
3
) + ... +
P(A
n
)
Eventos Exaustivos
Quando os eventos A
1
, A
2
, A
3
, , A
n
de S forem, de dois em
dois, mutuamente exclusivos, estes sero denominados exaustivos
se A
1
A
2
A
3
A
n
= S
Ento, logo:
53
RACIOCNIO LGICO
Portanto: P(A
1
) + P(A
2
) + P(A
3
) + ... + P(A
n
) = 1
Probabilidade Condicionada
Considere dois eventos A e B de um espao amostral S, inito
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).
Veja:
Eventos Independentes
Considere dois eventos A e B de um espao amostral S, inito
e no vazio. Estes sero independentes somente quando:
P(A/N) = P(A) P(B/A) = P(B)
Interseco de Eventos
Considerando A e B como dois eventos de um espao amostral
S, inito e no vazio, logo:
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 deinio ou calcular a probabilidade de A B. Veja a
representao:
A e B independentes P(A/B) = P(A) ou
A e B independentes P(A B) = P(A) . P(B)
Lei Binominal de Probabilidade
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.
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, :
- 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 C
n,k
.
- Sendo assim, h C
n,k
eventos distintos, mas que possuem
a mesma probabilidade p
k
. (1 p)
n-k
, e portanto a probabilidade
desejada : C
n,k
. p
k
. (1 p)
n-k
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)
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 ilhos. A distribuio das
mulheres, de acordo com a quantidade de ilhos, mostrada no
grico abaixo. Um prmio foi sorteado entre todos os ilhos dessas
ex-alunas. A probabilidade de que a criana premiada tenha sido
um(a) ilho(a) nico(a)

(A) (B) (C) (D) (E)
03. Retirando uma carta de um baralho comum de 52 cartas,
qual a probabilidade de se obter um rei ou uma dama?
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?
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%
54
RACIOCNIO LGICO
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%
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
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 :
(A) (B) (C) (D) (E)
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 suicientes para fazer
o suco dessa fruta :
(A) 1 (B) (C) (D) (E)
Respostas
01.
02.
A partir da distribuio apresentada no grico:
08 mulheres sem ilhos.
07 mulheres com 1 ilho.
06 mulheres com 2 ilhos.
02 mulheres com 3 ilhos.
Comoas 23 mulheres tm um total de 25 ilhos, a probabilidade
de que a criana premiada tenha sido um(a) ilho(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 :
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
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
a
1
= 10
a
n
= 500
r = 10
Temos a
n
= a
1
+ (n 1) . r 500 = 10 + (n 1) . 10 n = 50
Dessa forma, p(B) = 50/500.
A B: o nmero tem 3 algarismos e mltiplo de 10;
A B = {100, 110, ..., 500}.
De a
n
= a
1
+ (n 1) . r, temos: 500 = 100 + (n 1) . 10 n =
41 e p(A B) = 41/500
Por im, p(A.B) =
06.
Sejam A
1
, A
2
, A
3
, A
4
as bolas amarelas, B
1
, B
2
as brancas e V
1
,
V
2
, V
3
as vermelhas.
Temos S = {A
1
, A
2
, A
3
, A
4
, V
1
, V
2
, V
3
B
1
, B
2
} n(S) = 9
A: retirada de bola amarela = {A
1
, A
2
, A
3
, A
4
}, n(A) = 4
B: retirada de bola branca = {B
1
, B
2
}, n(B) = 2
Como A B = , A e B so eventos mutuamente exclusivos;
Logo: P(A B) = P(A) + P(B) =
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%
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.

Vol - I - 4 - Raciocinio - LogICO COMPLETO PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Vol - I - 4 - Raciocinio - LogICO COMPLETO PDF

Uploaded by

Copyright:

Available Formats

RACIOCNIO LGICO

B, chamada conjuno, deve ser lida como

P). Exemplo: No (a terra redonda e

D para ter valor lgico (V),

Outro argumento dedutivo vlido a negao do

Existe tambm um tipo de argumento vlido conhecido pelo

Argumentos Dedutivos No Vlidos

Este argumento uma falcia, podemos ter as premissas

Este argumento uma falcia, pois podemos ter as premissas

representa a no ocorrncia de VF e de FV na tabela-verdade p q, ou ainda que o valor lgico de p q sempre

, respetivamente, os smbolos das operaes lgicas negao,

~(q r) (De Morgan)

{3,4,5}, mas 4 {1,2,3,12}) e

, e uma riqueza de notaes

, e assim por diante na frente de seus argumentos. A

( x = (+ (x, y), 0)) uma frmula,

(C) ser falsa.

~G) ento (C ~ I) que equivale a: Se (Se G

You might also like