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.