第十章 现代逻辑基础.pptVIP

第十章 现代逻辑基础 主要内容： 1、命题逻辑 2、谓词逻辑 第一节 命题逻辑 命题是通过陈述语句反映事物情况的思维形式。命题逻辑是研究以命题联结词为核心、简单命题为基本单位所构成的复合命题的逻辑性质及其相互间的推导关系的逻辑。形式化的命题逻辑是现代逻辑的基础部分之一。 一、重言式 （一）命题联结词与真值形式 1、命题联结词 用符号表示为：﹁、∧、∨、→、←→。 2、真值形式 真值形式是指由真值联结词（命题联结词）和命题变项所构成的形式结构，也就是各种复合命题的命题形式。所谓命题形式，其外延定义是： （1）任何命题变项p、q、r……是命题形式，且﹁p，p∧q，p∨q，p→q，p←→q是命题形式。 （2）如果A和B是命题形式，那么﹁A，A∧B，A∨B，A→B，A←→B也是命题形式。根据这样的定义可知：p，p∧q→p，﹁﹁p，﹁p∨﹁q→（p→q）等都是真值形式，但﹁q→，∧q，∨﹁q→（p→等由于不符合规定，不是真值形式。 在命题逻辑中，基本的真值形式有五种： 否定式：﹁p 合取式：p∧q 析取式：p∨q 蕴涵式：p→q 等值式：p←→q （二）真值形式的种类 1、重言式。一个真值形式，不论其中的命题变项取值是什么，它的真值永远为真，则这个真值形式就是重言式，也叫永真式。例如，p∨﹁p，p→p等。 2、矛盾式。一个真值形式，不论其中的命题变