First-order Logic

IN ORDER to understand clearly the formal languages to be presented in later chapters of this book, it will be necessary for the reader to have some knowledge of first-order logic. This chapter serves to furnish the necessary tools. The reader who is already familiar with these questions can easily treat this chapter as a review, though some attention should be given to our particular form of the rules for the predicate calculus, which will be used in the remainder of this study.