The semantics of predicate logic is more abstract than that of propositional logic. It involves dealing with model theory. I need books from the library for different definitions in order to explain this properly. So I have to postpone this chapter till covid is gone.