严格蕴涵的含义及用法-严格蕴涵近义词反义词 - 词速通

严格蕴涵搜索

找到约 1 条结果（用时 0.03 秒）

严格蕴涵是什么意思_严格蕴涵的含义解释

词速通 - 汉语词语词典 › 词语 › 严格蕴涵

严格蕴涵(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”只意味着... — 拼音 yán gé yùn hán，更新 2026-07-10 19:10:58

词条详情

拼音	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”只意味着...