Este documento apresenta uma lista de exercícios sobre lógica proposicional. Ele contém três exercícios com solução no livro e dois exercícios sem solução, sendo um sobre validade de expressões lógicas e outro sobre construção de tabela-verdade.
1. Disciplina de Estruturas Lógico-Dedutivas
Lista de Exercı́cios 1
Fórmulas, argumentos e tabelas-verdade
Fazer os exercı́cios sem olhar para a solução. Use a solução apenas quando
quiser conferir sua própria solução ou quiser tirar dúvidas.
1 Exercı́cios com solução no livro
1. (3.1, p. 93) Veja o enunciado no livro
2. (3.3, p. 99) Veja o enunciado no livro
3. (4.3, p. 171) Construa a tabela-verdade para a fórmula
(P ∨ Q) ∧ ¬(P ∧ Q)
.
2 Exercı́cios sem solução
1. Use as regras da sintaxe da lógica sentencial e verifique se as seguintes
expressões são fórmulas válidas.
(a) (P → Q) ∨ R → Q
(b) (P ∨ Q) ∧ ¬R
2. Construa a tabela-verdade para a fórmula
(P ∨ Q → R) ∧ (P ≡ Q)
1