命题逻辑推理系统.pptVIP

第三节 命题演算 一、重言式及其判定 （一）真值联结词、真值形式复合命题形式在数理逻辑中叫真值形式。表示关系的联结词叫真值联结词。真值联结词是日常语言联结词在真假关系上的一种抽象。 真值联结词有五个：否定? 、合取∧ 、析取∨ 、蕴涵→ 、等值←→ 。真值形式就是真值联结词与命题变项所构成的形式结构。命题变项是组成复合命题的原子命题,用字母p、q、r、s···表示。 五种基本的真值形式：合取式：p∧q析取式：p∨q蕴涵式：p→q等值式：p←→q否定式：? p五种基本形式可生成更复杂的形式，1、（（p→q）∧（p→?q））→?p；2、（（p→q）∧（r→s）∧ （p∧r））→（q∧s） 真值形式最外层的括号根据五个联结词的结合力可以省略，结合力按照下列顺序递减：?、∧、∨、→、←→(p∧q)→r) ←→(p∨s)可以省略为：p∧q→r ←→p∨s 复合命题真假与其支命题真假之间的关系与数学中的函数类似。在数学中，函数是用下面的公式表示的： y=f（x）其中，x是自变元，y是函数的值，f是函数关系。例如：y=x2 数理逻辑引入函数原理来说明复合命题与其支命题之间的真假关系，它把这种关系当作一种函项关系，把这种函数叫做真值函项。真值函项的值不是数，而是真值。 数学中同一个函数可以有不同的表现形式，例如：y=2x