Title: Fundamentals of Predicate Logic