Aula teórica 3

25 Setembro 2018, 09:30 • Maria da Purificação Antunes Coelho

Fórmulas e suas tabelas de verdade. Fórmulas logicamente equivalentes. Leis comutativas, associativas, de idempotência, distributivas à esquerda, da dupla negação, de De Morgan, condicional e do contrarrecíproco. Tautologias e contradições. Algumas equivalências lógicas envolvendo tautologias e/ou contradições.