TP16: Sistemas de numeração, tautologia e equivalência lógica.
21 Setembro 2022, 11:00 • Mário João de Jesus Branco
Resolução dos Exerc. 2, 3 e 5. Tautologia, fórmulas logicamente equivalentes e algumas leis de equivalência lógica: leis de De Morgan, leis distributivas, lei da dupla negação, leis de idempotência, lei condicional. Negação da implicação. Resolução do Exerc. 6.(a).