first order logic chapter 5 897498