A swimmer is an athlete. Any athlete, who participatedin the 2016 Summer Olympic
ID: 3826529 • Letter: A
Question
A swimmer is an athlete. Any athlete, who participatedin the 2016 Summer Olympics and won a gold medal, was joyful. Any athlete, who is the world top athlete or a selected well-trained athlete, participatedin the 2016 Summer Olympics. Any time any participating athlete, who is performed the best in thefinal competition for a game, wins a gold medal for that game. Michael Phelps is one of the world top swimmer who wined many medals in past. He performed the best in the three games of Men's 4X100m freestyle relay, Men's 200 m butterfly, and Men's 200m individual medley at the 2016 Summer Olympics in Rio de Janeiro from August 5 to 21, 2016.. Whether Michael Phelps was joyful when he won the gold medals? Represent the sentences by predicate calculus Turn them into clause form Using resolution and unification to prove that Michael Phelps was joyful.Explanation / Answer
There are two kinds of quantifiers .
1)Universal quantifiers
2)existential quantifiers
Universal quantifiers are the statements that are always true
Ex:All men are mortal
Existential quantifiers are the statements that are true sometimes.
Ex:Some animals are amphibians
a)Since michael phelps is an athelete and participated in 2016 summer Olympics.He won medals and those who won gold medals were joyful
From the above inference,Michael phelps was joyful when he won the gold medal.
b)Clause is a sentence that contains subject and verb
Whether Michael Phelps was joyful when he won the gold medal.
In the above statement,phelps was joyful is a complete thought where Michael Phelps was a subject and was joyful is a verb and the prepostional phrase is when he won the gold medal.
c)resolution is nothing but applying inference iteratively so that I 'll be successful at every situation. Here Michael Phelps must be an athlete and he must win gold medal. If these two statements are correct then only he will be joyful. So both the inferences must be true. Unification refers to that the statements must be true at any inference. Michael is athelete and he won gold medal.so he was joyful.
Related Questions
drjack9650@gmail.com
Navigate
Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.