It’s a tautology, in the sense that for any input, it always outputs true, and this is a huge benefit since it is always right, no matter what input you give in the boolean formulation.
Anything asserted as an axiom is a tautology.
You can justify the LEM by assuming there are two possible values, and you can prove there are only two values after assuming LEM, but you can’t bootstrap both claims simultaneously.
So really, LEM is a choice about whether you are doing bivalent logic or multivalent logic.
Anything asserted as an axiom is a tautology.
You can justify the LEM by assuming there are two possible values, and you can prove there are only two values after assuming LEM, but you can’t bootstrap both claims simultaneously.
So really, LEM is a choice about whether you are doing bivalent logic or multivalent logic.