predicate logic fol lecture 8 5217292