Introduction to Logic: Predicate Logic