Escolar Documentos
Profissional Documentos
Cultura Documentos
RaciocinioLogicoQuantitativo PDF
RaciocinioLogicoQuantitativo PDF
RaciocinioLogicoQuantitativo PDF
AULA 1 .................................................................................................................................. 7
AULA 2 ................................................................................................................................ 22
AULA 3 ................................................................................................................................ 25
AULA 4 ................................................................................................................................ 31
AULA 5 ................................................................................................................................ 36
8. EXERCCIOS GERAIS ....................................................................................................... 36
AULA 6 ................................................................................................................................ 40
AULA 7 ................................................................................................................................ 51
AULA 8 ................................................................................................................................ 54
12. RACIOCNIO LGICO TEORIA DA ARGUMENTAO: ................................................... 54
AULA 9 ................................................................................................................................ 68
AULA 10............................................................................................................................... 78
AULA 11............................................................................................................................... 87
AULA 12............................................................................................................................... 96
AULA 1
Lgica Matemtica
Imagine que voc foi convocado a participar de um jri em um processo criminal e o
advogado de defesa apresenta os seguintes argumentos:
Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no estava na gaveta ou
Jos da Silva viu a faca. Se a faca no estava l no dia 10 de outubro, segue que Jos da Silva no
viu a faca. Alm disso, se a faca estava l no dia 10 de outubro, ento a faca estava na gaveta e o
martelo estava no celeiro. Mas todos sabemos que o martelo no estava no celeiro. Portanto,
senhoras e senhores do jri, meu cliente inocente.
Pergunta: O argumento do advogado esta correto? Como voc deveria votar o destino do
ru?
E mais fcil responder a essa pergunta reescrevendo o argumento com a notao de logica
formal, que retira todo o palavrrio que causa confuso e permite que nos concentremos na
argumentao subjacente.
A logica formal fornece as bases para o mtodo de pensar organizado e cuidadoso que
caracteriza qualquer atividade racional.
"Lgica: Coerncia de raciocnio, de ideias. Modo de raciocinar peculiar a algum, ou a
um grupo. Sequencia coerente, regular e necessria de acontecimentos, de coisas." (dicionrio
Aurlio), portanto podemos dizer que a Logica e a cincia do raciocnio.
A Lgica Matemtica constitui um sistema cientfico regido por trs leis principais,
consideradas princpios fundamentais:
Princpio da no-contradio: uma proposio no pode ser verdadeira e falsa ao
mesmo tempo.
Princpio do terceiro excludo: toda preposio ou verdadeira ou falsa, isto ,
verifica-se sempre um destes casos e nunca um terceiro.
8
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
Uma proposio composta, ou uma frmula proposicional ou uma molcula ou ainda uma
proposio molecular uma sentena declarativa, afirmativa, de sentido completo constituda de
pelo menos um nome ou pelo menos um predicado ou ainda negativa, isto , so todas as sentenas
que possuem como parte integrante de si prpria pelo menos uma outra proposio.
As proposies compostas sero designadas pelas letras latinas maisculas tais como:
P, Q, R, S, U, V, W, P1, P2. . . Pn...
Considere as proposies simples:
p: A filosofia arte
q: A dialtica cincia.
10
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
Para se indicar que a dada sentena designada pela letra proposicional P, sendo constituda
de p e q componentes adota-se a notao P (p, q): A filosofia arte embora a dialtica a cincia.
Observe que uma frmula proposicional pode ser constituda de outras frmulas
proposicionais. Alm do mais uma letra proposicional pode designar uma nica proposio, quer
seja simples ou composta, contudo uma dada proposio pode ser qualificada por quaisquer das
letras proposicionais num dado universo.
Sejam as proposies:
p: A lgica condiciona a Matemtica
q: A dialtica fundamenta o pensamento ambguo.
11
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
Dada uma proposio simples qualquer, designar, por exemplo, pela letra proposicional p,
tem-se pelos princpios fundamentais que tal proposio ser a verdade (V) ou a falsidade (F) no se
admitindo outra hiptese, e, nem to pouco a ocorrncia dos dois estados simultaneamente,
portanto, para denotar tais situaes, adotar-se- a simbolizao:
Considere uma proposio composta P, constituda das proposies simples p, q, r,...., p1,....,
pn componentes. Para indicar o valor lgico ou valor verdadeiro desta frmula proposicional adotar-
se- as notaes:
Vejam os exemplos:
13
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
e. W (p, q) : p q
f. P1 (p ) : ~ p
Observe portanto, que uma frmula proposicional ou uma proposio simples toda a
sentena declarativa constituda de pelo menos um conectivo lgico. Salienta-se, ainda que os
conectivos lgicos estabelecem seis classes de frmulas proposicionais, podendo dar origem a
frmulas proposicionais constitudas de diversos conectivos, repetidos ou no.
14
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
Logo:
Dada a frmula P (p, q): p q ~ p q ~ p v q, pareando-se vem que:
P (p, q): (p q) ((~ p q) (~ p v q))
4.1.1 DEFINIO
15
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
oportuno salientar-se ainda que muito embora as observaes feitas at aqui se baseiam
em proposies compostas, compostas de outras proposies compostas.
4.1.2 CONECTIVOS:
So palavras que se usam para formar novas preposies a partir de outros conectivos usuais
em lgica matemtica.
No caso de uma proposio composta cujas preposies simples so p e q, as possveis
atribuies de valores lgicos a p e a q so:
p q
1 V V
2 V F
3 F V
4 F F
Notao:
O valor lgico de uma proposio simples p indica-se por V(p). Exprime-se que p
verdadeiro escrevendo se V (p) = V e analogamente exprime-se que p falsa escrevendo-se
V(p)=F.
4.2.1 NEGAO
Simbolicamente: ~ p = no p
Tabela verdade:
p ~p
V F
V F
F V
F V
16
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
4.2.2 CONJUNO
p q pq
V V V
V F F
F V F
F F F
4.2.3 DISJUNO
p q pq
V V V
V F V
F V V
F F F
17
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
Tabela verdade:
p q pq
V V F
V F V
F V V
F F F
4.2.5 CONDICIONAL
Chama-se condicional de duas proposies p e q a proposio cujo valor lgico falso (F)
se a proposio p verdadeira e q falsa, e verdadeira nos demais casos.
Simbolicamente: p q = se p ento q
Tabela verdade:
p q pq
V V V
V F F
F V V
F F V
4.2.6 BICONDICIONAL
Chama-se proposio bicondicional uma proposio cujo valor lgico verdadeiro (V)
quando p e q so ambas verdadeiras ou ambas falsas e falsa (F) nos demais casos.
Simbolicamente: p q = p se e somente se q
Tabela verdade:
p q pq
V V V
V F F
F V F
F F V
18
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 1 - Exerccios
e) x 4 0
2
f) 3 e raiz de x 4 x 3 0
2
19
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
6) Sejam as proposies:
p : Sueli rica
q : Sueli feliz
Traduzir para linguagem simblica (lgica) as seguintes frases:
a) Sueli pobre, mas feliz.
b) Sueli rica o infeliz.
c) Sueli pobre e infeliz.
d) Sueli pobre ou rica, mas feliz.
20
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
8) Sejam as proposies p: Carlos fala francs, q: Carlos fala ingls e r: Carlos fala
alemo. Traduzir para a linguagem simblica as seguintes proposies:
a) Carlos fala francs ou ingls, mas no fala alemo.
b) Carlos fala francs e ingls, ou no fala francs e alemo.
c) falso que Carlos fala francs mas que no fala alemo.
d) falso que Carlos fala ingls ou alemo mas que no fala francs.
10) Sabendo-se que V(p) = V(q) = T (true) e V(r) = V(s) = F (false), determine os
valores lgicos das seguintes proposies:
a) (p (q r)) (p (r q))
b) (q r) (~q r)
c) (~p ~ (r s))
d) ~(q ( ~p s))
e) (p q) (q ~p)
f) ~(~q (p ~s))
g) ~q ((~r s) (p ~q))
h) ~(~p (q s)) (r ~s)
i) ~(p (q r)) s
21
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 2
5. PROCEDIMENTOS DE DECISO
b) p q ~ p ~ p q ~ p q
p q p q ~ p ~ p q ~ p q
V V V F V F F V F F V F V F F V V V
V F V F F F F V V F V F F F F V F F
F V F V V V V F F V F V V V V F F V
F F F V F F V F V V F V F F V F V F
1 7 1 3 2 1 8 2 1 5 1 4 2 1 6 1
(1+3) (1+2) (7+6) (2+4) (5+1)
22
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
5.1.1 TAUTOLOGIA
Diz-se que uma frmula proposicional uma tautologia ou uma proposio tautolgica ou
ainda, uma proposio logicamente verdadeira, se, e somente se, na coluna resultado da
respectiva tabela verdade, independentemente dos valores lgicos das componentes da frmula em
anlise, tem-se to somente valores lgicos correspondentes verdade.
Uma tautologia ser denotada pelos smbolos t ou T ( p, q, r, ...., p1,....,pn)
Por exemplo, a frmula proposicional P (p, q): (p q) v (p q) uma tautologia, pois:
p q (p q) (p q)
V V V F V V V V V
V F V V F V V F F
F V F V V V F F V
F F F F F V F V F
5.1.2 CONTRADIO
Diz-se que uma frmula proposicional uma contradio ou uma proposio contravlida
ou ainda proposio logicamente falsa, se, e somente se, na coluna resultado da respectiva tabela-
verdade figuram, independentemente dos valores particulares de suas componentes, to somente
valores lgicos correspondentes falsidade.
Em termos de notao adotam-se os smbolos c ou C ( p, q, r, ..., p1, ..., pn)
Por exemplo, a formula proposicional P (p, q): (p q) p ~ q uma contradio, pois:
p q (p q) p ~ q
V V V V V V V F F V
V F V F F F V F V F
F V F V V F F F F V
F F F V F F F F V F
23
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
5.1.3 CONTINGNCIA
Diz-se que uma frmula proposicional uma contingncia, ou uma proposio contingente
se, e somente se, na coluna resultado da respectiva tabela verdade tem-se pelo menos uma verdade e
pelo menos uma falsidade, isto , tal frmula no uma tautologia e no contravlida.
Por exemplo, a formula proposicional P (p, q) : (p q) (p q) uma contingncia, pois:
p q (p q) (p q)
V V V V V V V V V
V F V F F F V F F
F V F F V V F V V
F F F F F V F V F
AULA 2 - Exerccios
1) Construa a tabela verdade para cada uma das seguintes proposies:
a) ~p q
b) (p q) (p v q)
c) ~ (p q) ~ (q p)
d) (p q) ~ (p ~ q)
e) [p ( ~ q r)] ~ [ q (p ~ r)]
f) p ~r q ~r
g) ~(p q) ~ (q p)
h) (p q r) (~ p q ~r)
24
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 3
6.2 DEFINIO
25
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
Diz-se que duas frmulas proposicionais quaisquer P(p, q,....) e Q (p, q,...) so de
implicao, nesta ordem, se, e somente se, a condicional entre as mesmas gerar, por equivalncia
lgica uma tautologia, ou seja:
i. P(p, q,...) Q (p, q,...) se, e somente se, V[P(p, q,...) Q (p, q,....)] = V para quaisquer
dos 2n arranjos de valores lgicos das n-proposies p, q,.... componentes.
ii. P(p, q,...) Q(p, q,...) se, e somente se, P (p, q,...) Q (p, q,...) T (p, q,...)
p q pq pq
V V V V
V F F V
F V F V
F F F F
26
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
p q pq pq
V V V V
V F F F
F V F F
F F F V
p q pq pq
V V V V
V F F F
F V F V
F F F V
p q pq pq qp
V V V V V
V F F F V
F V F V F
F F V V V
27
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
REGRAS DE INFERNCIA
Adio: ppq
Simplificao: p q p
pqq
Proposio recproca de p q : q p
proposio inversa de p q : ~ p ~ q
proposio contrapositiva de p q : ~ q ~ p
6.7.1 PROPRIEDADES:
28
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
p q ~p ~q pq qp ~p~q ~q~p
V V F F V V V V
V F F V F V V F
F V V F V F F V
F F V V V V V V
Exemplos:
Determinar a contrapositiva da recproca de x = 0 x < 1
AULA 3 - Exerccios
1) Mostrar:
a) q p q
b) q p q p
29
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
30
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 4
O smbolo representa uma operao entre proposies, resultando uma nova proposio.
Exemplo:
Operando a proposio p com a proposio q atravs do conectivo resultar na
proposio p q.
O smbolo indica apenas uma relao entre duas proposies dadas.
Exemplo:
Dadas as proposies p e ~~ p, a relao de equivalncia lgica entre elas denotada por
p~~p
Dadas as frmulas proposicionais P (p, q, r, ..., p1,... , pn) diz-se que todas as frmulas so
logicamente equivalentes se, e somente se, V [P (p, q, r,....)] = V [Q (p, q, r,...)] para quaisquer dos
valores verdade das m-proposies simples componentes.
Ou seja:
P (p, q, r,....) Q (p, q, r,...) se, e somente se, V [P(p, q, r, ...)] = V [Q (p, q, r,....)] para os
2n arranjos possveis de valores verdade das p, q, r,.... proposies componentes.
Por exemplo: p q ~ p v q, pois:
p q ~ p q
V V V F V V V
V F F F V F F
F V V V F V V
F V F V F V F
Ou seja: p q ~ p v q
31
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
Exemplo:
Verificar pela definio e pelo teorema se as frmulas proposicionais a seguir so
equivalentes entre si.
P (p, q): p q.
Q (p, q): (p q) (q p).
Pela definio:
p q (p q) (q p) se, e somente se V [p q] = V [(p q) (q p)].
p q (p q) (q p)
V V V V V V V V V V
V F F V F F F F V V
F F V F V V F V F F
F V F F V F V F V F
Pelo teorema:
(p q) [( p q) (q p)]
V V V V V V V V V V V
V F F V V F F F F V V
F F V V F V V F V F F
F V F V F V F V F V F
32
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
Tendo em vista as caractersticas das relaes de equivalncia lgica, tem-se que as mesmas
se verificam as seguintes propriedades:
Reflexiva: P (p, q, r,...) P (p, q, r,...) p, q.
Simtrica: Se P (p, q, r,...) Q (p, q, r,...) ento Q (p, q, r,...) P (p, q, r,...).
Transitiva: Se P (p, q, r,...) Q (p, q, r,...) e Q (p, q, r,...) R (p, q, r,...) ento P (p, q, r,...)
R (p, q, r,...).
p~pt
p~pc
p q (p q) (q p)
pq~pq
p q ~ (p q)
pq~q~p
p p p ou p p p
tpt
tpp
cpp
cpc
Notao: p q
Tabela verdade:
p q pq
V V F
V F F
F V F
F F V
p q pq
V V F
V F V
F V V
F F V
AULA 04 - Exerccios
34
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
35
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 5
8. EXERCCIOS GERAIS
2) Maria tem trs carros; um Gol, um Corsa e um Fiesta. Um dos carros branco, o outro preto
e o outro azul. Sabe-se que:
ou o Gol branco, ou o Fiesta branco,
ou o Gol preto, ou o Corsa azul
ou o Fiesta azul, ou o Corsa azul,
ou o Corsa preto, ou o Fiesta preto
Portanto, as cores do Gol, do Corsa e do Fiesta so, respectivamente:
3) Dizer que "Pedro no pedreiro ou Paulo paulista" , do ponto de vista lgico, o mesmo que
dizer que:
a) se Pedro pedreiro, ento Paulo paulista.
b) se Paulo paulista, ento Pedro pedreiro.
c) se Pedro no pedreiro, ento Paulo paulista.
d) se Pedro pedreiro, ento Paulo no paulista.
e) se Pedro no pedreiro, ento Paulo no paulista.
36
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
4) Dizer que no verdade que Celina bonita ou Cristina no loira, logicamente equivalente
a dizer que verdade que:
5) Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente a dizer
que verdade que:
6) Se Andr culpado, ento Bruno inocente. Se Andr inocente, ento Bruno culpado. Se
Andr culpado, Leo inocente. Se Andr inocente, ento Leo culpado. Se Bruno
inocente, ento Leo culpado. Logo, Andr, Bruno e Leo so, respectivamente:
37
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
7) Mauro, Jos e Lauro so trs irmos. Cada um deles nasceu em um estado diferente: um
mineiro, outro carioca, e outro paulista (no necessariamente nessa ordem). Os trs tm,
tambm, profisses diferentes: um engenheiro, outro veterinrio, e outro psiclogo (no
necessariamente nessa ordem). Sabendo que Jos mineiro, que o engenheiro paulista, e
que Lauro veterinrio, conclui-se corretamente que:
a) Lauro paulista e Jos psiclogo.
b) Mauro carioca e Jos psiclogo.
c) Lauro carioca e Mauro psiclogo.
d) Mauro paulista e Jos psiclogo.
e) Lauro paulista e Mauro engenheiro
8) A afirmao Alda alta, ou Bino no baixo, ou Ciro calvo falsa. Segue-se, pois, que
verdade que:
a) se Bino baixo, Alda alta, e se Bino no baixo, Ciro no calvo.
b) se Alda alta, Bino baixo, e se Bino baixo, Ciro calvo.
c) se Alda alta, Bino baixo, e se Bino no baixo, Ciro no calvo.
d) se Bino no baixo, Alda alta, e se Bino baixo, Ciro calvo.
e) se Alda no alta, Bino no baixo, e se Ciro calvo, Bino no baixo.
9) Algum, e, ningum entraram na casa. Algum saiu pela porta, ningum saiu pela janela.
Quem ficou na casa?
10) A me de Irajara tem cinco filhas: Iran, Iran, Irani, Iran. Qual a quinta filha?
11) O medir-se uma vara verificou-se que ela tem 5 metros mais a metade de seu prprio
comprimento. Qual o real comprimento da vara?
12) Se dois tijolos tem a massa de 1 kg e mais meio tijolo; qual a massa de um tijolo e meio?
13) Se 100 gatos comem 100 ratos em 100 minutos, 1 gato come 1 rato em quantos minutos?
38
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
14) O pai do meu neto o neto de meu pai. Quantas pessoas esto envolvidas nesse
relacionamento de parentesco?
15) O nmero de ovos numa cesta duplica de minuto em minuto. Em duas horas a cesta est
cheia. A que horas estava pela metade?
16) Conversao telefonica:
- Al, do 1.000.000 ; com 6 casas decimais?
- Sim, quem fala?
- Como? Ento no reconheces minha voz?!? No entanto, a minha me e sogra da tua me.
Pergunta-se:
a) Para qual nmero foi feito o telefonema?
b) Qual o parentesco dos interlocutores?
17) Porque prefere um barbeiro carioca cortar o cabelo de dois capixabas a cortar o de um
paulista?
18) H mais de duas dcadas, numa sufocante noite de janeiro em Braslia, chovia torrencialmente
meia noite. possvel que 96 horas depois estivesse sol em Braslia?
19) A sala tem quatro cantos. Cada canto tem um gato. Cada gato v trs gatos. Quantos gatos
esto na sala????
20) Um pai tinha dois filhos e queria igualmente bem a cada um deles. Determinou ento, no seu
testamento, que depois de sua morte, os dois filhos teriam que fazer uma viagem e que a
fazenda com todos os seus pertences seria herdada pelo filho cujo cavalo chegasse por ltimo
na esttua do Padre Ccero, em Juazeiro, no Cear. Depois da morte do pai, os dois filhos
partiram de Braslia e se puseram a caminho muitssimo devagar, to devagar que nunca
teriam chegado na esttua do vulnervel Padre Ccero. Resolveram, ento, consultar, no
caminho, o espiritualista Chico Xavier. Este, sabiamente, disse um segredo ao ouvido de cada
um. De posse do segredo, os dois irmos tomaram, o mais depressa possvel, os cavalos e
disputaram a mais veloz das corridas. Qual foi o segredo que Chico Xavier falou aos dois
herdeiros??
39
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 6
9.1.1 IDEMPOTNCIA:
p pp
ppp
V V
F F
9.1.2 COMUTATIVIDADE:
p q pq qp
V V V V
V F F F
pqqp
F V F F
F F F F
9.1.3 ASSOCIATIVIDADE:
(p q) r p (q r)
p q r (p q) r p (q r)
V V V V V V V
V V F V F F F
V F V F F F F
V F F F F F F
F V V F F F V
F V F F F F F
F F V F F F F
F F F F F F F
40
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
9.1.4 IDENTIDADE:
pcc
pt p
p c t pc pt
V F V F V
F F F F V
9.2.1 IDEMPOTNCIA:
ppp
p pp
V V
F F
9.2.2 COMUTATIVIDADE:
pqqp
p q pq qp
V V V V
V F V V
F V V F
F F F F
41
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
9.2.3 ASSOCIATIVIDADE:
(p q) r p (q r)
p q r (p q) r p (q r)
V V V V V V V
V V F V V V V
V F V V V V V
V F F V V V F
F V V V V V V
F V F V V V V
F F V F V V V
F F F F F F F
9.2.4 IDENTIDADE:
ptt
pcp
p t c pt pc
V V F V V
F V F V F
V = elemento absorvente
F = elemento neutro
9.3.1 DISTRIBUTIVA:
i. p (q r ) (p q) (p r)
ii. p (q r) (p q) (p r)
42
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
9.3.2 ABSORO:
i. p ( p q) p
ii. p (p q) p
i. ~ ( p q ) ~ p ~ q
ii. ~ ( p q ) ~ p ~ q
pq~pq
~(p q) ~(~ p q) p ~ q
p q pq ~ ( p q) ~q p ~q
V V V F F F
V F F V V V
F V V F F F
F F V F V F
~ (p q) p v q
p q pvq (p q) ~ (p q)
V V F V F
V F V F V
F V V F V
F F F V F
10.MTODO DEDUTIVO
10.2 EXEMPLICIFICAO:
p c t cp pt
2) p q p (simplificao)
3) p p q (adio)
4) (p q) p q (Modus Ponens)
45
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
5) (p q) ~q ~ q (Modus Tollens)
6) (p q) ~ p q (Silogismo Disjuntivo)
7) p q p q
8) p q p
46
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
9) p ~ p q
10) p q p r q
12) p q p q q
47
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
13) (p q) ( p ~q) ~ p
15) (p r) (q r) p q r
48
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
16) (p q) (p r) p q r
17) (p r) (q s) p q r s
AULA 6 - Exerccios
b) ~ (p q) ( ~ p q)
c) ~ (p ~ q)
d) ~ (~ p q)
e) ~ ( ~ p ~ q)
f) ( p q) ~ p
49
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
g) (p q) (~ p q)
h) p (p q) (p ~ q)
i) (p q) r
j) (p q) (~r ~q)
k) p (p q)
l) p q
b) ~ p p p
c) p p q p q
d) (p q) q p q
e) (p r) (q r) p q r
f) (p q) ( p r) p q r
g) p (p q) p
h) p ( p q) p
i) p q ((p p) (p p)) (q q)
50
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 7
11.1 DEFINIO:
Uma proposio esta na forma normal (FN) se formada apenas pelos conectivos: ~, e
Diz-se que uma proposio est na forma normal conjuntiva (FNC) se e somente se so
verificadas as seguintes condies:
1. Contm, quando muito, os conectivos ~ , e ;
2. ~ no aparece repetido (como ~~) e no tem alcance sobre e (isto , s incide sobre
letras proposicionais);
3. no tem alcance sobre (isto , no h componentes do tipo p (p r))
b) (p q) ( ~ q ~ p)
51
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
Diz-se que uma proposio est na forma normal disjuntiva (FND) se e somente se so
verificadas as seguintes condies:
1. Contm, quando muito, os conectivos ~ , e ;
2. ~ no aparece repetido (como ~ ~) e no tem alcance sobre e (isto , s incide sobre
letras proposicionais);
3. no tem alcance sobre (isto , no h componentes do tipo p (p r))
Exemplos.:
Determinar a FND das proposies (p q) (q p)
52
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 07 - Exerccios
1) Determinar uma forma normal conjuntiva (FNC) equivalente para cada uma das seguintes
proposies:
a) p q
b) p ~ p
c) p ~ p
d) p ~ p
e) p q
f) p p
g) p ~ p
h) p q
i) (p ~ p) (q ~q)
j) (p q) p
k) ~ p (q v p)
l) p ~ (q v r)
2) Determinara uma forma normal disjuntiva (FND) equivalente para cada uma das seguintes
proposies:
a) ~ ( ~ p ~ q)
b) ~ (p q)
c) ( p p) ~p
d) ~ (p v q)
e) ( p q ) ~ p
f) ~ (p q)
g) p v ~ p
h) p ~ p
i) p q
j) p q
k) p q
l) p ~ p
53
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 8
Seja o raciocnio:
Se a lgica a base da Matemtica e/ou no fato que a filosofia no a cincia dos
contrrios, a matemtica o ideal da cincia bem como a dialtica a base da cincia natural. A
cincia natural a dialtica da filosofia assim como a lgica no base da matemtica. Se no
fato que a filosofia a cincia dos contrrios no verdade que a matemtica o ideal da cincia
embora a matemtica fundamenta as cincias exatas. No fato que a matemtica no fundamenta
as cincias exatas ou a matemtica o ideal da cincia. Portanto, natural concluir-se que a
matemtica no o ideal da cincia.
A partir deste ponto cabe a lgica matemtica instituir os mtodos e tcnicas que
possibilitem avaliar a legitimidade de quaisquer que sejam os raciocnios que possam ser
formalizados segundo os pressupostos do clculo proposicional. Tais mtodos e tcnicas constituem
a base da teoria da argumentao qual condio necessria e suficiente para se estabelecer as
regras de validade na chamada Anlise Inferencial
12.2 ARGUMENTO:
Chama-se argumento toda afirmao de que uma dada seqncia finita de proposies P1,
P2,....,Pn tem como conseqncia uma proposio final Q. As proposies P1, P2,...,Pn so
chamadas de premissas do argumento e a proposio final Q chama-se concluso do argumento.
Um argumento de premissas P1, P2,...,Pn e de concluso Q indicado de forma
simblica por P1, P2,..., Pn | Q e pode ser lida de uma das seguintes maneiras:
P1, P2, ..., Pn acarretam Q
Q decorre de P1, P2,...,Pn
Q se deduz de P1, P2,...,Pn
Q se infere de P1, P2,...,Pn
O smbolo | chamado trao de assero , afirma que se a proposio Q, sua direita,
pode ser deduzido utilizando como premissas somente as proposies que esto sua esquerda. Um
argumento de premissas P1, P2, ....,Pn e concluso Q pode tambm ser indicado atravs da forma
padronizada, por:
54
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
P1
P2
Pn
Q
Diz-se que valido um argumento se, e somente se, a concluso for verdadeira, toadas as
vezes que as premissas forem verdadeiras.
Assim o argumento P1, P2,..., Pn | Q vlido se, e somente se, a concluso Q for
verdadeira, todas as vezes que as premissas P1, P2,...Pn forem verdadeiras.
Portanto, todo argumento vlido goza das seguintes propriedades: A verdade das premissas
incompatvel com a falsidade da concluso. Um argumento no vlido chamado de sofisma
(ou falcia). As premissas dos argumentos so verdadeiras ou,pelo menos, admitidas como
verdadeiras. Alis, a lgica s se preocupa com a validade dos argumentos e no cma verdade ou
falsidade das premissas e das concluses.
A validade de um argumento depende to somente da relao existe entre as premissas e a
concluso. Logo, afirmar que um dado argumento vlido significa afirmar que as premissas esto
de tal modo relacionadas com a concluso que no possvel Ter a concluso falsa se as premissas
forem verdadeira.
Quando um argumento valido a condicional da conjuno das premissas com a concluso
tautolgica.
Exemplificando: Um argumento P1, P2,..., Pn | Q vlido se, e somente se a condicional
(P1 P2 ... Pn ) Q for tautolgica.
A condicional (P1 P2 ... Pn ) Q denominada condicional associada ao argumento
P1, P2,..., Pn | Q.
A validade de um argumento pode ser verificada, demonstrada ou testada atravs das
tabelas-verdade ou com o uso das regras de inferncia.
55
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
O procedimento consiste em construir uma tabela verdade com uma coluna para cada
premissa e uma coluna para a concluso. As linha nas quais todas as premissas so verdadeiras
devem ter concluso verdadeira para que o argumento seja vlido. Se ao invs, em ao menos uma
dessas linhas o valor lgico da concluso Q for F, ento o argumento dado no vlido, ou seja,
um sofisma.
Uma outra alternativa para demonstrar, verificar ou testar a validade do argumento dado
consiste em construir a condicional associada.
Exemplos:
Verificar a validade dos seguintes argumentos:p q, q | p
p q pq
V V V
V F F
F V V
F F V
Adio: p p Simplificao: p q pq
pq q p p q
56
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
Conjuno: p q Absoro :p q
q p p (p q)
pq q p
Silogismo Disjuntivo: pq p q
~p ~q
q p
Silogismo Hipottico:
p q
q r
p r
Dada uma proposio p, dela pode-se deduzir a sua disjuno com qualquer outra
proposio.
p .
p~q
57
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
A partir de uma condicional (premissa) permite deduzir como concluso uma outra
condicional com o mesmo antecedente p e cujo consequente a conjuno p q das duas
proposies que integram a premissa, isto e:
xA x AB .
xA x A x AB
58
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
burro cavalo
jumento elefante
burro v jumento .
cavalo v elefante
AULA 7 Exerccios
1) Construir a condicional associada a cada um dos seguintes argumentos:
a) ~p, ~q p |q
b) p q |~( p ~q)
c) p q, ~q ( r s) | r s
d) x = y x = 5, x = 5 x < z | x = y x < z
b) (p q) (p ~q) s
c) ~ ( x< 0 y x) x 0 y = x
4) Usar a regra Modus Ponens para deduzir a concluso de cada um dos seguintes pares de
premissas:
a) x = y y = z b) x + y = 0 x = 0
(x = y y = z x = z x+y=0 .
e) x + 1 = 2 f) x + 0 = y x = y
x+1=2y+1=2 x+0=y .
5) Usar a regra Modus tollens para deduzir a concluso de cada um dos seguintes pares de
premissas:
a) x 0 x + y y b) x = z x = 6
x+y=y x6
6) Usar a regra do Silogismo Disjuntivo para deduzir a concluso de cada um dos seguintes
pares de premissas:
a) x + 8 = 12 x 4 b) y < b x + y < 10
x + 8 12 . x + y 10
c) s ( r t) d) ~p ~q
~s . q
61
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
7) Usar a regra do Silogismo Hipottico para deduzir a concluso de cada um dos seguintes
pares de premissas:
a) p r ~s b) x = 3 x < y
r ~s t x<yxz
c) s t r q d) xy=6 xy + 5= 11
r q ~s t xy + 5=11 y = 2
8) Usar a regra do Dilema Construtivo para deduzir a concluso de cada um dos seguintes ternos
de premissas:
a) p r b) x=5 x<y
~q ~s x=5x>3
p ~q x<yx<2 .
c) y = 0 xy = 0 d) x = 2 x2 = 4
y > 1 xy> 3 x=2y=3
y=0y>1 y = 3 y2 = 9
9) Usar a regra do Dilema Destrutivo para deduzir a concluso de cada um dos seguintes ternos
de premissas:
a) p q r b) p ~r q
q rs ~(~r q) ~s
~r ~(r s) ~q s .
c) x < 3 x y d) y 9 y 18
x> 4 x < y x=2y=9
x= y x y . x = 8 y = 18
62
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
10) Usar a tabela verdade para verificar que so vlidos os seguintes argumentos:
a) p q, r ~ q | r ~ p
b) p ~q, r p, q | ~ r
63
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
c) p q r, s p q, s | q r
64
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
d) p q, q r, p s, ~s | r ( p q)
65
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
11) Demonstrar a no validade dos seguintes argumentos pelo Mtodo de atribuio de valores
lgicos:
a) p q, r s, p s | q r
b) (p q), ~p ~q r s, s r | r
c) p q r, q p r, r p q, ~p | q r
66
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
d) p q r, s r, ~p q | ~p q
e) (pq) r, r ~s t, (s t) u, u | p q
67
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 9
13.1 EXEMPLIFICAO
2. p q, p r s | p s
68
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
3. p (q r), p q, p |r
4. p q, p q r, ~( p r) | ~p
69
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
5. p q r, r q (p (s t)), p s | s t
70
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
7. p q r, r s, t ~u, t, ~s u | ~ (p q)
8. p q, q r, s t, p s | r t
71
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
9. p q, ~ r (s t), r (p s), ~ r | q t
10. p q, (p r) s q, p q r, ~s | q
72
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
12. p r, q s, ~r, (p q) (r v s) | s
73
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
13. p q, q r, r s, ~s, p t | t
14. (p q) (r s), t u, u v, ~q ~v | ~ p ~t
74
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
15. x = y x = z, x = z x = 1, x = 0 x 1, x = y | x 0
75
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 8 - Exerccios
76
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
29) p q ~r, p, s r | ~s
30) p (q r), q r ~s, s t | t
31) p q ~r, q, s t r |~( s t)
32) p q, ~q, ~p ~r s | s
33) p (q r), q s, r t, s t p r, ~p | r
34) q ( r t), q s, ~s (t p), ~s | r p
35) p q (p s t), p r | t v u
77
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 10
H muitos argumentos cuja validade no se pode demonstrar, verificar ou testar com o uso
exclusivo das dez regras de inferncia dadas anteriormente, sendo necessrio recorrer a um
princpio de inferncia adicional, a Regra de substituiode proposies equivalentes.
Uma proposio qualquer P ou apenas uma parte de P pode ser substituda por uma por
uma proposio equivalente, e a proposio Q que assim obtm equivalente a P.
Comutativa: pqqp
pqq p
De Morgan: ~ (p q) ~p ~q
~ (p q) ~p ~q
Associativa: p (q r) (p q) r
p (q r) (p q) r
Condicional: p q ~p q
Distributiva: p (q r) (p r) v (p q)
p (q r) (p r) (p r)
Contrapositiva: p q ~q ~p
Bicondicional: p q (p q) (q p)
p q (p q) (~p ~ q)
Absoro: p q p (p q)
Exportao-importao: p q r p (q r)
78
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
14.2 EXEMPLIFICAO:
1) p q, r ~ q | p ~r
2) p (q r), p q s | p s
79
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
3) p q r s, ~s | ~q
4) (p ~q) r, ~p (q ~p) | q r
80
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
5) p q, q s, t (r ~s) | p t
6) p (q r), p s, s r | r
81
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
7) p q ~r, r (s t), p q | p s
8) p q, r s, q s ~t, t | ~p ~r
82
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
9) p q, q (p (r s)), r s, ~(r s) | ~p
10) p q, q r, r p, p ~r | ~p ~r
83
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
11) ~p q r, r s ~t, t | ~q
84
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
85
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 9 Exerccios
DEMONSTRAR A VALIDADE DOS SEGUINTES ARGUMENTOS
1) p ~q, q, ~p r s | r s
2) p q, ~p ~~ r, ~q | r
3) p ~r, q r, q | ~p
4) ~p ~q, ~q ~r, r | p
5) ~p q, ~p r, ~r | q
6) r p q, ~~r, ~q | p
7) ~p q, ~q, ~(q r) p | r
8) p, ~q ~p | q ~s
9) ~p q, q r, ~r | p
10) p q, ~q, ~ p r | ~~r
11) ~p ~q, q | p
12) p q, ~q, p r s | s r
13) (r ~t) ~s, p s, p q | ~(~t r)
14) (r s) p, q ~p, t ~p, q t | s r
15) ~p ~q, ~ r p, r ~ s, s | ~ q
16) p q r, ~~ p, ~ r | q
17) r p ~q, r ~s, s | ~ q p
18) ~(p q), ~q r, ~ p r, s ~ r | ~s
19) p ~ q, p ~ r, q ~s | ~(r s)
20) ~ s ~ (p ~t), t q r, ~s | r q
21) ~ p q, r q, r ~p, ~ q s | s
22) t p s, q ~p, r ~ s, r v q | ~ t
23) r ~ p, (r s) t, t q u, ~ q ~ u | ~ p
24) p q, s q r, p s, q s | r q
25) ~ (p ~r), p q, r s, q s t s | s t
26) p q, q r | ~ p r
27) r p q, ~p v ~q, r v s | s
28) p q r, ~ r, ~ p s | s
29) (p q) r, ~r, (~ p q) s | s
30) ~(p q) (r s), r ~s, q t | t
31) p v ~ (q ~r), ~p, r s t | s t
32) p q r, ~r, q (~ s t) | s t
33) p (~ q r), ~(p s) ~r | q
34) (p q) r, ~ r s, ~( p ~q), s t u | u
35) ~ p q, ~ s ~ r, p (r t) | q s
36) p ~q, p (r s) | q s
37) p q r, ~r | p q
38) ~p ~q r, r s | ~s p
39) p q, q r, s t, ~r | s p
40) p q, q v r s, ~s | ~p
41) p (q r), p r s t | s
42) (p q) ( r s), ~q | ~p v s
43) p q, p q r s, r s ~t, (p ~t) u | u
44) p q r s, ~r | ~p
86
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 11
15.INCONSISTNCIA:
~ (p v ~ q) p ~ r q r
F V V F V V vF V V V V
F V V F V V V V F V F F
F V V V F V V F V F V V
F V V V F V V V F F V F
V F F F V F F F V V V V
V F F F V F V V F V F F
F F V V F F F F V F V V
F F V V F F V V F F V F
87
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
(1) ~ (p ~q)
(2) p ~ r
(3) q r .
(4) ~ p ~~ q 1. DM
(5) ~ p q 4. DN
(6) q 5. Simp.
(7) r 3,6. MP
(8) ~ p 5. Simp.
(9) ~ r 2,8. SD
(10) r ~r 7,9. Conj.
Outros exemplos:
1) Demonstrar que so inconsistentes as trs seguintes proposies:
x = 1 y < x, y < x y = 0, ~(y = o x 1)
88
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
89
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
16.1.1 EXEMPLIFICAO:
90
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
2) ~p ~q r, s (r t), ~ p s, ~ s | q t
91
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
16.2.1 EXEMPLIFICAO:
2) ~ p q, ~ q r, ~ r | p s
92
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
3) ~ p q, ~q, ~ r s, ~ p (s ~ t) | t r
AULA 10 Exerccios
93
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
94
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
4) Usar a Regra DI (Demonstrao Indireta) para mostrar que so vlidos os seguintes argumentos:
a) ~(p q), p r, q ~r | ~p
b) p ~q, r ~p, q r | ~p
c) ~(p q), ~r q, ~p r | r
d) p q r, q ~p, s ~r | ~( p s)
e) p q, p ~r, q s | ~r s
f) p q, s ~p, ~(q r) | ~s
g) p ~q, q v ~r, ~(s ~r) | ~p
h) ~p ~q, ~p r, r ~s | ~q ~s
i) p q ~r, ~r ~p, ~q ~r | q
j) ~p ~q, r s p, q ~s, ~r | ~(r s)
k) p q r, ~r, s p | ~s
l) (p q) r, s t ~r, s (t u) | p q
m) p q, q r s, ~s | ~p
n) (p q) r, r s ~ t, t | ~q
o) (p q) (r s), ~ q | p s
p) p q, q s, t ( r ~s) | p t
q) ~p ~q r, s (r t), p s, ~ s | q t
r) ~(p q) (s ~r), q s, p ~s | ~r ~s
s) (~p q) (r s), p t v ~s, r, ~t | q
t) (p q) (r s t), p q r, r, ~t | ~s
u) ~(p ~q) ((r s) t), p. q, ~t | r s
95
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
AULA 12
17.EXERCCIOS GERAIS
96
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
3) Se Luiz estuda Histria, ento Pedro estuda Matemtica. Se Helena estuda Filosofia, ento
Jorge estuda Medicina. Ora, Luis estuda Histria ou Helena estuda Filosofia. Logo, segue-se
necessariamente que:
a) Pedro estuda Matemtica ou Jorge estuda Medicina.
b) Pedro estuda Matemtica e Jorge estuda Medicina.
c) Se Luis no estuda Histria, ento Jorge no estuda Medicina.
d) Helena estuda Filosofia e Pedro estuda Matematica.
e) Pedro estuda Matemtica ou Helena no estuda Filosofia.
4) Se o jardim no florido, ento o gato mia. Se o jardim florido, ento o passarinho no canta.
Ora, o passarinho canta. Logo:
a) O jardim florido e o gato mia.
b) O jardim florido e o gato no mia.
c) O jardim no florido e o gato mia.
d) O jardim no florido e o gato no mia.
e) Se o passarinho canta, ento o gato no mia.
5) Se Maria no anda sozinha, ento Pedro sabe costurar. Se Maria anda sozinha, ento, Joana
estuda ou Manoel trabalha. Se Manoel trabalha, Teresa faz ginstica. Mas Teresa faz ginstica
se e somente se no for verdade que Ferdiando no tem uma camera. Ora, Ferdinando no tem
uma camera e Joana no estuda, Logo:
a) Maria no anda sozinha e Manoel trabalha.
b) Joana no estuda e Manoel trabalha.
c) Ferdinando no tem uma camera e Teresa faz ginstica
d) Pedro no sabe costurar e Maria anda sozinha.
e) Pedro sabe costurar e Manoel no trabalha.
97
Raciocnio Lgico Quantitativo Prof a Paula Francis Benevides
7) Uma pombinha que voava, ao ver passar um bando de pombas em revoada, assim exclamou:
"Ol minhas 100 pombas!". Uma delas respondeu: "100 pombas no somos ns, mas ns,
outras tantas de ns e mais o dobro de voc, 100 pombas seremos ns". Quantas pombas
passavam em revoada?
8) Quando uma senhora saiu com um carrinho levando uma criana a fim de tomar o sol das
primeiras horas da manh, encontrou-se com uma velha conhecida que h muito tempo no via,
que, ao cumpriment-la, indagou: Qual seu parentesco com esta linda criana? A resposta
veio logo em seguida: Sua me a filha nica de minha me. Qual , ento, seu verdadeiro
parentesco?
9) Na gaveta de meu guarda-roupas h seis pares de meias pretas e seis pares de azuis. A
escurido no quarto onde est o guarda roupas total. Qual o nmero mnimo de meias que
devem ser apanhadas para se ter certeza de que um par seja de meias de mesma cor?
10) O vaqueiro esta tocando as vacas numa estrada. Uma delas anda na frente de duas outras, uma
anda entre duas e uma anda atrs de duas. Quantas vacas eram?
11) Sabendo-se que seis raposas, em seis minutos, comem seis galinhas, pergunta-se: Quantas
raposas, em sessenta minutos, comem sessenta galinhas?
98