哈尔滨师范大学题目命题逻辑在数学教学中的应用学生指导教师鲍曼年级2013专业信息与计算科学系别数学系学院数学科学学院哈尔滨师范大学年月论文提要本文主要讨论了命题逻辑与数学以及数学教学之间的关系,并说明中学数学教师学习命题逻辑的重要意义以及命题逻辑对于培养中学数学教师的作用，命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统,命题逻辑是数理逻辑的基础,也是计算机科学与技术的理论基础。
为了深入理解命题逻辑,将命题逻辑与一般的数学进行比较,从各个方面简要总结和论述命题逻辑中数学的一些思想和方法,使得读者能从中体会到数学的一些思想和方法在命题逻辑中的应用，对应的对我们在数学教学方面合理的应用命题逻辑有着不可取代的帮助。
命题逻辑在数学教学中的应用赵力博摘要：本文主要讨论了命题逻辑与数学以及数学教学之间的关系,并说明中学数学教师学习命题逻辑的重要意义以及命题逻辑对于培养中学数学教师的作用，命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统,命题逻辑是数理逻辑的基础,也是计算机科学与技术的理论基础。
为了深入理解命题逻辑,将命题逻辑与一般的数学进行比较,从各个方面简要总结和论述命题逻辑中数学的一些思想和方法,使得读者能从中体会到数学的一些思想和方法在命题逻辑中的应用，对应的对我们在数学教学方面合理的应用命题逻辑有着不可取代的帮助。
关键词：命题逻辑数学教学数理逻辑最早人们是使用自然语言研究逻辑，在某种情况下，由于自然语言容易产生二义性，这给逻辑的研究带来了很大的麻烦和不便。
由于数学的严密性，为了克服这种弊端，人们便在逻辑的研究中引进数学的方法，这样就产生了数理逻辑。
数理逻辑是从量的侧面来研究逻辑的。
从模型化的观点来看，数理逻辑是研究“数学思维”的一种数学模型。
数理逻辑又称符号逻辑，这种方法的优点是表达简洁，推理方便、概括性好、易于分析。
命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统，命题逻辑是数理逻辑的基础，是计算机科学与技术的理论基础。
对命题逻辑的理解直接影响数理逻辑的其他内容的学习和理解。
既然命题逻辑是一种用数学的方法研究逻辑而形成的学科，那么就需要关注在命题逻辑中体现的数学的思想和方法。
本文就是命题逻辑中数学的一些思想和方法做简要的总结和论述。
为了研究的方便，首先对命题进行量化。
尽管具体的命题很多，但从真值的角度来看，只有2个——真命题和假命题。
规定真命题的真值为1，假命题的真值0。
这样就完成了对命题的量化。
引进逻辑运算符、规定逻辑运算规则，从而形成了一整套命题定律数学实际上是一系列的”运算“，这种”运算“能在任何符号的集合上，根据一定的公设来进行。
命题逻辑引进了相当于数学中的代数运算符一样的逻辑运算符¬，∧，∨，→，↔等，同时命题逻辑以真值表的形式规定如何进行运算，也规定在有多种逻辑运算符参加的运算中逻辑运算符的优先级，这就相当于再数学中先算乘方、开方、再算乘法、除法，最后计算加法、减法一样。
逻辑连结词运算的优先级从高到低为¬，∧，∨，→，↔。
从而也形成了一整套命题定律。
与数学一样，命题逻辑也引进命题常量和变量，这样使逻辑的研究发生重大的变革，逻辑的研究也进入变量时代，这是一种质的飞跃，也可以数数理逻辑是一种变量逻辑、变量数学。
这样逻辑的研究就能像数学一样进行演算和推理。
这为逻辑的研究带来了及其丰富的思想和方法。
命题逻辑也引进像数学的代数式一样的命题公式。
袋鼠学中的袋鼠实际上是用数学运算符按一定的规则联结数学运算对象而成的一个字符串，而命题公式则是用逻辑运算符按一定的规则联结逻辑运算对象而成的一个字符串；命题公式和数学式都是一个字符串，他们唯一的区别是运算符、运算对象和运算规则不同，其余都是相同。
如果从更抽象的角度来看，只有运算规则不同。
所以把一个命题公式可以看成一个代数式，对命题公式施行一些与数学很类似的一些变换和演算。
例如数学中在代数式的所以变量的值给定的情况下，可以求代数式的值。
命题逻辑中在一个命题公式的所有变量的值给定情况下，就可以求命题公式的值。
如果抽象的看，求代数式的值和求命题公式的值没有本质的区别。
函数是数学研究的重点，也是数学的核心，函数是研究变量关系的一种重要的工具和模型。
在完成前面一些工作以后，命题逻辑自然也引进命题函数。
如：G(P ，Q ，R)=P ∧Q →R就是一个三元命题函数。
命题函数的引进正式宣告了数理逻辑的诞生。
对于一个n 元命题函数G(12,,,n P P P ⋅⋅⋅)，12,,,n P P P ⋅⋅⋅是n 个变元，而i P （i=1，2，…，n ）的取值范围都是｛0，1｝，因为他的定义域为{0,1}n。
他的值域为｛0，1｝。
这样n 元命题函数G （12,,,n P P P ⋅⋅⋅）是从{0,1}n →[0，1]的一个函数。
这样数学中的一些思想和方法就可以应用与逻辑的研究之中。
如可以像求函数的函数值一样求命题函数的真值，对命题公式做与对函数式做恒等变形一样的等值演算。
下面举几个例子说明：例1 已知G(P ，Q)= ¬(P ∧Q) →(¬P ∨(¬P ∨Q)),求G （1，0）。
解：G(1，0)= ¬（1∧0）→（¬1∨（¬1∨0））= ¬0→（0∨（0∨0））=1→(0∨0)=1→0=0例2 化简G （P ，Q ）=¬(P ∧Q) →(¬P ∨(¬P ∨Q))解：G （P ，Q ）=(P ∧Q) ∨(¬P ∨(¬P ∨Q))=(P ∧Q) ∨(¬P ∨Q)=（P ∨¬P ∨Q ）∧(Q ∨¬P ∨Q)=1∧(¬P ∨Q)=¬P ∨Q命题逻辑中的代入规则，实际上就是数学中换元的思想和方法在逻辑的研究中的再现与应用。
运用基本的永真式和基本的永假式与命题逻辑中的代入规则可以产生大量的永真式和永假式。
例3 判断命题公式G=（P ∧Q →R ）∨¬(P ∧Q →R)的类型解：令S=P ∧Q →R ，则G=S ∨¬S=1，显然该命题公式是永真式。
在下文中我们描述一种标准命题演算。
很多不同的公式系统存在，它们都或多或少等价但在下列方面不同：(1)它们的语言; (2) 它们有哪些公理; (3)采用了哪些推理规则。
语言的构成:字母表的大写字母，表示命题变量。
它们是原子公式。
惯例上，使用拉丁字母(A, B, C)或希腊字母(χ, φ, ψ)，但是不能混合使用。
表示连结词(connective)(或逻辑算子)的符号: ¬、∧、∨、→、↔。
(我们可以使用更少的算子，因为一些算子是简写形式—例如，P → Q 等价于¬ P ∨Q)。
左右圆括号: (，)。
合式公式(wff)的集合右如下规则递归的定义:基础: 字母表的字母(通常是大写的，如A、B、φ、χ 等)是wff。
归纳条款I: 如果φ 是wff，则¬ φ 是wff。
归纳条款II 如果φ 和ψ 是wff，则(φ ∧ψ)、(φ ∨ψ)、(φ → ψ) 和(φ↔ ψ) 是wff。
闭包条款: 其他东西都不是wff。
重复的应用这三个公式允许生成复杂的wff。
例如:通过规则1，A 是wff。
通过规则2，¬A 是wff。
通过规则1，B 是wff。
通过规则3，(¬A ∨ B ) 是wff。
为了简单化，我们使用自然演绎系统，它没有公理；或者等价的说，它有空的公理集合。
使用我们的演算的推导将用编号后的行的列表，在每行之上有一个单一的wff 和一个理由的形式展示出来。
任何前提都在上部，并带有"p" 作为它们的断定。
结论将在最后一行。
推导将被看作完备的，条件是所有行都是通过正确的应用一个规则而从前面的行得出的。
公理我们的公理集合是空集。
推理规则我们的命题演算有十个推理规则。
这些规则允许我们从给定的一组假定为真的公式中推导出其他为真的公式。
前八个简单的陈述我们可以从其他wff 推论出特定的wff。
但是最后两个规则使用了假言推理，这意味着在规则的前提中我们可以临时的假定一个假设作为推导出的公式集合的一部分，来查看我们是否能推导出一个特定的其他公式。
因为前八个规则不是这样而通常被描述为非假言规则，而最后两个就叫做假言规则。
双重否定除去从wff ¬ ¬ φ，我们可以推出φ。
合取介入从任何wff φ 和任何wff ψ，我们可以推出( φ ∧ψ )。
合取除去从任何wff ( φ ∧ψ )，我们可以推出φ 和ψ。
析取介入从任何wff φ，我们可以推出(φ ∨ψ) 和(ψ ∨φ)，这里的ψ 是任何wff。
析取除去从( φ ∨ψ )、( φ → χ ) 和( ψ → χ ) 形式的wff，我们可以推出χ。
双条件介入从( φ → ψ ) 和( ψ → φ ) 形式的wff，我们可以推出( φ ↔ ψ )。
双条件除去从wff ( φ ↔ ψ )，我们可以推出( φ → ψ ) 和( ψ → φ )。
肯定前件从φ 和( φ → ψ ) 形式的wff，我们可以推出ψ。
条件证明如果在假定假设φ 的时候可以推导出ψ，我们可以推出( φ → ψ )。
反证证明如果在假定假设φ 的时候可以推导出ψ 和¬ ψ，我们可以推出¬ φ。
规则的可靠性和完备性这组规则的关键特性是它们是可靠的和完备的。
非形式的，这意味着规则是正确的并且不再需要其他规则。
这些要求可以如下这样正式的提出。
我们定义真值指派为把命题变量映射到真或假的函数。
非形式的，这种真值指派可以被理解为对事件的可能状态的描述，在这里特定的陈述是真而其他为假。
公式的语义因而可以被形式化，通过对它们把那些"事件状态"认定为真的定义。
我们通过如下规则定义这种真值 A 在什么时候满足特定wff:A 满足命题变量P 当且仅当A(P) = 真A 满足¬ φ 当且仅当 A 不满足φA 满足(φ ∧ψ) 当且仅当 A 满足φ 与ψ 二者A 满足(φ ∨ψ) 当且仅当 A 满足φ 和ψ 中至少一个A 满足(φ → ψ) 当且仅当没有 A 满足φ 但不满足ψ 的事例A 满足(φ ↔ ψ) 当且仅当 A 满足φ 与ψ 二者，或则不满足它们中的任何一个通过这个定义，我们现在可以形式化公式φ 被特定公式集合S 蕴涵的意义。
非形式的，就是在使给定公式集合S 成立的所有可能情况下公式φ 也成立。
这导引出了下面的形式化定义: 我们说wff 的集合S 语义蕴涵特定的wff φ，条件是满足在S 中的公式的所有真值指派也满足φ。