The Language of Logic
2021
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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI