Editing Associative property (section)

=== Truth functional connectives ===
''Associativity'' is a property of some [[logical connective]]s of truth-functional [[propositional logic]]. The following [[logical equivalence]]s demonstrate that associativity is a property of particular connectives. The following (and their converses, since {{math|↔}} is commutative) are truth-functional [[tautology (logic)|tautologies]].{{citation needed|reason=Stack Exchange is not a reliable source?|date=June 2022}}

;Associativity of disjunction
:<math>((P \lor Q) \lor R) \leftrightarrow (P \lor (Q \lor R))</math>
;Associativity of conjunction
:<math>((P \land Q) \land R) \leftrightarrow (P \land (Q \land R))</math>
;Associativity of equivalence
:<math>((P \leftrightarrow Q) \leftrightarrow R) \leftrightarrow (P \leftrightarrow (Q \leftrightarrow R))</math>

[[Logical NOR|Joint denial]] is an example of a truth functional connective that is ''not'' associative.