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.

Exercícios 1C

29 Setembro 2017, 11:00 • Mário Jorge Edmundo

Resolução dos exercícios da folha de exercícios 1C.

Tema 1 e Tema 2

28 Setembro 2017, 11:30 • Mário Jorge Edmundo

Implicação lógica; propriedades da implicação lógica. Condições; domínio de interpretação de uma condição; operações lógicas sobre condições; a forma lógica de uma condição. 

Exercícios 1C

28 Setembro 2017, 10:00 • Mário Jorge Edmundo

Resolução dos exercícios da folha de exercícios 1C.

Exercícios 1B

26 Setembro 2017, 10:30 • Mário Jorge Edmundo

Resolução dos exercícios da folha de exercícios 1B.