chapter 9 first order logic lecture 15 2209973