Slide 1Predicate Logic Second Term Fourth Year (10 CS) 1 Slide 2 In this course, we shall only study First order Logic (FOL) Predicate Calculus Predicate Calculus First-Order…