• 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