The Language of Logic

In this chapter, we introduce the language of first-order logic, on which we may base precise thinking, speaking, and writing, in computer science and all other kinds of scientific disciplines. We present first-order logic as a formal language in the spirit of the previous chapter by an abstract syntax based on which the intuitive interpretation of the various phrases is explained.