Você está na página 1de 9

Lgica Matemtica para concursos Dudu cearense

AULA 07
ARGUMENTOS

Estou de volta!
Terminarei, enfim, as aulas sobre lgica matemtica, com um tema que, na verdade, um
resumo de tudo o que visto at agora: argumento. Pois bem, como manda o ditado como era no
princpio..., vamos retroceder primeira aula e resgatar aquela nossa 1 questo.
(MPOG-2003) Ana artista ou Carlos carioca. Se Jorge juiz, ento Breno no bonito. Se
Carlos carioca, ento Breno bonito. Ora, Jorge juiz. Logo:
a) Jorge juiz e Breno bonito
b) Carlos carioca ou Breno bonito
c) Breno bonito e Ana artista
d) Ana no artista e Carlos carioca
e) Ana artista e Carlos no carioca
No enunciado, h uma srie de proposies:
P1: Ana artista ou Carlos carioca
P2: Se Jorge juiz, ento Breno no bonito
P3: Se Carlos carioca, ento Breno bonito
P4: Jorge juiz
Na ocasio, tnhamos atribudo para cada proposio simples do enunciado o seguinte:
p: Ana artista
q: Carlos carioca
r: Jorge juiz
t: Breno bonito
Reescrevendo tal enunciado em linguagem simblica:
pvq
r ~t
qt
r
(p v q) ^ (r ~t) ^ (q t) ^ r

Lgica Matemtica para concursos Dudu cearense


Vejam que existe todo um enunciado, e uma uma resposta: Ana artista e Carlos no
carioca (p ^ ~q). Quer dizer, existe um argumento, uma sequncia determinada (finita) de
proposies que gera uma proposio final. Podemos representar assim:
(p v q) ^ (r ~t) ^ (q t) ^ r (p ^ ~q)
Denomina-se as proposies P1, P2, P3 e P4 de premissas do argumento, e a proposio
final de concluso do argumento, a qual denomina-se de Q. O nosso Q, para a referida questo,
a proposio (p ^ ~q).
P1, P2, P3 ,P4, ...., Pn Q
Temos, ento, como escrever a representao geral de um argumento:
P1, P2, P3 ,P4, ...., Pn | Q
E lemos de uma das seguintes maneiras:
P1, P2, P3 ,P4, ...., Pn acarretam Q
Q decorre de P1, P2, P3 ,P4, ...., Pn
Q se deduz de P1, P2, P3 ,P4, ...., Pn
Q se infere de P1, P2, P3 ,P4, ...., Pn
Se tivermos duas premissas e uma concluso em um argumento, chamaremos isso de
silogismo. Pois , voc deve est lembrado agora daquela regra de implicao lgica, l da Aula
04, chamada silogismo hipottico, no verdade? por isso que assim a chamamos!
VALIDADE DE UM ARGUMENTO
Note que, na maioria de questes de lgica matemtica, sempre temos, l no final, uma
expreso do tipo ora... logo, pode-se concluir, se... ento, ou mesmo uma das maneiras de se
l um argumento, ditas anteriormente. Ora, toda questo, com essas expresses ditas no final do
seu enunciado, leva-nos a concluir que trata-se de um argumento. Assim, ao responder a estas
questes, estaremos sempre a marcar a opo (a, b, c, d ou e) que torne vlido o argumento.
Na nossa questo do MPOG-2003, quando marcamos o item e) Ana artista e Carlos
no carioca, estamos escolhendo uma concluso para as premissas que deixa o argumento
vlido. No entendeu? Pois vai entender! Colocarei a tabela-verdade desta questo novamente,
para voc no ter que ir at a Aula 05. Veja:

Lgica Matemtica para concursos Dudu cearense


linha
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)

P
V
V
V
V
F
F
F
V
V
F
F
V
F
F
V
F

q
V
V
V
F
V
F
F
F
V
F
V
F
V
V
F
F

r
V
V
F
F
V
V
F
V
F
V
F
V
F
V
F
F

t
V
F
F
F
V
V
V
V
V
F
F
F
V
F
V
F

~t
F
V
V
V
F
F
F
F
F
V
V
V
F
V
F
V

pvq
V
V
V
V
V
F
F
V
V
F
V
V
V
V
V
F

r ~t
F
V
V
V
F
F
V
F
V
V
V
V
V
V
V
V

qt
V
F
F
V
V
V
V
V
V
V
F
V
V
F
V
V

(p v q) ^ (r ~t) ^ (q t)
F
F
F
F
F
F
F
F
F
F
F
V
F
F
F
F

Voc est vendo a linha 12... percebeu? Claro! Quer dizer, relembrou o que eu j havia
dito na Aula 05? Tenho certeza que sim!
Na linha 12, temos um argumento vlido, pois temos
(p v q), (r ~t), (q t)

(premissas)

(p v q) ^ (r ~t) ^ (q t)

(concluso)

todos com valores lgicos verdadeiros. Alis, nica linha onde isso se verifica.
Ento, amigos, estvamos, na resoluo desta questo, atrs da linha 12, na qual se
verifica a validade do argumento, como tambm os valores lgicos das proposies simples p, q, r
e t.
linha
12)

p
V

q
F

r
V

t
F

Podemos, ento, dizer que um argumento vlido se e somente se a concluso


verdadeira todas a vezes que as premissas so verdadeiras. No entendeu? Vou dizer com
outras palavras: um argumento vlido se e somente se a concluso for V todas as vezes
que as premissas tiverem valor lgico V. o que vemos na linha 12 da tabela.
Em tempo, essa a caracterstica do argumento vlido: a verdade das premissas
incompatvel com a falsidade da concluso. Ao contrrio do argumento vlido, um argumento
no-vlido chamamos de sofisma.

Lgica Matemtica para concursos Dudu cearense


A Lgica Matemtica s se preocupa com a validade (V) ou no (F) do argumento, no
importando os valores lgicos (V ou F) das premissas e da concluso. Foi o que tinha adiantado,
com outras palavras, na Aula 04. L eu disse que na resoluo de provas de concurso, na maioria
das vezes, estamos atrs do atributo tautolgico ou contraditrio de uma proposio. Quando
vamos escolher um item para gabaritar em uma questo de lgica, estaremos atrs da verdade ou
falsidade da proposio composta (leia-se argumento).
Ademais, o argumento vlido nos leva a afirmar que, quando as premissas so
verdadeiras, a concluso no pode ser falsa.
ta, quanto conceito! No penso assim. Voc pode perguntar: ser necessrio?. E eu
respondo: sim, pode ser que alguma questo venha a abord-los. Se caso isso ocorra, estaremos
preparados. Fato que algumas bancas costumam exagerar nos enunciados das questes para
confundir os candidatos (ou at mesmo tom-los o tempo, que precioso!) com um monte de
conceitos. Foi o que fez o CESPE em 2004, na prova de papiloscopista.
Denomina-se contradio uma proposio que sempre falsa. Uma forma de
argumentao lgica considerada vlida embasada na regra da contradio, ou seja, no caso
de uma proposio R verdadeira (ou R verdadeira), caso se obtenha uma contradio, ento
conclui-se que R verdadeira (ou R verdadeira).
Porm, creio que voc venha a fixar todos esses conceitos, porque, alm de mostr-los, j
fiz uma exposio prtica de todos eles.
Vamos em frente!
Um argumento P1, P2, P3 ,P4, ...., Pn |
tautolgica. Temos:

Q s vlido se e somente se a condicional

(P1 ^ P2 ^ P3 ^ ,P4, ...., Pn) Q


E para no se falar mais nisso, a regra clara: todas as premissas e a concluso do
argumento devem ser verdadeiras para a condicional ser verificada, isto , as premissas implicam
logicamente a concluso se a condicional tautolgica. Pronto! Voc j deve ter fixado bem esse
assunto. Se no, basta ir at a tabela verdade anterior e verificar todos os conceitos j ditos.
Moral de toda a histria: as questes de lgica, quando no pedem uma proposio
equivalente, exige que se verifique se algum argumento vlido. Para isso, usamos, muitas
vezes, o mtodo dedutivo. ISSO O RESUMO DE TUDO O QUE VIMOS AT AQUI.
Legal, no? Pois , estamos aptos a resolver qualquer questo de lgica matemtica
agora. Voc pode dizer ento: e que venham as questes...!. Como eu acho que voc j deve
est dizendo isso, vou trazer mais dois exerccios e os resolverei. Umbora l, resolv-los!
(AFC/TCU-1999) Se Beraldo briga com Beatriz, ento Beatriz briga com Bia. Se Beatriz briga com
Bia, ento Bia vai ao bar. Se Bia vai ao bar, ento Beto briga com Bia. Ora, Beto no briga com
Bia. Logo,

Lgica Matemtica para concursos Dudu cearense


a) Bia no vai ao bar e Beatriz briga com Bia
b) Bia vai ao bar e Beatriz briga com Bia
c) Beatriz no briga com Bia e Beraldo no briga com Beatriz
d) Beatriz briga com Bia e Beraldo briga com Beatriz
e) Beatriz no briga com Bia e Beraldo briga com Beatriz
Representando primeiro as proposies simples:
p: Beraldo briga com Beatriz
q: Beatriz briga com Bia
r: Bia vai ao bar
t: Beto briga com Bia
Agora, difente de antes, ao invs de proposio, chamaremos de premissas a representao do
enunciado, para uma melhor distino entre as proposies do problema. Escrevendo as
premissas em linguagem simblica:
pq
qr
rt
~t
(p q) ^ (q r) ^ (r t) ^ ~t
Ora amigos, como eu j falei, temos que admitir que uma destas premissas verdadeira. E
obviamente admitiremos, sempre que possvel, uma proposio simples com tal. Pois bem, ento
vamos admitir, para o nosso problema a premissa ~t como verdadeira.
(p q) ^ (q r) ^ (r t)
Ok! Veja que eu retirei a premissa ~t do enunciado simblico, pois foi esta que admitimos como
verdadeira. Estamos pronto agora para resolver a referida questo pelo nosso conhecido mtodo
dedutivo. Alis, isso ns j fazamos antes. Usando o mtodo dedutivo:
(p q) ^ (q r) ^ (r t)
(p q) ^ (q r) ^ (r F)
(p q) ^ (q F)
pF
~p v F
~p

(admitindo que t tem valor falso)


(silogismo hipottico)
(silogismo hipottico)
(equivalente)
(disjuno)

Ora, voc chegou a esta concluso! A voc pergunta: e agora, eu fiz as contas de maneira
errada? No, est tudo certo. Uma concluso possvel para o problema ~p. Mas quando olhamos
para as respostas, no vemos nenhuma concluso dizendo apenas que Beraldo no briga com
Beatriz.

Lgica Matemtica para concursos Dudu cearense


A que est o conhecimento do candidato. Se j sabemos dos valores lgicos de t (falso) e p
(falso), ento vamos atrs das premissas do problema para encontrar os valores lgicos de q e r.
Temos a seguinte premissa: r t. Como sabemos que t falso, ento r F.
Hoje aprendemos que todas as premissas precisam ser verdadeiras para a concluso ser tambm
verdadeira. Deste modo, para a premissa r F ser verdadeira, r dever ter valor lgico falso, de
acordo com a condicional.
Igualmente, como descobrimos que r falso, ento a premissa q r pode ser escrita q F.
Ento, para q F ser uma premissa verdadeira, q dever ter valor lgico falso.
Pronto, questo parcialmente resolvida, vamos conferir os itens:
a) Bia no vai ao bar e Beatriz briga com Bia
~r ^ q = ~F ^ F = V ^ F = FALSO
b) Bia vai ao bar e Beatriz briga com Bia
r ^ q = F ^ F = FALSO
c) Beatriz no briga com Bia e Beraldo no briga com Beatriz
~q ^ ~p = ~F ^ ~F = V ^ V = VERDADEIRO
d) Beatriz briga com Bia e Beraldo briga com Beatriz
q ^ p = F ^ F = FALSO
e) Beatriz no briga com Bia e Beraldo briga com Beatriz
~q ^ p = ~F ^ F = V ^ F = FALSO
Resposta letra c).
ta, questozinha arretada! nada, muito fcil. Quer ver? Tnhamos no incio o seguinte:
(p q) ^ (q r) ^ (r t)
Sabamos, de incio, que o valor lgico de t era falso. Se voc substitui na 3 premissa, j saber
logo o valor lgico de r, falso. E vai seguindo... pegando agora o valor lgico de r e substituindo na
2 premissa, descobrindo o valor de q, falso... at saber que p verdadeiro.
Voc pode est me perguntando: e pra que serve o mtodo dedutivo, se poderia ter feito
logo direto, substituindo os valores lgicos j conhecidos nas premissas?
PRESTE ATENO! Em questes de concursos, nem sempre vem esse
encadeamento de condicionais que facilitam sobremaneira a resoluo do problema. Mas,
perfeitamente possvel resolv-las atravs destes conceitos bsicos da lgica matemtica. Alis,
muitas questes podem ser resolvidas desta maneira, economizando o precioso tempo, porm
necessrio que a pessoa conhea de-cabea todas as operaes lgicas fundamentais (negao,
conjuno, disjuno etc.). Vai ter ocasies em que aparecero determinadas questes quase
impossveis de se resolver pelo mtodo dedutivo, pois, como nesta, voc ficar se perguntando o

Lgica Matemtica para concursos Dudu cearense


que foi que eu fiz?. Olhem l, hein! Fiquem atententos! Foi por isso que falei l no incio desta
aula:
As questes de lgica, quando no pedem uma proposio equivalente, exige que se
verifique se algum argumento vlido. Para isso, usamos, muitas vezes, o mtodo
dedutivo.
A expresso muitas vezes significa que nem sempre ser conveniente resolver questes
de lgica matemtica pelo mtodo dedutivo.
Em outros momentos, tambm aparecero certas questes com o mesmo problema de
no se encontrar a resposta pelo mtodo dedutivo. E voc vai perguntar na hora da prova: e
agora, Jos?. E quando ocorrer este ltimo caso? Darei a dica agora, resolvendo uma
questozinha. Ademais, o mtodo dedutivo pode sempre ser usado sem mais problemas.
(AFC-2002) 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.
Resoluo
Representando primeiro as proposies simples:
p: lara fala italiano
q: Ana fala alemo
r: Ching fala chins
t: Dbora fala dinamarqus
y: Elton fala espanhol
z: Francisco fala francs
Escrevendo as premissas em linguagem simblica
~p q
p (r v t)
ty
y ~(~z)
(~p q) ^ (p (r v t)) ^ (t y) ^ (y ~(~z))
Nas questes at aqui resolvidas pelo mtodo dedutivo, tnhamos apenas uma proposio simples
encerrando o enunciado, a qual considervamos como verdadeira, e a partir da comeavamos a

Lgica Matemtica para concursos Dudu cearense


resolver o problema. Confira a ltima e observe que l est escrito Ora, Beto no briga com Bia.
Logo.
Voltando para a questo do AFC-2002, voc deve ter ficado assustado com o tamanho da
proposio. Mas no se assuste. No enunciado, l no final, temos Ora, Francisco no fala francs
e Ching no fala chins (~z ^ ~r). Logo. Quando temos uma proposio composta encerrando um
enunciado, e as demais proposies todas compostas, resolvemos a questo atravs dos
operadores lgicos fundamentais, considerando a ltima proposio como verdadeira, no nosso
caso (~z ^ ~r).
Vamos por etapas, pegando as premissas de trs pra frente. Primeiro, se (~z ^ ~r) verdadeira,
pela conjuno, ~z e ~r devem ser obrigatoriamente verdadeiras. Se ~z e ~r so ambas
verdadeiras, ento z e r, ambas, tem valor lgico falso.
Prosseguindo.... temos a premissa (y ~(~z)), que a mesma (y z). Se z falso, ento, pela
bicondicional, y falso.
Olhando a outra premissa (t y), se y falso, t tambm falso.
A segunda premissa (p (r v t)) . Sabemos que o valores de r e t so, ambos, falso. Assim,
escrevemos (p (F v F)). Temos que, pela disjuno exclusiva, (p F). Logo, pela condicional, p
falso.
A ltima premissa (~p q). Se p falso, ~p verdadeiro. A escrevemos (V q), que, de
acordo com a condicional, para ser toda a proposio verdadeira, o q dever ser verdadeiro.
Encontrado todos os valores lgicos de p, q, r, t, y e z, vamos testar em cada enunciado
a) Iara no fala italiano e Dbora no fala dinamarqus.
~p ^ ~t = ~F ^ ~F = V ^ V = VERDADEIRO
b) Ching no fala chins e Dbora fala dinamarqus.
~r ^ t = ~F ^ F = V ^ F = FALSO
c) Francisco no fala francs e Elton fala espanhol.
~z ^ y = ~F ^ F = V ^ F = FALSO
d) Ana no fala alemo ou Iara fala italiano.
~q v p = ~V v F = F v F = FALSO
e) Ana fala alemo e Dbora fala dinamarqus.
q ^ t = V ^ F = FALSO
Resposta letra a).
Fcil, no?! At porque a banca examinadora colocou a resposta logo no item a), o que
acaba economizando um bom tempo para sua resoluo.
No tema esse tipo de questo, pois quando voc fizer a mo, ver que as contas no so
to trabalhosas assim.

Lgica Matemtica para concursos Dudu cearense


Querem mais? Perdoem-me, agora com vocs. Vou deixar 3 questes (na prxima
pgina) para vocs resolverem, as quais abordarei na prxima aula. Agora em diante s
exerccios...!
Tenho que ir, pois tambm sou filho de Deus.
Fui!
Exerccios
(AFC-1997) Ou Celso compra um carro, ou Ana vai frica, ou Rui vai a Roma. Se Ana vai
frica, ento Lus compra um livro. Se Lus compra um livro, ento Rui vai a Roma. Ora, Rui no
vai a Roma, logo:
a) Celso compra um carro e Ana no vai frica
b) Celso no compra um carro e Lus no compra o livro
c) Ana no vai frica e Lus compra um livro
d) Ana vai frica ou Lus compra um livro
e) Ana vai frica e Rui no vai a Roma
(AFC/TCU-1999) Se Flvia filha de Fernanda, ento Ana no filha de Alice. Ou Ana filha de
Alice, ou nia filha de Elisa. Se Paula no filha de Paulete, ento Flvia filha de Fernanda.
Ora, nem nia filha de Elisa nem Ins filha de Isa.
a) Paula filha de Paulete e Flvia filha de Fernanda.
b) Paula filha de Paulete e Ana filha de Alice.
c) Paula no filha de Paulete e Ana filha de Alice.
d) nia filha de Elisa ou Flvia filha de Fernanda.
e) Se Ana filha de Alice, Flvia filha de Fernanda.
(AFT-2003) Investigando uma fraude bancria, um famoso detetive colheu evidncias que o
convenceram da verdade das seguintes afirmaes:
1) Se Homero culpado, ento Joo culpado.
2) Se Homero inocente, ento Joo ou Adolfo so culpados.
3) Se Adolfo inocente, ento Joo inocente.
4) Se Adolfo culpado, ento Homero culpado.
As evidncias colhidas pelo famoso detetive indicam, portanto, que:
a) Homero, Joo e Adolfo so inocentes.
b) Homero, Joo e Adolfo so culpados.
c) Homero culpado, mas Joo e Adolfo so inocentes.
d) Homero e Joo so inocentes, mas Adolfo culpado.
e) Homero e Adolfo so culpados, mas Joo inocente.