假言命题及其推理
一、什么是假言判断
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)真值表
充要条件假言判断，在前件后件都真或都假时就真。
