Lista de Exercícios de Estruturas Lógico-Dedutivas
1. Disciplina de Estruturas L´ogico-Dedutivas
Lista de Exerc´ıcios 2
Tautologias, contradi¸c˜oes, contingˆencias,
rela¸c˜ao de consequˆencia l´ogica
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.
1 Exerc´ıcios com solu¸c˜ao no livro
1. (4.7, p. 175) Veja o enunciado no livro
2. (4.8, p. 176) Veja o enunciado no livro
3. Construa a tabela-verdade e verifique se ´e v´alida a rela¸c˜ao de con-
sequˆencia l´ogica
(a) (4.10, p. 178) P ∨ Q, ¬P Q
(b) (4.11, p. 180) P → Q, Q P
(c) (4.12, p. 182) P → Q, P → ¬Q ¬P
(d) (4.13, p. 183) P → Q ¬(Q → P)
(e) (4.14, p. 183) P ∨ Q, Q ∨ R P ∨ R
4. (II. 2, 4, 6, 8, 10, p. 204) Veja o enunciado no livro
2 Exerc´ıcios sem solu¸c˜ao
1. Verifique se ´e uma tautologia
(a) ¬¬P → P
(b) ((P → Q) ∧ (Q → R)) → (P → R)
1
2. 2. Construa a tabela-verdade e verifique se ´e v´alida a rela¸c˜ao de con-
sequˆencia l´ogica
(P → Q) ∧ R P ∨ R
2