• Congratulations to the Class of 2024 on your results!
    Let us know how you went here
    Got a question about your uni preferences? Ask us here

Logic Puzzles Marathon (1 Viewer)

Paradoxica

-insert title here-
Joined
Jun 19, 2014
Messages
2,556
Location
Outside reality
Gender
Male
HSC
2016


White to move, mate in 6. Orientation is towards white, as per usual.
Multiple solutions exist. Good luck.
 

leehuan

Well-Known Member
Joined
May 31, 2014
Messages
5,805
Gender
Male
HSC
2015
The 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.
 
Last edited:

Orthos

New Member
Joined
Sep 8, 2016
Messages
12
Gender
Female
HSC
2017
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.
 

Paradoxica

-insert title here-
Joined
Jun 19, 2014
Messages
2,556
Location
Outside reality
Gender
Male
HSC
2016
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.
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.
 

leehuan

Well-Known Member
Joined
May 31, 2014
Messages
5,805
Gender
Male
HSC
2015




l

therefore ~m

therefore ~j

therefore d



I don't see a mistake in Orthos' sentences.
 
Last edited:

Drsoccerball

Well-Known Member
Joined
May 28, 2014
Messages
3,650
Gender
Undisclosed
HSC
2015
The 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.
l = Mrs Smith is lying
e = Moriarty has escaped
d = Dead
j = He is Jones
----------------------------------------
l -> ~e (1)
d V j (2)
j -> e (3)
l (4)
---------------------------
l (4)
~e (1)
~j (3)
d (4) (Since not j)
[]

EDIT: nvm you got it.
 

Orthos

New Member
Joined
Sep 8, 2016
Messages
12
Gender
Female
HSC
2017
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.
See #modustollens on statement 3 of the question.
 

Orthos

New Member
Joined
Sep 8, 2016
Messages
12
Gender
Female
HSC
2017
What do you think is the fastest way to do that type of "mystery puzzle" in real life? Or if you were playing detective. Practice and think in formal logic? Practice deductive reasoning and use common sense? Something else?
 

leehuan

Well-Known Member
Joined
May 31, 2014
Messages
5,805
Gender
Male
HSC
2015
Symbols made life easier for me after I learnt how to do those.

But if you can practice to be quicker at deductive reasoning (with common sense if necessary), sure.
 

Users Who Are Viewing This Thread (Users: 0, Guests: 1)

Top