Go backward to Operational InterpretationGo up to TopGo forward to Proof |

*Proposition:*

- Conjunction is
*commutative*: for all formulas`A`and`B`,`A`/\`B`iff`B`/\`A`. - Conjunction is
*associative*: for all formulas`A`,`B`, and`C`,`A`/\ (`B`/\`C`) iff (`A`/\`B`) /\`C`.

Author: Wolfgang Schreiner

Last Modification: October 6, 1999