Prove that either
a) this problem is solvable
or
b) this problem is unsolvable
(In reply to
by Jacob Fugal)
"q <-> NOT r
If b can be proven (q is true), then the problem has no solution, since that is what b claims; likewise, if we come to know the falsity of statement r, b is proven."
q -> NOT r is valid, but NOT r -> q is false.
step 2 is fallacious due to the language "we come to know the falsity of statement r". "NOT r" does not imply "we can prove NOT r"
So in my opinion this solution is invalid
re:
