假言命题（又称条件命题）
假言命题
基本信息
中文名称
假言命题
别名
条件命题
领域
数学
隶属
离散数学
| 目录 |
1定义 2分类
|
3充分条件 4必要条件
|
|---|
折叠 编辑本段 定义
所谓假言命题就是陈述某一事物情况是另一件事物情况的条件的命题，假言命题亦称条件命题。假言命题指形式为"如果A则B"的复合命题。又称条件命题。其在前的支命题叫做前件，在后的支命题叫做后件。假言命题陈述一种事物情况是另一种事物情况的条件。在形式逻辑中，命题联结词"如果，则"被理解为"前件真而后件假"是假的，即"如果 A则B"假，当且仅当A 真而B假;而当A假时，整个复合命题总是真的。在现代逻辑中，命题之间的这样的真假关系叫做实质蕴涵。在日常语言中，关于"如果，则"可能还有其他含义，如因果联系、推论关系等等。
例如:
1. 如果在淀粉溶液里加入碘酒，那么淀粉溶液会变蓝。
2. 只有水分充足，庄稼才能茁壮生长。
3. 一个代数方程能得到根的计算公式当且仅当这个代数方程的次数不超过四。
折叠 编辑本段 分类
逻辑学考察的事物间的条件关系有三种:
1. 如果有事物情况A，则必然有事物情况B;如果没有事物情况A而未必没有事物情况B，A就是B的充分而不必要的条件，简称充分条件。
2. 如果没有事物情况A，则必然没有事物情况B;如果有事物情况A而未必有事物情况B，A就是B的必要而不充分的条件，简称必要条件。
3. 如果有事物情况A，则必然有事物情况B;如果没有事物情况A，则必然没有事物情况B，A就是B的充分必要条件。例如:
1. A下雨;B地湿。
2. A特定的一群人中，有一个犯人杀了人;B这群人中有人死了。
3. A三角形等边;B三角形等角。
例1中的A是B的充分条件;例2中的A是B的必要条件;例3中的A是B的充分必要条件。
与此相应，假言命题也有三种，即:充分条件假言命题、必要条件假言命题和充分必要条件假言命题。根据三种不同的假言命题的逻辑性质，相应地，也就有三种不同的假言推理。
折叠 编辑本段 充分条件
充分条件假言命题是陈述某一事物情况是另一件事物情况的充分条件的假言命题。"如果，那么"是充分条件假言命题的联结词;"如果"后面的支命题称为前件;"那么"后面的支命题称为后件。用p表示前件，用q表示后件，充分条件假言命题的的命题形式可表示为:
如果p，那么q
符号为:p→q(读作"p蕴涵q") 。
例如"如果物体不受外力作用，那么它将保持静止或匀速直线运动"是一个充分条件假言命题。
充分条件假言命题与其支命题(前件、后件)之间的真假关系是:如果前件真而后件假，则该充分条件假言命题才是假的;如果不是"前件真而后件假"，则该充分条件假言命题是真的。这种真假关系可用下面的真值表来表示:
p q 如果p，那么q
真 真 真
真 假 假
假 真 真
假 假 真
折叠 编辑本段 必要条件
必要条件假言命题是陈述某一事物情况是另一件事物情况的必要条件的假言命题。"只有，才"是必要条件假言命题的联结词;"只有"后面的支命题是前件，用p表示，"才"后面的支命题是后件，用q表示，必要条件假言命题的的命题形式可表示为:
只有p，才q
符号为:p←q(读作"p逆蕴涵q") 。
例如"只有有作案动机，才会是案犯"是一个必要条件假言命题。
必要条件假言命题与其支命题(前件、后件)之间的真假关系是:如果前件假而后件真，则该必要条件假言命题才是假的;如果不是"前件假而后件真"，则该必要条件假言命题是真的。这种真假关系可用真值表表示如下:
p q 只有p，才q
真 真 真
真 假 真
假 真 假
假 假 真