Este documento apresenta uma lista de exercícios de lógica proposicional para serem resolvidos utilizando apenas regras básicas de dedução. A lista contém 11 exercícios que envolvem a aplicação de conceitos como conjunção, disjunção, implicação, equivalência e negação para provar conclusões a partir de premissas dadas.
1. Disciplina de Estruturas L´ogico-Dedutivas
Lista de Exerc´ıcios 3
M´etodo dedutivo da l´ogica sentencial: regras
hipot´eticas e n˜ao-hipot´eticas
Fazer os exerc´ıcios sem olhar para a solu¸c˜ao. Use a solu¸c˜ao apenas quando
quiser conferir sua pr´opria solu¸c˜ao ou quiser tirar d´uvidas. As solu¸c˜oes dos
exerc´ıcios encontram-se no livro.
Provar uando apenas as regras b´asicas:
1. (3.8, p. 106) (P ∧ Q) → (R ∧ S), ¬¬P, Q S
2. (3.11, p. 108) P, ¬¬(P → Q) Q ∨ ¬Q
3. (3.12, p. 108) P, ¬¬(P → Q) (R ∧ S) ∨ Q
4. (3.13, p. 109) P P ∨ P
5. (3.16, p. 111) P ∨ P, P → (Q ∧ R) R
6. (3.18, p. 112) P → Q, (P → Q) → (Q → P) P ≡ Q
7. (3.21, p. 117) P (P → Q) → Q
8. (3.24, p. 120) (P ∧ Q) ∨ (P ∧ R) P ∧ (Q ∨ R)
9. (3.26, p. 123) P ≡ ¬Q ¬(P ∧ Q)
10. (3.28, p. 124) ¬(¬P ∧ ¬Q), ¬P Q
11. (3.30, p. 126) P → Q ¬P ∨ Q
1