Tema 1

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

Tautologia, contradição e contingencia. Equivalência lógica; recíproca e contra-recíproca; negação de uma implicação; propriedades da equivalência lógica; regras de substituição. 

Folha de exercícios 1B

25 Setembro 2017, 13:30 • Maria João Antunes Dias Gouveia

Conclusão da resolução dos exercícios da folha 1A.

Resolução dos exercícios 1 e 2 da folha 1B; o exercício 3 foi começado e a sua conclusão foi deixada como TPC.

Exercícios 1B

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

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

Folha de exercícios 1B

25 Setembro 2017, 11:00 • Maria João Antunes Dias Gouveia

Conclusão da resolução dos exercícios da folha 1A.

Resolução dos exercícios 1 e 2 da folha 1B; o exercício 3 foi começado e a sua conclusão foi deixada como TPC.

Folha 1A de exercícios

22 Setembro 2017, 14:00 • Maria João Antunes Dias Gouveia

Resolução dos exercícios 1, 2 e 3 da folha de exercícios 1A.

Resolução de um exercício extra.