Predicate Logic - Stanford University
infolab.stanford.edu/~ullman/focs/ch14.pdfThe following example should give the reader some insight into the meaning of logical expressions. However, note that this discussion is a considerable oversim-plification, and we shall have to wait until Section 14.5 to discuss “interpretations” and the meaning that they impart to logical expressions in predicate logic. Example 14.3.