rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Are logical connectives symmetrical/asymmetric or commutative/non commutative? #76

Closed kedarmhaswade closed 1 year ago

kedarmhaswade commented 1 year ago

Chapter 9 specifies whether a binary connective (∧, ∨, →, ↔) is symmetrical or asymmetric. The Wikipedia page on Logical Connective lists Commutativity as a property of logical connectives and says that symmetry is a property of a binary relation.

Perhaps it is not a big deal, but what is more common for logical connectives -- commutativity or symmetry?