TP11: expressão de conectivos lógicos à custa de outros e regras de inferência

4 Outubro 2019, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 18.b)iii), iv), 19, 20.a)-f) e 21.a).