previous up next
Go backward to Operational Interpretation
Go up to Top
Go forward to Proof
RISC-Linz logo

Conjunctive Laws

Proposition:

  1. Conjunction is commutative: for all formulas A and B,
    A /\  B iff B /\  A.
  2. 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

previous up next