Propositional Logic Puzzle

116 Views Asked by At

"There is an island with two mythical creatures, the Komos and the Dragos. Komos loves eating visitors to the island while Dragos hates to eat visitors. One fine day, you mysteriously end up on the island and encounter two creatures, Blue and Red. The Blue creature smiles and tell you, “Don’t be afraid! We both are not human eaters”. Determine, if possible, whether the Blue and Red creatures is a Komos or a Dragos."

I found the scenario given is too straight forward, as it doesn't state any possible liar. What I comprehend from this scenario will be, Let p indicates Blue is Dragos, q indicates Red is Dragos. Since Blue doesn't eat humans, and it doesn't lie, so if p then q, both Blue and Red are Dragos.

Would like to here more thoughts from you all.