逻辑导论3 第三章逻辑推理：命题逻辑.ppt

文档介绍：第三章逻辑推理:命题逻辑
第一节复合命题
一、概述
1、什么是命题?
2、命题的种类
一、什么是命题?
1、如果试纸变红,则溶液呈酸性
2、试纸变红了
3、鲁迅是浙江绍兴人

命题是对事物情况所作的陈述,一个命题或者为真、或者为假(真值)。

关于“真值”
真话实话
假话谎话
命题-陈述句
单句-------- 简单命题
陈述句命题
复句-------- 复合命题
复合命题(简单命题+联结词):
例1 甲有作案动机并且甲有作案时间
例2 如果铁比木头轻,那么铁会浮在水面上

支命题
命题的真值:简单命题的真假;复合命题的真假
逻辑联结词的作用类似于数学算子:
x + y
x × y
在命题逻辑中,处于核心地位的是逻辑联结词,它们表达命题和推理的逻辑结构,表达推理诸构成要素之间的真假关系。
三、命题的种类
简单命题⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯---------单句
命题基本复合命题⋯⋯二重复句陈
复合命题复句述
多重复合命题⋯⋯多重复句句
命题
简单命题
基本复合命题
多重复合命题
命题的分类推理的分类

简单命题简单命题推理
命题推理
复合命题复合命题推理
二、复合命题的种类及其形式

基本复合命题的种类划分标准
基本复合命题的构成:联结词+ 简单命题

联结词的种类
关联词的种类
关联词的种类:
并非⋯⋯
⋯⋯并且⋯⋯
不但⋯⋯而且⋯⋯
虽然⋯⋯但是⋯⋯
尽管⋯⋯也⋯⋯
⋯⋯或者⋯⋯
要么⋯⋯要么⋯⋯
如果⋯⋯那么⋯⋯
只要⋯⋯就⋯⋯
一旦⋯⋯就⋯⋯
只有⋯⋯才⋯⋯
⋯⋯当且仅当⋯⋯
⋯⋯
逻辑联结词是对关联词的抽象,逻辑联结词的意义要比关联词单纯(只表示真值关系)。