严格蕴涵
基本解释
简解
严格蕴涵的词语属性
拼音yán gé yùn hán
拼音字母yan ge yun han
拼音首字母ygyh
严格蕴涵的百科含义
严格蕴涵(strict implication)是蕴涵的一种，用于模态逻辑。它最初由英国逻辑学家麦柯尔(H.MacColl)提出，美国哲学家、逻辑学家刘易斯刘易斯(C.I.Lewis)在创立现代模态逻辑时使用了这种蕴涵。严格蕴涵用鱼钩符号“⊰”表示，它可以由模态算子◇(称为“可能算子”，◇p意为“p是可能的”)或□(称为“必然算子”，□p意为“p是必然的”)以及真值联结词来定义。在刘易斯的模态逻辑系统中，A⊰B(读作“A严格蕴涵B”)被定义为¬◇(A∧¬B)(读作“‘A真且B假’是不可能的”)。A⊰B也可以被等价地定义为□(A→B)(读作“‘A实质蕴涵B’是必然的”)。“A实质蕴涵B”只意味着...
猜你喜欢
- boxi波希
- damohongyan大漠红颜
- yaoqianshu摇钱树
- anliuniaopian氨硫脲片
- shuishoufajin税收罚金
- denglizidianshiji等离子电视机
- wanzhuanhuoying玩转火影
- shichen石琛
- beibaozhijia背包之家
- lvrusan闾茹散
- jingshilu井式炉
- zhuci主次
- zhilixingzou直立行走
- gaofengduxue高凤笃学
- maxuan马玄
- qunshanxiang群山乡
- jinjie靳洁
- hanheshu旱禾属
- huameiju华美居
- xinfu辛夫
- liluoxuan力螺旋
- butianzhiyi不腆之仪
- tunisiwenhua突尼斯文化
- wenzhoukaiyuebinguan温州凯悦宾馆
- zibojiaoyu淄博教育
- niān huá zhāi yàn拈华摘艳
- jijibobo汲汲波波
- yucheng虞成
- hutouzhen湖头镇
- shenhainiyelu深海拟野鲈