GNU Aris Manual: co

Next: , Previous: , Up: Equivalence Rules [Contents]


6.2.4 Commutativity

Just like addition and multiplication, conjunctions and disjunctions are commutative. This of course means that ‘I would like some pie and I would like some cake’ is the same as saying ‘I would like some cake and I would like some pie’.

AltStyle によって変換されたページ (->オリジナル) /