充分条件假言命题什么意思（管综逻辑——假言命题及其推理）

假言命题及其推理

一、什么是假言判断

1.假言判断的定义

断定某一事物情况的存在是另一事物情况存在的条件的复合判断。

例如： 只有你的成绩好，你才是三好学生。

如果男人靠得住，那母猪都会上树。

注意: 这种判断的重点是在前面的条件

2.假言判断的逻辑结构

二、假言判断的种类 （以前件所反映的条件为划分的标准）

1.充分条件假言判断

(1)定义： 断定前件是后件的充分条件的假言判断

最高条件，有它就有结果，没有它结果

会怎样，不知道，可能有也可能没有

例如： 如果你是三好学生，那么你的成绩好

(2)逻辑形式 前件 p，后件 q

充分条件假言判断联结词: 如果…那么、只要…就、倘若…则

用符号表示: →=如果……那么

逻辑形式: p→ q

(3)真值表

如果你是国家主席，那么你是中国人

如果你是国家主席，那么你是中央委员

充分条件假言判断的负判断：

只有在前件真后件假的情况下 假

并非（如果p,那么q)等值于p且非q

即有条件但没结果

2.必要条件假言判断

(1)定义： 前件所反映的条件为必要条件的假言判断

最起码的条件，少不了的、必须具备的，没有

它就没有结果，有了它结果会怎样，不知道

例如： 只有你的成绩好，你才是三好学生

只有你是党员，你才会是中央委员

(2)逻辑形式 前件 p，后件 q

必要条件假言判断联结词:

只有……才、除非……不

(3)必要条件假言的负判断

必要条件假言判断，

只有在前件假后件真时假。

即：有结果但是没条件

3.充要条件假言判断

(1)定义： 前件所反映的条件是既充分又必要的条件的假言判断

既是最高条件又是最起码的条件，有这个条件就会有结果。没有这个条件就不会有结果。

例如： 当且仅当你是唯物主义者，那么你承认物质第一性。

当且仅当三角形的三个角相等，则三条边相等。

(2)逻辑形式 前件 p，后件 q

充要条件假言判断联结词: 当且仅当……则

用符号表示: ⟷= 当且仅当……则

逻辑形式: p⟷ q

(3)真值表

充要条件假言判断，在前件后件都真或都假时就真。