TP11: fórmulas lógicas e equivalência lógica. Tipologia da aula: videoconferência + presencial.

19 Outubro 2020, 11:00 Mário João de Jesus Branco

Resolução dos Exercícios 13, 14.a)-d) e 15.a), b). Explicação sobre o Exerc. 18. Explicação sobre inferências. Resolução do Exercício 20.a), b).