网站首页  百科知识

请输入您要查询的百科知识:

 

词条 implication
类别 英汉百科知识
释义

【implication】
 


中文:蕴涵
 


【释文】:将两个简单命题联系起来,即若P则Q的逻辑命题,P为前题,Q为结果。在数理逻辑中,两个命题不需要相互关联,这称作实质蕴涵,例如“如果地球是平的,金子则是金属”。只有在前提为真结果为假的情况下,实质蕴涵才为假,否则相反(所举例子就是真蕴涵)。人们一般讨论的是形式蕴涵。在形式蕴涵中,两个命题在意义上相互关联,例如“如果不给我加薪,我就辞职”。蕴涵写作P′UQ,读作“P蕴涵Q”。

随便看

 

开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2000-2025 oenc.net All Rights Reserved
更新时间:2025/9/28 17:28:19