TP16: Tautologia, consequência lógica e demonstrações.

26 Setembro 2022, 13:30 • Mário João de Jesus Branco

Resolução do Exerc. 6.(b)-(e). Consequência lógica. Resolução dos Exerc. 7, 8 e parcialmente o 14.