Provas de equivalências lógicas usando método dedutivo
1. Disciplina de Estruturas L´ogico-Dedutivas
Lista de Exerc´ıcios 5
M´etodo dedutivo da l´ogica sentencial: provas
de equivalˆencias
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 em documento `a parte.
Provar usando apenas as regras b´asicas e considerando as estrat´egias de
prova:
1. (P ∧ Q) ≡ ¬(¬P ∨ ¬Q)
2. (P ∧ Q) ≡ ¬(P → ¬Q)
3. (P ∨ Q) ≡ ¬P → Q
4. P ≡ ((P ∧ Q) ∨ (P ∧ ¬Q))
5. ¬(P → Q) ≡ (P ∧ ¬Q)
1