• Malgas@beehaw.org
      link
      fedilink
      English
      arrow-up
      1
      ·
      2 months ago

      The thing that is absolute is a predicate of the form “if [axioms] then [theorems]”.

      And the fun thing about if statements is that they can be true even when the premise is false.

      • luciole (he/him)@beehaw.org
        link
        fedilink
        English
        arrow-up
        0
        ·
        2 months ago

        Of course in boolean algebra “if [false] then p” is always true no matter “p”, but it’s not telling us much.