词条 | implication |
类别 | 英汉百科知识 |
释义 | 【implication】 中文:蕴涵 【释文】:将两个简单命题联系起来,即若P则Q的逻辑命题,P为前题,Q为结果。在数理逻辑中,两个命题不需要相互关联,这称作实质蕴涵,例如“如果地球是平的,金子则是金属”。只有在前提为真结果为假的情况下,实质蕴涵才为假,否则相反(所举例子就是真蕴涵)。人们一般讨论的是形式蕴涵。在形式蕴涵中,两个命题在意义上相互关联,例如“如果不给我加薪,我就辞职”。蕴涵写作P′UQ,读作“P蕴涵Q”。 |
随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。