词语含义

查询结果

严格蕴涵

yán gé yùn hán

ㄧㄢˊ ㄍㄜˊ ㄩㄣˋ ㄏㄢˊ

「严格蕴涵」是什么意思？

更新 2026-07-18 22:33:46

扩展释义

严格蕴涵(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”只意味着...

拆字组词

严 格 蕴 涵

相关词语

热门组词

友情链接

抓书网 短词网 书号查询 星云网 成都天气预报30天是什么意思？ 查看甘肃天气-气象随行15天天气 查看甘肃天气 甘肃是什么意思？ 极限拉力赛是什么意思？ 查看台湾天气-晚间预报 查看台湾天气 台湾是什么意思？ 属鸡2026年运势运程 属鸡人2026全年运势详解是什么意思？ 脑梗高发季到了！有3种不舒服千万别大意是什么意思？ 略胜一筹是什么意思？ 苏州留学是什么意思？ 西宁天气预报30天是什么意思？ qīng 轻是什么意思？ 石榴木命几月出生的好是什么意思？ 长白山天然矿泉水是什么意思？ 如何正确品鉴白兰地酒是什么意思？ 沙河口天气预报30天是什么意思？ 关于2023年团员思想汇报范文（最新9篇）是什么意思？ 九号小区是什么意思？