Donald and Daisy Duck took their nephews, age 4, 5, and 6, on an outing. Each boy wore a tee-shirt with a different design on it and of a different color. You are also given the following information: ■ Huey is younger than the boy in the green tee-shirt. ■ The 5-year-old wore the tee-shirt with the camel design. ■ Dewey’s tee-shirt was yellow. ■ Louie’s tee-shirt bore the giraffe design. ■ The panda design was not featured on the white tee-shirt. (a) Represent these facts as sentences in FOL. (b) Using your formalization, is it possible to conclude the age of each boy together with the color and design of the tee-shirt he is wearing? Show semantically how you determined your answer. (c) If your answer was “no,” indicate what further sentences you would need to add so that you could conclude the age of each boy together with the color and design of the tee-shirt he is wearing.
#Sales Offer!| Get upto 25% Off: