第五章 高级数理逻辑.pptx

第5章 可推导性关系和归纳定义 ;2;3;演绎逻辑的例子;例 所有中学生打网球。（前提） 王君不打网球。（前提） 王君不是中学生。（结论） 本例的推理也是正确的，并且它的正确性与前例中推理的正确性的依据是完全相同的. 但是本例中的前提和结论未必是真命题.;推理是否正确，与推理中前提和结论的真或假是没有关系的 可推导性关系只要求前提的真蕴含结论的真，不要求前提和结论为真 数理逻辑不研究前提和结论的真或假，而是研究前提的真是否蕴含结论的真 决定前提和结论之间的可推导性关系的是它们的逻辑形式;表象：前提、结论的真或假 语义范畴 内因：前提、结论的逻辑形式 语法范畴 两个例子的逻辑形式相同 S中的所有元有R性质 （前提） a没有R性质 （前提） a不是S中的元 （结论）;逻辑形式;例 X认识Y。（前提） Y是足球队长。??前提） X认识足球队长。（结论） 例 X认识A班某学生。（前提） A班某学生是足球队长。（前提） X认识足球队长。;形式语言;形式语言;不同层次的语言;5.2 归纳定义;归纳定义和归纳证明;自然数集合N的归纳定义;定义1并不是使用被定义了的N来定义自己。 集合由它的外延确定，因此定义N就是要确定它的外延。当其外延尚未确定时，N是没有被定义的。 定义1的(i)、(ii)和(iii)中，N的外延是没有确定的，也就是定义1中N不是已经被定义的。定义1才是确定N的外延，即定义了N。 合式公式也是归纳定义给出的集合。;17;归纳定义自然数集合的一种等价陈述;归纳证明的定理;归纳证明;归纳证明的另一种形式 ——串值归纳法;串值归纳法的另一种形式;递归定义原理;集合归纳定义的一般情况;归纳证明原理的一般情况;递归定义原理的一般情形;27;28