Represent the following objects and relationships in first-order predicate calculus
a) Students are people
b) Instructors are people too
c) Students take courses
d) CS4260 is a course
e) Courses have 0 or more prerequisites, which are also courses
f) CS3250 and CS3251 are prerequisites of CS4260
g) If a student takes a course, they must already have taken its prerequisites
Upload the answers as a PDF, clearly identified as (a)through (g). Type your answers using ForAll(X) and Exists(X) as representing quantifiers.