Sumários
Aula 12 (TP13)
25 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 43(4), 46, 47 e 48.
AULA 11
24 Outubro 2017, 10:30 • Fernando Ferreira
Os conetivos booleanos do condicional (implicação material) e do bicondicional (equivalência material). O recíproco e o contra-recíproco dum condicional. Exemplos de tt-equivalências. Relação entre o condicional (resp. bicondicional) e a consequência lógica (resp. equivalência lógica). Traduções da linguagem natural para a linguagem formal ("se ... então", "somente se", "se, e somente se", "a menos que", etc). Exemplos.
Aula 10 (TP12)
23 Outubro 2017, 12:00 • Maria da Purificação Antunes Coelho
Entrega do primeiro mini-teste. Resolução dos exercícios 35, 41, 42(2) e 43 (2 e 3).
Aula 11 (TP13)
23 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho
Entrega do primeiro mini-teste. Resolução dos exercícios 41, 42(2), 43 (1, 2 e 3) e 44(1).