Aula teórica 3

24 Setembro 2019, 09:30 • Maria da Purificação Antunes Coelho

Fórmulas e suas tabelas de verdade. Fórmulas logicamente equivalentes. Leis comutativas, associativas, distributivas, da dupla negação, de De Morgan, de idempotência, condicional e do contrarrecíproco. Outros exemplos de equivalência lógica de fórmulas. Tautologias e contradições - definições e exemplos.