FUNDAÇÃO EDUCACIONAL SERRA DOS ÓRGÃOS

FACULDADES UNIFICADAS
Centro de Ciências Humanas e Sociais
Curso de Graduação em Tecnologia em Processamento de Dados

Lógica Matemática – 2006-1 – Profa. Valéria Iorio

Exercícios para 30/03/2006 (para a 1ª Avaliação)

1. Vamos denotar por P a proposição A  (B  C) e por Q a proposição (A  B)  C, de

modo que a proposição dada é P  Q. Esta proposição é uma tautologia:

A B C BC AB P Q P  Q

V V V V V V V V

V V F F V F F V

V F V V F V V V

V F F V F V V V

F V V V F V V V

F V F F F V V V

F F V V F V V V

F F F V F V V V

2. A proposição dada é (A  B)  (B  C)´  A´, que não é tautologia nem contradição:

A B C A´ AB BC (B  C)´ (A  B)  (B  C)´  A´

V V V F V V F V

V V F F V F V V

V F V F F F V V

V F F F F V F F

F V V V V V F V

F V F V V F V V

F F V V V F V V

F F F V V V F V

3. A proposição dada é (A  B)  A  B´, que é uma contradição.

1
 A B B´ AB (A  B)  A  B´
V V F V F
V F V F F
F V F V F
F F V V F
4. Não há necessidade de fazer a tabela-verdade completa:
(A  B)’  C  (D  A) (A  B)’ C DA AB A B D
V V V V F V F V
5. Novamente, não há necessidade de fazer a tabela-verdade completa:
(A  B)  (B  C)  (C  D) AB BC CD A B C D
F F F F V F V F
6. Se A ou B for verdadeira, mas não ambas, então A  B é verdadeira, mas A  B é falsa;
como queremos C falsa, a proposição desejada é (A  B)  (A  B)´ C´.
7. O conectivo binário  é definido pela seguinte tabela-verdade:

A B AB

V V F

V F F

F V F

F F V

Como A  B  (A´ B´)´, A  B  A´ B e (A  B)  (A  B)  (B  A), basta

escrever A´ e A  B em função de . Vamos mostrar, então que A´ A  A e que A  B
 A´ B´:
A B A´ B´ AA A  (A  A) AB A´  B´ (AB)  (A´ B´)
V V F F F V V V V
V F F V F V F F V
F V V F V V F F V
F F V V V V F F V
8. Dizer que “pelo menos um de nós é mentiroso” é equivalente a dizer que Merlim é
mentiroso ou Gremlim é mentiroso. Notação: M := “Merlim sempre diz a verdade”;
G := “Gremlim sempre diz a verdade”. Neste país, o valor lógico de M tem que ser
igual ao valor lógico do que ele diz, que é M´ G´:
M G M´ G´ M´ G´
V V F F F
V F F V V
F V V F V
F F V V V
Como a única linha onde M e M´ G´têm o mesmo valor lógico é a segunda, Merlim sempre
diz a verdade e Gremlim é mentiroso.

2
9. Não esqueça de indicar as letras usadas.
a. Notação: A := “Alfredo gosta de cantar”, B := “Alfredo gosta de tocar violão”.
Simbolização: A  B´. Negação: A´ B. Negação em português: Alfredo não gosta de
cantar ou gosta de tocar violão.
b. Bernardo vai comprar um livro de fantasia ou de ficção científica. Notação: A :=
“Bernardo vai comprar um livro de fantasia”, B := “Bernardo vai comprar um livro de
ficção científica”. Simbolização: A  B. Negação: A´ B´. Negação em português:
Bernardo não vai comprar um livro de fantasia nem de ficção científica.
c. Notação: A := “Clarisse vai viajar”, B := “Clarisse vai para Salvador”, C := “Clarisse vai
para Florianópolis”. Simbolização: A  (B  C). Negação: A´ (B´ C´)  A  B´ C´.
Negação em português: Se Clarisse viajar, não vai para Salvador nem para
Florianópolis.
d. Se chover, Daniel vai visitar sua avó. Mas, se não chover, ele vai à praia. Notação: A :=
“vai chover”, B := “Daniel vai visitar sua avó”, C := “Daniel vai à praia”. Simbolização: (A
 B)  (A´ C). Negação: (A  B´)  (A´ C´). Negação em português: Vai chover,
mas Daniel não vai visitar sua avó. Ou não vai chover, mas ele não vai à praia.
e. Eliana só vai para a Europa se seu pai lhe der dinheiro. Notação: A := “Eliana vai para
a Europa”, B := “seu pai vai lhe dar dinheiro”. Simbolização: A  B. Negação: A  B´.
Negação em português: Eliana vai para a Europa mesmo que seu pai não lhe dê
dinheiro.
f. Se Frederico passar no vestibular, seu pai vai lhe dar um carro. Se ele não passar, vai
trabalhar e comprar um carro. Portanto, Frederico vai ter um carro. Notação: A :=
“Frederico vai passar no vestibular”, B := “Frederico vai ter um carro”, C := “Frederico
vai trabalhar”. Simbolização: (A  B)  (A´ C  B)  B. Negação: (A  B)  (A´
C  B)  B´. Negação em português: Se Frederico passar no vestibular, seu pai vai lhe
dar um carro. Se ele não passar, vai trabalhar e comprar um carro. Mas Frederico não
vai ter um carro.
10. Cada uma das sentenças a seguir pode ser representada por um condicional.
Identifique o antecedente e o conseqüente de cada uma delas.
a. O pagamento de dívidas anteriores é condição necessária para um aluno efetuar
sua matrícula. Antecedente: o aluno efetuar sua matrícula; conseqüente: o
pagamento de dívidas anteriores. (Simbolização: M  D, onde M := “o aluno efetuou
sua matrícula”, D := “ foi feito o pagamento de dívidas anteriores”. Frase equivalente:
“Se o aluno efetuou sua matrícula, então ele pagou suas dívidas anteriores”.)
b. Para se obter uma boa nota na prova, basta estudar. Antecedente: estudar;
conseqüente: obter uma boa nota na prova. (Simbolização: E  N, onde E := “o aluno
estudou”, N := “ o aluno obteve uma boa nota na prova”. Frase equivalente: “Se o aluno
estudar, então vai obter uma boa nota na prova”.)
c. Estudar é condição suficiente para a aprovação de um aluno. Antecedente:
estudar; conseqüente: a aprovação do aluno. (Simbolização: E  A, onde E := “o aluno
estudou”, A := “ o aluno foi aprovado”. Frase equivalente: “Se o aluno estudar, então
será aprovado”.)
d. O cavaleiro vencerá só se o cavalo estiver descansado e a armadura for forte.
Antecedente: o cavaleiro vencer; conseqüente: o cavalo estar descansado e a
armadura ser forte. (Simbolização: V  D  F, onde E := “o cavaleiro venceu”, D := “ o

3
 cavalo estava descansado”, F := “a armadura era forte”. Frase equivalente: “Se o
cavaleiro venceu, então o cavalo estava descansado e a armadura era forte”.)
11. Escreva a contrapositiva e a recíproca das sentenças dadas no Exercício 10.
(Atenção: a contrapositiva é equivalente à proposição dada; a recíproca, não.)
a. Contrapositiva: Se o aluno não pagar as dívidas anteriores, não poderá efetuar sua
matrícula. (Simbolização: D´  M´.) Recíproca: O pagamento de dívidas anteriores é
condição suficiente para um aluno efetuar sua matrícula. (Simbolização: D  M.)
b. Contrapositiva: Se o aluno não obteve uma boa nota na prova, então não estudou.
(Simbolização: N´  E´.) Recíproca: Para se obter uma boa nota na prova, é
necessário estudar. (Simbolização: N  E.)
c. Contrapositiva: Se o aluno não foi aprovado, então não estudou. (Simbolização: A´ 
E´.) Recíproca: Estudar é condição necessária para a aprovação de um aluno.
(Simbolização: A  E.)
d. Contrapositiva: Se o cavalo não estiver descansado ou se a armadura não for forte,
então o cavaleiro não vencerá. (Simbolização: (D  F)´ V´, que é equivalente a D´ F
´ V´.) Recíproca: Se o cavalo estiver descansado e a armadura for forte, então o
cavaleiro vencerá. (Simbolização: D  F V.)
12. a. O presidente fará um pronunciamento ou o horário da novela não será postergado.
b. O presidente fará um pronunciamento, mas, se o horário da novela for postergado,
então haverá programa gratuito eleitoral hoje.
c. O presidente fará um pronunciamento ou haverá programa gratuito eleitoral hoje. Mas
o horário da novela não será postergado.
d. O presidente fará um pronunciamento, mas o horário da novela será postergado ou
haverá programa gratuito eleitoral hoje.
13. A negação de uma conjunção ou de uma disjunção é dada pelas leis de De Morgan; já vimos
que a negação de um condicional é equivalente à conjunção do antecedente com a negação
do conseqüente.
a. (A  B´)  A´ (B´)´ A´ B.
b. [A  (B  C)]´ A´ (B  C)´ A´ (B  C´).
c. [(A  C)  B´]´ (A  C)´ (B´)´ (A´ C´)  B.
d. [A  (B  C)]´ A´ (B  C)´ A´ (B´ C´).
14. Demonstração: 1. P hip
2. P  P 1, 1, conj
15. Demonstração: 1. P´ P´ P´ Exercício 14
2. (P´  P´)´ (P´)´ 2, cont
3. (P´)´ (P´)´  (P´)´ 1, De Morgan
4. P  P  P 3, dn
16. Temos que fazer duas demonstrações: P  (Q  R)  (P  Q)  (P  R) e (P  Q)  (P  R)
 P  (Q  R). Vamos demonstrar primeiro a validade de P  (Q  R)  (P  Q)  (P  R).
Seguindo a sugestão, vamos reescrever a conclusão que, sendo uma disjunção, pode ser
colocada na forma de um condicional. De fato, usando primeiro a dupla negação, depois a
lei de De Morgan e a regra do condicional, obtemos: (P  Q)  (P  R)  [(P  Q)´]´  (P 

4
R)  (P´ Q´)´  (P  R)  P´ Q´ P  R. Portanto a nossa conclusão é um condicional
e a hipótese temporária apropriada é seu antecedente, P´ Q´.
Demonstração da validade de P  (Q  R)  (P  Q)  (P  R):
1. P hip
2. Q  R hip
3. P´ Q´ hip. temp.
4. P  Q´ 3, cond
5. Q´ 1, 4, mp
6. (Q´)´ R 2, dn
7. Q´ R 6, cond
8. R 5, 7, mp
9. PR 1, 8, conj
10. P´ Q´ P  R retirada da hip. temp.
11. (P´ Q´)´ (P  R) 10, cond
12. [(P´)´ (Q´)´]  (P  R) 11, De Morgan
13. (P  Q)  (P  R) 12, dn
Vamos demonstrar agora a recíproca, isto é, (P  Q)  (P  R)  P  (Q  R). Uma parte
da conclusão pode ser colocada na forma de um condicional. De fato, usando primeiro a
dupla negação e depois a regra do condicional, obtemos: Q  R  (Q´)´ R  Q´ R.
Mas como conseguir P? Podemos escrever P como um condicional? Sim, basta usar o
Exercício 15, que nos permite obter P de P  P que, como vimos, é equivalente a P´ P.
Demonstração da validade de (P  Q)  (P  R)  P  (Q  R):
1. (P  Q)  (P  R) hip
2. [(P  Q)´]´ (P  R) 1, dn
3. (P´ Q´)´ (P  R) 2, De Morgan
4. P´ Q´ P  R 3, cond
5. Q´ hip. temp.
6. Q´ P´ 5, ad
7. P´ Q´ 6, com
8. PR 3, 6, mp
9. R 8, simp
10. Q´ R retirada da hip. temp.
11. (Q´)´ R 10, cond
12. Q  R 11, dn
13. P´ hip. temp.
14. P´ Q´ 13, ad
15. PR 4, 14, mp
16. P 15, simp
17. P´ P retirada da hip. temp.
18. (P´)´ P 17, cond
19. P  P 18, dn
20. P Exercício 15
21. P  (Q  R) 20, 21, conj

5
17. Como no Exercício 16, precisamos fazer duas demonstrações: P  (Q  R)  (P  Q)  (P 
R) e (P  Q)  (P  R)  P  (Q  R). Para demonstrar a primeira, vamos usar a sugestão e
provar ambas as proposições P  (Q  R)  P  Q e P  (Q  R)  P  R separadamente;
para cada demonstração, vamos escrever a conclusão como um condicional para poder usar
uma hipótese temporária.
Demonstração da validade de P  (Q  R)  (P  Q)  (P  R):
1. P  (Q  R) hip
2. (P´)´ (Q  R) 1, dn
3. P´ Q  R 2, cond
4. P´ hip. temp.
5. QR 3, 4, mp
6. Q 5, simp
7. P´ Q retirada da hip. temp.
8. (P´)´ Q 7, cond
9. P  Q 8, dn
10. P´ hip. temp.
11. QR 3, 4, mp
12. R 11, simp
13. P´ R retirada da hip. temp.
14. (P´)´ R 13, cond
15. P  R 14, dn
16. (P  Q)  (P  R) 9, 15, conj
Demonstração da validade de (P  Q)  (P  R)  P  (Q  R):
1. P  Q hip
2. P  R hip
3. (P´)´ Q 1, dn
4. P´ Q 3, cond
5. (P´)´ R 2, dn
6. P´ R 5, cond
7. P´ hip. temp.
8. Q 4, 7, mp
9. R 6, 7, mp
10. QR 8, 9, conj
11. P´ Q  R retirada da hip. temp.
12. (P´)´ (Q  R) 11, cond
13. P  (Q  R) 12, dn
18. Agora vamos usar todas as regras.
a. Demonstração de (A  B)  (A´  B)  B:
1. A  B hip 5. (B´)´ B 4, cond
2. A´ B hip 6. B  B 5, dn
3. B´ A´ 1, cont 7. B 6, auto
4. B´ B 3, 2, sh
b. Demonstração de (A´ B  C)  (C  D)  D´  A:
1. A´ B  C hip 2. C  D hip

6
 3. D´ hip 6. (A´)´ B´ 5, De Morgan
4. C´ 2, 3, mt 7. A  B´ 6, dn
5. (A´ B)´ 1, 5, mt 8. A 7, simp
c. Demonstração de (A  B)  (B´ C)  (D  C´)  (A  D´):
1. A  B hip 5. A  C 1, 4, sh
2. B´ C hip 6. (C´)´ D´ 3, cont
3. D  C´ hip 7. C  D´ 6, dn
4. B  C 2, cond 8. A  D´ 5, 7, sh
d. Demonstração de (A  B)  (C  B´)  (D´  C)  (D  A´):
1. A  B hip 5. D  B´ 4, 2, sh
2. C  B´ hip 6. B´ A´ 1, cont
3. D´ C hip 7. D  A´ 5, 6, sh
4. D  C 3, cond
e. Demonstração de (A  B)’  (C’  A)’  (C B’)’  A’:
1. (A  B)´ hip 8. C´  A´ 7, cond
2. (C’  A)’ hip 9. C´ (B´)´ 3, De Morgan
3. (C B’)’ hip 10. (B´)´ C´ 9, com
4. A´ B´ 1, De Morgan 11. B´ C´ 10, cond
5. B´ A´ 4, com 12. B´  A´ 11, 8, sh
6. B  A´ 5, cond 13. A´ 6, 12, Exercício
7. (C´)´ A´ 2, De Morgan 18a
f. Demonstração de [A  (B  C)]  (C’  D)  (D  E’)  (E  A):
1. A  (B  C) hip
2. C’  D hip
3. D  E’ hip
4. E hip. temp.
5. (E´)´ 4, dn
6. D´ 3, 5, mt
7. D  C´ 2, com
8. C´ 6, 7, sd
9. C´ B´ 8, ad
10. B´ C´ 9, com
11. (B  C)´ 10, De Morgan
12. (B  C)´ A 1, com
13. A 11, 12, sd
14. E  A retirada da hip. temp.
19. Notação: A := “Alfredo vai à praia”; B := “Beatriz vai ao cinema”; C := “Clarisse vai à
praia”; D := “Denise vai ao cinema”; E := “vai chover no próximo sábado”.
a. Simbolização: (E´ A)  (E  B)  (A  C)  (B  D).
b. As únicas conclusões válidas são II (E  D) e III (D´ B´).
20. Não podemos esquecer de indicar a notação utilizada.
a. Notação: A := “meu cliente é canhoto”; B := “o diário sumiu”. Simbolização: A  (B´
A´)  B. Demonstração:
1. A hip 2. B´ A´ hip

7
 3. (A´)´ 1, dn 5. B 4, dn
4. (B´)´ 2, 3, mt
b. Notação: A := “segurança é um problema”; B := “o controle será aumentado”; C := “os
negócios pela Internet irão aumentar”. Simbolização: (A  B)  (A´ C)  (B´ C).
Demonstração:
1. A  B hip 3. B´ A´ 1, cont
2. A´ C hip 4. B´ C 3, 2, sh
c. Se o programa for eficiente, executa rapidamente. O programa é eficiente ou tem
algum bug. No entanto, o programa não executa rapidamente. Logo, ele tem um bug.
Notação: A := “o programa é eficiente”; B := “o programa executa rapidamente”; C :=
“o programa tem algum bug”. Simbolização: (A  B)  (A  C)  B´ C.
Demonstração:
1. A  B hip 4. A´ 1, 3, mt
2. A  C hip 5. C 2, 4, sd
3. B´ hip
d. Se o anúncio for bom, o volume de vendas vai aumentar. O anúncio é bom ou a loja vai
fechar. O volume de vendas não vai aumentar. Portanto, a loja vai fechar. Notação:
A := “o anúncio é bom”; B := “o volume de vendas vai aumentar”; C := “a loja vai fechar”.
Simbolização: (A  B)  (A  C)  B´ C. Demonstração: veja o Exercício 20c.
e. Notação: A := “a Rússia era uma potência superior”; B := “França não era
suficientemente poderosa”; C := “Napoleão cometeu um erro”; D := “o exército
perdeu”. Simbolização: A  (B  C)  C´ (D´ B´)  D  A. Demonstração:
1. A hip 6. B 3, 5, sd
2. B  C hip 7. B  D 4, cont
3. C´ hip 8. D 6, 7, mp
4. D´ B´ hip 9. D  A 8, 1, conj
5. C  B 2, com
f. Notação: F := “reconhecer a importância dos argumentos filosóficos”; E :=
“compreender o pensamento escolástico”; O := “apreciar autores modernos
ocidentais”; W := “deixar envolto em mistério o pensamento de Whitehead”; P :=
“caracterizar o pensamento primitivo”; A := “entender Aristóteles”; S := “entender
Sócrates”; K := “entender Kant”. Simbolização:
(P F)  (A E)  (P  A)  (S  K´)  (S O)  (K´ W)  (F  E)  (O  W).
Demonstração:
1. P  F hip 12. (F´)´ E 11, cond
2. A  E hip 13. F  E 12, dn
3. P  A hip 14. K´ S 4, com
4. S  K´ hip 15. K  S 14, cond
5. S  O hip 16. K  O 15, 5, sh
6. K´ W hip 17. O´ K´ 16, cont
7. (P´)´ A 3, dn 18. O´ W 17, 6, sh
8. P´ A 7, cond 19. (O´)´ W 18, cond
9. P´ E 8, 2, sh 20. O  W 19, dn
10. F´ P´ 1, cont 21. (F  E)  (O  W) 13, 20, conj
11. F´ E 10, 9, sh