Você está na página 1de 8

Lgica Matemtica para concursos Dudu cearense

AULA 05 A LGEBRA DAS PROPOSIES E O MTODO DEDUTIVO

E vamos que vamos... E como de praxe, iniciarei resolvendo a questo da aula passada, que , na verdade, uma adaptao da questo do MPOG-2003 da nossa primeira aula. Vamos a ela! Questo) Ana artista ou Carlos carioca. Se Jorge juiz, ento Breno no bonito. Se Carlos carioca, ento Breno bonito. Isso logicamente equivalente a dizer que verdade que: 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) Nenhuma das alternativas anteriores

Resoluo Vocs devem estar lembrados daquela questo resolvida na aula passada, certo?! L, primeiramente montei a tabela-verdade do enunciado e, depois, fui montando a tabela-verdade de cada item (a, b, c, d e e). Quando terminamos toda aquela mo-de-obra, comparamos a ltima coluna da tabela-verdade do enunciado com a ltima coluna da tabela-verdade de cada item. Encontramos que a tabela-verdade do item a) era idntica tabela-verdade do enunciado, o que nos permitiu afirmar que ~ (p ^ q) era logicamente equivalente a (~p v ~q) para aquela questo. Deu um trabalho...! Agora, para resolver esta questo, podemos simplificar as coisas. Como? Vamos representar primeiro as proposies simples, da linguagem corrente para a linguagem simblica: p: Ana artista q: Carlos carioca r: Jorge juiz t: Breno bonito

Lgica Matemtica para concursos Dudu cearense


Escrevendo as proposies: pvq r ~t qt (p v q) ^ (r ~t) ^ (q t) Note que cada orao (melhor dizendo, cada perodo, em bom portugus) corresponde a uma proposio composta, e as mesmas proposies so relacionadas por meio do ^. Sempre! Esse formato de questo nos dar condies de enxugar muito o mtodo de resoluo atravs da tabela-verdade, como vamos fazer com esta questo. Dando proseguimento, montaremos a tabela-verdade do enunciado:
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

Veja que o nmero de linhas 2n, onde n o nmero de proposies simples. Agora voc deve estar convencido de que trabalhar com as tabelas-verdade, s vezes, realmente d muito trabalho, no mesmo?! Bem, iremos continuar, mas de maneira um pouco diferente, quer dizer, de maneira mais enxuta, como foi dito anteriormente. Ao invs de montar uma tabela-verdade para cada item (a, b, c, d e e), iremos dar uma olhada na ltima coluna da tabela anterior, onde existe um nico V, que se encontra na linha 12. Nessa mesma linha, observe que (p v q), (r ~t) e (q t) so todas proposies verdadeiras. bvio ser essas proposies todas verdadeiras, pois, caso pelo menos uma fosse falsa, toda a proposio ((p v q) ^ (r ~t) ^ (q t)) seria falsa (regra da conjuno). Ops!, ento na linha 12 devero estar todos os valores lgicos das proposies simples. Assim:

Lgica Matemtica para concursos Dudu cearense


linha 12)

p V

q F

r V

t F

A, com os valores lgicos das proposies p, q, r e t, podemos testar cada item: a) Jorge juiz e Breno bonito r ^ t => V ^ F = FALSIDADE b) Carlos carioca ou Breno bonito q v t => F v F = FALSIDADE c) Breno bonito e Ana artista t ^ p => F ^ V = FALSIDADE d) Ana no artista e Carlos carioca ~t ^ q => ~F ^ F => V ^ F = FALSIDADE e) Nenhuma das alternativas anteriores Esse seria o item correto. Porm, podemos montar muitas proposies de valor lgico verdadeiro, tais como: - Ana artista e Jorge juiz - Ana artista e Breno no bonito - Carlos carioca ou Carlos carioca - Carlos carioca ou Breno no bonito Moral da histria: quando se optar resolver questes por tabelas-verdade, prefervel verificar os valores lgicos de cada proposio simples, quando tanto a ltima coluna quanto suas proposies forem V.

Pronto... indo para o assunto de hoje: a lgebra das proposies e o mtodo dedutivo. Em aula ltima, eu disse que seria mais racional usarmos, por motivos j expostos, o mtodo dedutivo em questes de concursos, atravs da lgebra das proposies. A grande valia do uso deste mtodo a facilidade de se encontrar uma equivalente para uma dada proposio composta. Sem mais arrodeios, segue abaixo as principais propriedades da lgebra das proposies (no se assustem, esse negcio s tem tamanho, pode crer!):

Lgica Matemtica para concursos Dudu cearense


1) p ^ p <=> p 2) p ^ q <=> q ^ p 3) p v q <=> q v p 4) (p ^ q) ^ r <=> p ^ (q ^ r) 5) (p v q) v r <=> p v (q v r) 6) p ^ q <=> p (identidade) 7) p v p <=> p 8) p ^ (q v r) <=> (p ^ q) v (p ^ r) (distributiva) 9) p v (q ^ r) <=> (p v q) ^ (p v r) 10) p ^ (p v q) <=> p 11) p v (p ^ q) <=> p 12) ~(p ^ q) <=> ~p v ~q 13) ~(p v q) <=> ~p ^ ~q (Morgan) (Morgan) (idempotente)

14) p q <=> (p q) ^ (q p)

Todas essas equivalncias podem ser demonstradas atravs de tabelas-verdade. O que nos importa, no entanto, conhecer tais equivalncias. Vamos resolver a questo da aula passada e vermos a aplicao dessa lgebra das proposies. Como prometido, usarei apenas uma linha. Vou transcrev-la aqui: (AFC-2002) Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente a dizer que verdade que: a) Pedro no pobre ou Alberto no alto. b) Pedro no pobre e Alberto no alto. c) Pedro pobre ou Alberto no alto. d) se Pedro no pobre, ento Alberto alto. se Pedro no pobre, ento Alberto no alto. Resoluo J sabemos que a proposio do nosso enunciado ~(p ^ q). Destrinchando pelo mtodo dedutivo:

Lgica Matemtica para concursos Dudu cearense


~ (p ^ q) ~p v ~q Observando esta proposio, lemos que Pedro no pobre ou Alberto no alto. Pronto, j encontramos a nossa resposta em apenas uma linha: letra a). Vamos pegar agora a questo do MPOG-2003, da nossa primeira aula: 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 Resoluo p: Ana artista q: Carlos carioca r: Jorge juiz t: Breno bonito J encontramos a proposio para a questo dada no incio desta aula: (p v q) ^ (r ~t) ^ (q t) Usando o mtodo dedutivo: (p v q) ^ (r ~t) ^ (q t) (substituindo a 3 proposio por uma equivalente) (p v q) ^ (r ~t) ^ (~t ~q) (Silogismo hipottico da 2 e 3 proprosies) (p v q) ^ (r ~q) (substituindo a 2 por uma equivalente) (p v q) ^ (~r v ~q) (dando valor lgico verdadeiro a proposio r, como manda o enunciado) (p v q) ^ (~V v ~q) (negao da verdade uma falsidade) (p v q) ^ (F v ~q) (disjuno) (p v q) ^ ~q (distributiva) (p ^ ~q) v (q ^ ~q) (conjuno) (p ^ ~q) v F (disjuno) p ^ ~q Assim, temos que Ana artista e Carlos no carioca, sendo nossa resposta o item e). Sacou?! Para voc aprender s praticar bastante. Outra ento... (Aplicando a regra de Morgan)

Lgica Matemtica para concursos Dudu cearense


(MPOG-2001) Dizer que Andr artista ou Bernardo no engenheiro logicamente eqivalente a dizer que: a) b) c) d) e) Andr artista se e somente se Bernardo no engenheiro. Se Andr artista, ento Bernardo no engenheiro. Se Andr no artista, ento Bernardo engenheiro. Se Bernardo engenheiro, ento Andr artista. Andr no artista e Bernardo engenheiro

Resoluo Representando as proposies simples: p: Andr artista q: Bernardo engenheiro Escrevendo em linguagem simblica: p v ~q Vemos que, de cara, o item a) descartado, pois se trata de uma bicondicional (p ~q), e sua equivalente (p ~q) ^ (~q p), o que nos leva a dizer que no existe nenhuma equivalncia entre (p v ~q) e (p ~q). Os itens b, c e d trazem a condicional. Ento escrevendo uma proposio equivalente a (p v ~q): (p v ~q) <=> (~p ~q) Podemos, ainda, substituir (~p ~q) por outra equivalente: (~p ~q) <=> (q p) A, lemos se Bernardo engenheiro, ento Andr artista, onde marcaramos o item d) como verdadeiro. O item e) apenas a negao da proposio (p v ~q) do enunciado. Assim: ~(p v ~q) Aplicando a regra de Morgan, teramos: ~p ^ q Que se l Andr no artista e Bernardo engenheiro, contedo este do item e). Porm, o item e) estaria errado porque estamos atrs de uma proposio equivalente a (p v ~q), e no de uma resultante negativa.

Lgica Matemtica para concursos Dudu cearense


Acho que com todas essas minhas observaes, voc j pode andar sozinho e solucionar alguns problemas pelo mtodo dedutivo, usando a lgebra das proposies. Deixarei os prximos cinco para serem destrinchados no prximo encontro. Vou l, que a minha namorada est me chamando.... Fui!

Exerccios (TCE/RN-2000) Maria magra ou Bernardo barrigudo. Se Lcia linda, ento Csar no careca. Se Bernardo barrigudo, ento Csar careca. Ora, Lcia linda. Logo: a) b) c) d) e) Maria magra e Bernardo no barrigudo Bernardo barrigudo ou Csar careca Csar careca e Maria magra Maria no magra e Bernardo barrigudo Lcia linda e Csar careca

(Engenheiro do Trabalho-1998) Dizer que "Pedro no pedreiro ou Paulo paulista" , do ponto de vista lgico, o mesmo que dizer que: a) b) c) d) e) se Pedro pedreiro, ento Paulo paulista se Paulo paulista, ento Pedro pedreiro se Pedro no pedreiro, ento Paulo paulista se Pedro pedreiro, ento Paulo no paulista se Pedro no pedreiro, ento Paulo no paulista

(Engenheiro do Trabalho-1998) A negao da afirmao condicional "se estiver chovendo, eu levo o guarda-chuva" : a) b) c) d) e) se no estiver chovendo, eu levo o guarda-chuva no est chovendo e eu levo o guarda-chuva no est chovendo e eu no levo o guarda-chuva se estiver chovendo, eu no levo o guarda-chuva est chovendo e eu no levo o guarda-chuva

(Engenheiro do Trabalho-1998) Se o jardim no florido, ento o gato mia. Se o jardim florido, ento o passarinho no canta. Ora, o passarinho canta. Logo: a) b) c) d) e) o jardim florido e o gato mia o jardim florido e o gato no mia o jardim no florido e o gato mia o jardim no florido e o gato no mia se o passarinho canta, ento o gato no mia

Lgica Matemtica para concursos Dudu cearense


(Engenheiro do Trabalho-1998) Chama-se tautologia a toda proposio que sempre verdadeira, independentemente da verdade dos termos que a compem. Um exemplo de tautologia : a) b) c) d) e) se Joo alto, ento Joo alto ou Guilherme gordo se Joo alto, ento Joo alto e Guilherme gordo se Joo alto ou Guilherme gordo, ento Guilherme gordo se Joo alto ou Guilherme gordo, ento Joo alto e Guilherme gordo se Joo alto ou no alto, ento Guilherme gordo