A student cannot take Intro Geology.
If a class has prerequisites the student must take the prerequisites to take the class. If a class has no prerequisites, then the student can take the class CPSC 201 and CPSC 223 are prerequisites for CPSC 323. Intro Microeconomics is the only prerequisite for Intermediate Microeconomics. Intro Geology has no prerequisites.
∀x ∀y ((Prereq(x, y) ∧ Taken(x)) ↔ CanTake(y)) ∀x ∀y (¬Prereq(x, y) → CanTake(y)) Prereq(cpsc201, cpsc323) ∧ Prereq(cpsc223, cpsc323) (Prereq(intromicro, intermediatemicro) ∧ Taken(intromicro)) → CanTake(intermediatemicro) ∀x (¬Prereq(x, introgeology))