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.