Post on 30-Jan-2018
Princess Nora Bint Abdulrahman University NET201- Principles of Information & Technology Systems Faculty of Computer and Information Sciences First Semester 1438/1439 HDepartment of Information Technology Tutorial 6 – Artificial Intelligence
Q1):Using the symbols Has, Loves, Dog, and Cat for the predicates “has”, “loves”, ”is a dog”, and “is a cat” respectively, write the following sentences in predicate logic:
a. John has a cat.
b.John loves all cats.
c. Anne loves some dogs.
d.Not everything John loves is a cat.
e. If John loves a cat, Anne loves it.
f. John loves a cat if and only if Anne loves it.
Q 2 ): write the following sentences in predicate logic:
1. There exists a MATH 218 student who has tried out for American Idol.
2. There exists a real number whose square is not positive.
3. Every person in New Britain has seen a movie starring William Shatner.