TP11: Sistemas de numeração, tautologia e equivalência lógica.

23 Setembro 2022, 11:00 • Mário João de Jesus Branco

Resolução dos Exerc. 2 (cont.), 3 e 5. Tabela de verdade da implicação. 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), (b), (c).