this post was submitted on 15 Jul 2024
1 points (100.0% liked)

Asklemmy

43890 readers
1582 users here now

A loosely moderated place to ask open-ended questions

Search asklemmy ๐Ÿ”

If your post meets the following criteria, it's welcome here!

  1. Open-ended question
  2. Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
  3. Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
  4. Not ad nauseam inducing: please make sure it is a question that would be new to most members
  5. An actual topic of discussion

Looking for support?

Looking for a community?

~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[โ€“] tetris11@lemmy.ml 0 points 4 months ago (1 children)

A or (A or B) is still A. So its truth

[โ€“] AdlachGyfiawn@lemmygrad.ml 0 points 4 months ago (1 children)

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

[โ€“] tetris11@lemmy.ml 1 points 4 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