1.1逻辑课件.pptVIP

Deren Chen, ZheJiang Univ. 基础部分: 逻辑(Logic) 集合(Sets) 算法(Algorithms) 数论(Number Theory) 1.1 逻辑 Logic 逻辑学： 研究推理的一门学科 数理逻辑： 用数学方法研究推理的一门数学学科 数理逻辑的内容： 古典数理逻辑： 命题逻辑、谓词逻辑 现代数理逻辑： 公理化集合论、递归论、模型论、证明论 命题 Proposition: 一个有确定真或假意义的语句. EXAMPLE 1 All the following statements are propositions. 1. Washington, D.C., is the capital of the United States of America. 2. Toronto is the capital of Canada. 3. 1+1=2. 4. 2+2=3. EXAMPLE 2 Consider the following sentences