Sumários

27 Setembro 2022, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 7, 8, 9 e 18.

26 Setembro 2022, 13:30 • Mário João de Jesus Branco

Resolução do Exerc. 6.(b)-(e). Consequência lógica. Resolução dos Exerc. 7, 8 e parcialmente o 14.

26 Setembro 2022, 13:30 • Maria da Purificação Antunes Coelho

Exercício 14 (resolução parcial).

Tautologias, consequências lógicas e equivalências lógicas.

Discussão de algumas alíneas do exercício 6.

26 Setembro 2022, 11:00 • Mário João de Jesus Branco

Resolução do Exerc. 6.(d), (e). Consequência lógica. Resolução dos Exerc. 7, 8, 9, parcialmente o 14, e 15.

26 Setembro 2022, 11:00 • Maria da Purificação Antunes Coelho

Exercício 14 (resolução parcial).

Tautologias, consequências lógicas e equivalências lógicas.

Discussão dos exercícios 6, 11 e 12.