>>12153257>it confirmed that it's right that mathematics and logic is bullshit.hugest cope
Assuming that P is true, P is the proof of its own falsehood, P |- -P
P -> -P
= -P OR -P
= -P
so P is true, consistent with the assumption that P was true
Assuming that P is false, then we cant deduce anything, so its also not contradictory to say its false
LEM isnt a part of propositional logic unless you take it as an axiom,
which doesnt make sense (for natural languages) as the sentence demonstrates
