Preliminary Concepts and Terminologies from Logic
摘要
In this chapter, we give some preliminary concepts and terminologies from first-order logic.