Folhas de exercícios 1B e 1C
29 Setembro 2017, 11:00 • Maria João Antunes Dias Gouveia
Conclusão da resolução dos exercícios da folha 1B.
Demonstração da equivalência
γ ∨ (α ∧ β) ⇔ (γ ∨ α) ∧ (γ ∨ β)
a partir da comutatividade de ∨ e da regra de substituição
(α ∧ β) ∨ γ ⇔ (α ∨ γ) ∧ (β ∨ γ) dada na aula teórica.
Deste modo os alunos podem usar qualquer uma das equivalências como regra de substituição "distributividade de ∨ em relação a ∧".
Para a "distributividade de ∧ em relação a ∨" procede-se de forma análoga.
Resolução do exercício 1 da folha 1C.