• emb@lemmy.world
    0·
    5 hours ago

    Wait, technically, is that disjunction vacuously true? I thought that term meant the premise wasn’t true. And I’d think 1=1 is instead just regular true.

    • pinball_wizard@lemmy.zip
      0·
      3 hours ago

      It means the premise may or may not be true, since the vacuous truth OR-ed into it makes the overall statement true…OR 1=1.