A propriedade comutativa da equivalência lógica é análoga a propriedade de mesmo nome da matemática. Ela descreve que podemos mudar a ordem das pro...

A propriedade comutativa da equivalência lógica é análoga à propriedade de mesmo nome da matemática. Ela descreve que podemos mudar a ordem das proposições simples sem afetar o resultado final. Existem três casos: - A comutatividade da conjunção (E): p ∧ q = q ∧ p - A comutatividade da disjunção (OU): p ∨ q = q ∨ p - A comutatividade da bicondicional (se e somente se): p ↔ q = q ↔ p Essas propriedades são muito úteis na simplificação de expressões lógicas e na demonstração de teoremas.