Sumários
Tema 2
3 Outubro 2017, 09:30 • Mário Jorge Edmundo
A forma lógica de uma condição; exemplos; condições universais, condições possíveis e condições impossíveis; o princípio do terceiro excluído.
Folha 1C
2 Outubro 2017, 13:30 • Maria João Antunes Dias Gouveia
Resolução dos exercícios 2 e 3 da folha 1C.
Folha 1C
2 Outubro 2017, 11:00 • Maria João Antunes Dias Gouveia
Resolução dos exercícios 2 e 3 da folha 1C.
Exercícios 1C
2 Outubro 2017, 11:00 • Mário Jorge Edmundo
Resolução dos exercícios da folha de exercícios 1C.
Folhas de exercícios 1B e 1C
29 Setembro 2017, 14: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.