Rule of Commutation/Conjunction
Jump to navigation
Jump to search
Theorem
Formulation 1
- $p \land q \dashv \vdash q \land p$
Formulation 2
- $\vdash \paren {p \land q} \iff \paren {q \land p}$
Its abbreviation in a tableau proof is $\text{Comm}$.
Also see
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): and
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): and