TP11: Tautologia, consequência lógica e demonstrações.
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 • 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.