TP11: equivalência lógica e expressão de conectivos lógicos à custa de outros
30 Setembro 2019, 11:00 • Mário João de Jesus Branco
Asserção necessária e asserção suficiente para outra. Resolução dos Exercícios 15.c), d), 16.a), b), 17.a) e 18.a), b)i), ii).