Extra
蕴涵词
简介
数学逻辑中一种命题连接词。用符号“→”或者“⊃”表示。如a→b(或a⊃b)即a和b的蕴涵式,读作“a蕴涵b”(或“如果a则b”),其真假关系是:a真和b假则a→b假,否则a→b真。a和b分别称为a→b的前件和后件。
| 中文名 | 蕴涵词 |
|---|---|
| 原始名称 | 蕴涵词 |
| 类型 | 命题连接词 |
| 精选上位词 | 术语 |
| 领域 | 离散数学 |
相关实体
数学逻辑中一种命题连接词。用符号“→”或者“⊃”表示。如a→b(或a⊃b)即a和b的蕴涵式,读作“a蕴涵b”(或“如果a则b”),其真假关系是:a真和b假则a→b假,否则a→b真。a和b分别称为a→b的前件和后件。
| 中文名 | 蕴涵词 |
|---|---|
| 原始名称 | 蕴涵词 |
| 类型 | 命题连接词 |
| 精选上位词 | 术语 |
| 领域 | 离散数学 |