home / study / engineering / computer science / computer science questions and a

Question

home / study / engineering / computer science / computer science questions and answers / I Need Help Translating These Sentences Because I Am Having Trouble Understanding The Proper ...
Your question has been answered
Let us know if you got a helpful answer. Rate this answer

Question: I need help translating these sentences because I am having trouble understanding the proper form...

I need help translating these sentences because I am having trouble understanding the proper format and would like to compare with current work.

Translate each of the following English sentences into rst-order logic, using only the following constants, functions, and predicates ...
Constants:
• IronMan — a hero named Iron Man
• TonyStark — a person named Tony Stark
Functions:
• Height(x) — the height of x
Predicates:
• Book(x) — x is a book
• Day(x) — x is a day
• Dog(x) — x is a dog
• Human(x) — x is a human
• Student(x) — x is a student
• Useful(x) — x is useful
• Boss(x,y) — x is the boss of y
• Coworker(x,y) — x is a coworker of y
• Has(x,y) — x has y
• Likes(x,y) — x likes y
• Equal(x,y) — x and y are the same object
• GT(x,y) — the height x is greater than the height y

Exercises:
1. “All students are human.”
2. “Some books are useful.”
3. “Not all books are useful.”
4. “No dogs are students.”
5. “Every dog has his day.”
6. “Some humans like all dogs.”
7. “Coworkers are humans who have the same (human) boss.”
8. “Tony Stark is Iron Man.”
9. “There is a human who likes all the dogs he has, but no others.”
10. “There is exactly one useful book.”
11. “There is only one dog that likes Tony Stark.”
12. “The tallest dog is taller than the shortest human.”
13. “All dogs are useful.”
14. “Some humans are students.”
15. “Not all humans are students.”
16. “No books are useful.”
17. “Every student has a book.”
18. “There is at least one human who has all books.”
19. “There is a human who has all of the books that he likes.”
20. “Some students have only one dog.”

Explanation / Answer

1.All students are human.”

x ( Student(x) Human(x) )

2. Some books are useful.”

          x (Book(x) Useful(x))

3.Not all books are useful.

¬x (Book(x) Useful(x))

4.No dogs are students.

¬x( dog(x) Student(x))

5.Every dog has his day

x ( dog(x) day(x))

6.Some humans like all dogs

x (Human(x) => likes(x dog(x)))

7.Coworkers are humans who have the same (human) boss.

x (Coworker(x,Boss(x)) =>(Human(x)) x Boss(x,Coworker(x)))

8.Tony Stark is Iron Man

(TonyStark) =>(IronMan)

9.There is a human who likes all the dogs he has, but no others.

x (Human(x) => likes(x dog(x), Has(x,Human)) ¬x( dog(y)))

10.There is exactly one useful book

x(Book(x) <=> Useful(x))

11.There is only one dog that likes Tony Stark.

x (dog(x) <=>likes(x,TonyStark))

12.The tallest dog is taller than the shortest human.

GT(dog(x),human(x))

13.All dogs are useful

x (dog(x) Useful(x))

14.Some humans are students

x (Human(x) => Student(x))

15.Not all humans are students

¬x (Human(x) => Student(x))

16.No books are useful

¬x (Book(x) Useful(x))

17.Every student has a book.

x ( Student(x) => Book(x)

18.There is at least one human who has all books.

(Human(x) => has(x book(x)))

19.There is a human who has all of the books that he likes.

x (Human(x) => has(x book(x)) Likes(human(x),book(x)))

20.Some students have only one dog

x (Student(x) => has(x dog(x))

Related Questions

Navigate

• Browse (All)
• Browse H
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.