Paradoxica
-insert title here-
White to move, mate in 6. Orientation is towards white, as per usual.
Multiple solutions exist. Good luck.
That's not quite correct. The IF statements only work one way. They are not bijective implications. For that to be so, they would have to be IFF statements.Mrs Smith is lying, so Moriarty has not escaped which means Moriarty is not Jones. Lastly, Moriarty is either dead or is Jones and we know that Moriarty is not Jones which allows us to conclude that Moriarty is dead!
Hard part was concluding Moriarty is not Jones given that Moriarty has not escaped.
l = Mrs Smith is lyingThe answer to the above qn was 2, 1, 0 because it was actually inclusive of the answer itself.
______________________________
"Watson, I have uncovered the following facts:
- If Mrs Smith is lying then Moriarty has not escaped.
- Either Moriarty is dead or he is really Jones
- If Moriarty is really Jones then he has escaped.
- I am convinced Mrs Smith is lying."
"Good Lord Holmes," replied Dr Watson, "what can you make of all this?"
"Elementary my dear Watson, Moriarty is dead!"
Prove that Sherlock is as always, correct.
This is a randomly chosen question from my homework. It isn't intended to be hard if you know what you're doing, but if you don't then it can be hard.
See #modustollens on statement 3 of the question.That's not quite correct. The IF statements only work one way. They are not bijective implications. For that to be so, they would have to be IFF statements.