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

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.