3 ms·

Ah alright, since I don't know what that is I will attribute it to my own lack of knowledge then.

• IAmBroom 1y ago
  Basically, the Excluded Middle is for things neither True nor False.
  • legacynl 1y ago
    Yeah okay I get it. The law basically states that 'not true' should be 'false' and vice versa. I still don't get what's the use of this, or is this just a curiosity? It seems like the result is just a kind of ternary operator? Doesn't this still just compile to if(x.present) return x else y? Just with really obtuse syntax
    • deleted 1y ago
      [deleted]
    • stonemetal12 1y ago
      If you are doing proofs then the law of the excluded middle creates paradoxes. "this statement is false" is a paradox with the law but isn't without the law. In a programming language not used for proofs? Then yeah it is just for fun.
  • deleted 1y ago
    [deleted]