• acargitz@lemmy.ca
      link
      fedilink
      English
      arrow-up
      4
      ·
      2 days ago

      I don’t think anything in the ruling hinged on the semantics if the world “means”. That said, there is nothing ambiguous in saying that a logical relation is not symmetric. Symmetry, like reflexivity, transitivity etc, are well defined in algebra.