Is this not just the liar's paradox? Since p -> 0 is equivalent to or defined as --p in almost any system?
-
-
-
In Curry's paradox, we have P → Q where P = P → Q. You'd have to infinitely evaluate this to obtain an truth value or accept self referential propositions in Logic to prove it (and thus making it inconsistent)
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.