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).