Classical logic and Pinocchio

Study Physics in Lincoln

Last week we hosted a work experience student, Dexter Harland-Hackenschmidt, who is interested in mathematics and logic. We tasked him with a logic problem that we had seen on YouTube. The following is his report in the style of a blog post. Enjoy!

——————————————————————————————————–

In the video “Can you pass this logic test from Brazil?” the following question is proposed:

Assume the following sentences are true:

(1) Pinocchio always lies;

(2) Pinocchio says, “All my hats are green”

We can conclude from these two sentences that:

A) Pinocchio has at least one hat.

B) Pinocchio has only one green hat.

C) Pinocchio has no hats.

D) Pinocchio has at least one green hat.

E) Pinocchio has no green hats.

The video goes on to provide counter examples to options B, D and E, proving that these options cannot be concluded, as they are not true in all cases. After narrowing…

View original post 1,732 more words