• Adlach
      link
      fedilink
      English
      24 months ago

      A or (A or B) reduces to A or B, not A

      • @tetris11@lemmy.ml
        link
        fedilink
        34 months ago

        Well, I was assuming lazy rules (first element takes precedence).

        “I tell the truth about what I did on a dare”

                     .
                    / \
                   /   \
                  /     \
             Truth      Dare
              / \       /  \
             /   \     /    \
         Dare  Truth  Dare  Truth
        
        Truth about a Dare → Truth