隶属
领域
假言命题
条件命题简介
假言命题指形式为"如果a则b"的复合命题。又称条件命题。其在前的支命题叫做前件,在后的支命题叫做后件。假言命题陈述一种事物情况是另一种事物情况的条件。在形式逻辑中,命题联结词"如果,则"被理解为"前件真而后件假"是假的,即"如果 a则b"假,当且仅当a 真而b假；而当a假时,整个复合命题总是真的。在现代逻辑中,命题之间的这样的真假关系叫做实质蕴涵。在日常语言中,关于"如果,则"可能还有其他含义,如因果联系、推论关系等等。
| 中文名 | 假言命题 |
|---|---|
| 别名 | 条件命题 |
| 原始名称 | 假言命题 |
| 归属 | 离散数学 |
| 相关实体 | 直言命题 |
| 精选上位词 | 术语 |
| 精选别名 | 条件命题 |
| 绰号 | 条件命题 |