| 单词 | implication |
| 释义 | implication蕴涵将两个简单命题联系起来，即若P则Q的逻辑命题，P为前题，Q为结果。在数理逻辑中，两个命题不需要相互关联，这称作实质蕴涵，例如“如果地球是平的，金子则是金属”。只有在前提为真结果为假的情况下，实质蕴涵才为假，否则相反（所举例子就是真蕴涵）。人们一般讨论的是形式蕴涵。在形式蕴涵中，两个命题在意义上相互关联，例如“如果不给我加薪，我就辞职”。蕴涵写作P'UQ，读作“P蕴涵O”。 |
| 随便看 |
英汉词典共收录311570条英汉翻译词条，基本覆盖所有常用英文单词的例句及中文翻译，是不可多得的英语学习材料。