Go backward to
Operational Interpretation
Go up to
Top
Go forward to
Proof
Conjunctive Laws
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