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 P q r t ~t pvq r ~t qt (p v q) ^ (r ~t) ^ (q t)

1) V V V V F V F V F
2) V V V F V V V F F
3) V V F F V V V F F
4) V F F F V V V V F
5) F V V V F V F V F
6) F F V V F F F V F
7) F F F V F F V V F
8) V F V V F V F V F
9) V V F V F V V V F
10) F F V F V F V V F
11) F V F F V V V F F
12) V F V F V V V V V
13) F V F V F V V V F
14) F V V F V V V F F
15) V F F V F V V V F
16) F F F F V F V V 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 p q r t
12) V F V 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 (idempotente)

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 (Morgan)

13) ~(p v q) <=> ~p ^ ~q (Morgan)

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) (Aplicando a regra de Morgan)

~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...

Lgica Matemtica para concursos Dudu cearense

(MPOG-2001) Dizer que Andr artista ou Bernardo no engenheiro logicamente eqivalente

a dizer que:

a) Andr artista se e somente se Bernardo no engenheiro.

b) Se Andr artista, ento Bernardo no engenheiro.
c) Se Andr no artista, ento Bernardo engenheiro.
d) Se Bernardo engenheiro, ento Andr artista.
e) 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) Maria magra e Bernardo no barrigudo

b) Bernardo barrigudo ou Csar careca
c) Csar careca e Maria magra
d) Maria no magra e Bernardo barrigudo
e) 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) 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

(Engenheiro do Trabalho-1998) A negao da afirmao condicional "se estiver chovendo, eu levo

o guarda-chuva" :

a) se no estiver chovendo, eu levo o guarda-chuva

b) no est chovendo e eu levo o guarda-chuva
c) no est chovendo e eu no levo o guarda-chuva
d) se estiver chovendo, eu no levo o guarda-chuva
e) 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) 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
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) se Joo alto, ento Joo alto ou Guilherme gordo

b) se Joo alto, ento Joo alto e Guilherme gordo
c) se Joo alto ou Guilherme gordo, ento Guilherme gordo
d) se Joo alto ou Guilherme gordo, ento Joo alto e Guilherme gordo
e) se Joo alto ou no alto, ento Guilherme gordo