Logic and Predicate Logic