You find yourself in a maze walking and you reach a 3-wayintersection. The roads have signs as follows: -on the left: “badidea street” -in front of you: “don’t even try it road” -on theright: “you’re lost avenue” On each one of the roads there is astreet vendor (hey, it’s Miami, they are everywhere!). You talk tothe street vendors and this is what they tell you (after you buysome of their goods of course): -Street vendor on “bad ideastreet”: “This road will take you straight to Cold Stone Creamery.Also, if “you’re lost avenue” leads you to Cold Stone Creamery,then “don’t even try it road” will also take you to Cold StoneCreamery.” -Street vendor on “don’t even try it road”: “Neither“bad idea street” nor “you’re lost avenue” takes you to Cold StoneCreamery.” -Street vendor on “you’re lost avenue”: “Follow “badidea street” and you’ll reach Cold Stone Creamery. Furthermore,follow “don’t even try it road” and you will never leave this maze(Muahaha).” It is common knowledge that street vendors never tellthe truth. Furthermore, you are dying for some ice-cream, after awhole day of being lost in the maze. Can a road be chosen (with100% certainty) such that it will take you to your neighborhoodCold Stone Creamery? If it can be done, which road would youchoose? Provide formal language and propositional logic facts(propositions) that formalize the problem and prove(show steps)whether a road can be chose so that you can be sure it will leadyou to Cold Stone Creamery(for some yummy ice-cream).
