• Adlach
      link
      fedilink
      English
      arrow-up
      2
      ·
      2 months ago

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

      • tetris11@lemmy.ml
        link
        fedilink
        arrow-up
        2
        ·
        2 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