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

Solução dos Exercícios de Lógica Proposicional (14/03/06)
1. Nas demonstrações a seguir, foram usadas apenas as regras básicas de
equivalência e de inferência. Para cada demonstração a seguir, justifique cada
passo na seqüência de demonstração.
a. A  B  (A  C)  (B  D)  C  D.
1. A hip 4. B  D hip 7. C  D 5, 6,
2. B hip 5. C 1, 3, mp conj
3. A  C hip 6. D 2, 4, mp
b. (A  B)  B’  (C  A)  C’.
1. A  B hip 3. C  A hip 5. C’ 3, 4, mt
2. B’ hip 4. A’ 1, 2, mt
c. (A  B)  A’  B (silogismo disjuntivo).
1. A  B hip 3. (A’)’  B 1, dn 5. B 2, 4, mp
2. A’ hip 4. A’  B 3, cond
d. (P  Q)  (Q  R)  P  R.
1. P  Q hip 3. P hip 5. R 2, 4, mp
2. Q  R hip 4. Q 1, 3, mp
2. Prove a validade dos argumentos a seguir usando lógica proposicional.
a. (A  B)  (C  B´)  A  C.
1. A  B hip 5. B  C 4, cond
2. C  B´ hip 6. B 1, 3, mp
3. A hip 7. C 5, 6, mp
4. B´ C 2, com
b. (A  B)  (C´  B´)  C´  A´.
1. A  B hip 4. B´ 2, 3, mp
2. C´ B´ hip 5. A´ 1, 4, mt
3. C´ hip
c. (A´ B)  (B´ C)  (C  D)  D´ A.
1. A´ B hip 6. B  C 2, cond
2. B´ C hip 7. B´ 5, 6, mt
3. C  D hip 8. (A´)´ 1, 7, mt
4. D´ hip 9. A 8, dn
5. C´ 3, 4, mt
d. [(A  B´)  C]  (C  D)  A  D.
1. (A  B´)  C hip 4. A  B´ 3, ad
2. C  D hip 5. C 1, 4, mp
3. A hip 6. D 2, 5, mp
e. (A  B)  (B  C)  (C  D)  D´  A´.
1. A  B hip 4. D´ hip 6. B´ 2, 5,
2. B  C hip 5. C´ 3, 4, mt mt
3. C  D hip 7. A´ 1, 6, mt

1
 f. (A´ B)  (B  C)  A  C.
1. A´ B hip 4. A  B hip
2. B  C hip 5. B 3, 4, mp
3. A hip 6. C 2, 5, mp
g. (A´ B´)  B  (A  C)  C.
1. A´ B´ hip 5. (A´)´ 1, 4, mt
2. B hip 6. A 5, dn
3. A  C hip 7. C 3, 6, mp
4. (B´)´ 2, dn
h. [A  (B  C)]  (A  D´)  B  D  C.
1. A  (B  C) hip 6. D  A 5, cond
2. A  D´ hip 7. A 4, 6, mp
3. B hip 8. B  C 1, 7, mp
4. D hip 9. C 3, 8, mp
5. D´ A 2, com
3. Demonstre a contraposição. Temos que mostrar que (P  Q)  (Q´ P´) e que (Q
´ P´)  (P  Q). Como as conclusões são condicionais, vamos usar hipótese
temporário em cada uma das demonstrações. Observe a utilização das hipóteses
temporárias: a colocação em caixas facilita a visualização; a retirada da hipótese
temporária é sempre um condicional cujo antecedente é a hipótese temporária e cujo
conseqüente é a última linha da caixa.
Demonstração de (P  Q)  (Q´ P´):
1. P  Q hip
2. Q´ hip temp
3. P´ 1, 2, mt
4. Q´ P´ retirada da hip temp
Demonstração de (Q´ P´)  (P  Q):
1. Q´ P´ hip
2. P hip temp
3. (P´)´ 2, dn
4. (Q´)´ 1, 3, mt
5. Q 4, dn
6. P  Q retirada da hip temp
4. Encontre uma seqüência de demonstração para o argumento (A  B)  (B  C) 
(C  D)  (A  D).
1. A  B hip
2. B  C hip
3. C  D hip
4. A hip temp
5. B 1, 4, mp
6. C 2, 5, mp
7. D 3, 6, mp
8. A  D retirada da hip temp

2
5. Demonstre a regra de importação: [P  (Q  R)]  [(P  Q)  R].
1. P  (Q  R) hip
2. PQ hip temp
3. P 2, simp
4. Q 2, simp
5. QR 1, 3, mp
6. R 4, 5, mp
7. P  Q  R retirada da hip temp
6. Demonstre a regra de exportação: [(P  Q)  R]  [P  (Q  R)].
1. P  Q  R hip
2. P hip temp 1
3. Q hip temp 2
4. PQ 2, 3, conj
5. R 1, 4, mp
6. QR retirada da hip temp 2
7. P  (Q  R) retirada da hip temp 1
(Observe o fechamento de cada caixa; a caixa mais interna tem que ser fechada
antes que possamos fechar a externa; ao fechar cada caixa, obtemos um condicional
cujo antecedente é a 1ª linha da caixa e cujo conseqüente é a última linha.)