This book introduces the basic knowledge and basic theories of mathematical logic, mainly teaching proposition calculus and predicate calculus. Through the study of this course, students will master relevant basic concepts, basic theories, basic reasoning, as well as axiomatic systems and formal methods. Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its research objects, and plays a guiding role in the development of information science and technology. This course is the foundation of computer science and is of great significance to cultivating students' literacy and improving their problem-solving abilities.
