first order logic fundamentals 7017991