T_15

24 Novembro 2020, 10:30 • Mário Jorge Edmundo

Fórmulas logicamente equivalentes; Propriedades da equivalência lógica: reflexividade, simetria, transitividade, princípio da substituição de equivalentes); Regras de substituição de equivalentes: idempotência, comutatividade, associatividade, distributividade, absorção, negação dupla, leis de De Morgan,  regras para a condição universal e para condição impossível, regra para o condicional e para o bicondicional, comutatividade para os quantificadores, quantificação supérflua, segundas leis de De Mrogan, quantificadores e disjunção, quantificadores e conjunção, contra-exemplo, quantificadores e condicional, substituição de variáveis mudas.