严格蕴涵
概述
严格蕴涵(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”只意味着...
2 扩展释义
严格蕴涵(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”只意味着...
9 词语组词
相关词条
本词条最后更新于 2026-07-10 09:32:32
友情链接
抓书网
短词网
书号查询
星云网
星座百科是什么意思？
西安儿童公园是什么意思？
长沙天气预报30天是什么意思？
[精品]中班教案元旦(90字)是什么意思？
左下包围是什么意思？
见到领导礼仪常识（热门十二篇）是什么意思？
成都天气预报30天是什么意思？
马晓云：侠肝义胆除汉奸，铁血抗日映丹心是什么意思？
查看甘肃天气-分钟级降水 查看甘肃天气 甘肃是什么意思？
庄河天气预报30天是什么意思？
演讲稿主题新颖小众五篇是什么意思？
查看山西天气-邯郸天气预报 查看山西天气 山西是什么意思？
8画属水最吉祥的字是什么意思？
进制转换器是什么意思？
资讯是什么意思？
恶魔大师是什么意思？ è mó dà shī