您现在的位置是：首页 > 百科达人 > 正文

严格蕴涵（关于严格蕴涵的简介）

发布时间：2023-02-08 12:46:39来源：

导读大家好,很多人对严格蕴涵，关于严格蕴涵的简介这个还不是很了解,现在让我们一起来看看吧！1、严格蕴涵(strict implication)是蕴涵的一

大家好,很多人对严格蕴涵，关于严格蕴涵的简介这个还不是很了解,现在让我们一起来看看吧！

1、严格蕴涵(strictimplication)是蕴涵的一种，用于模态逻辑。

2、它最初由英国逻辑学家麦柯尔(H.MacColl)提出，美国哲学家、逻辑学家刘易斯(C.I.Lewis)在创立现代模态逻辑时使用了这种蕴涵。

3、严格蕴涵用鱼钩符号“⊰”表示，它可以由模态算子◇(称为“可能算子”，◇p意为“p是可能的”)或□(称为“必然算子”，□p意为“p是必然的”)以及真值联结词来定义。

4、在刘易斯的模态逻辑系统中，A⊰B(读作“A严格蕴涵B”)被定义为¬◇(A∧¬B)(读作“‘A真且B假’是不可能的”)。

5、A⊰B也可以被等价地定义为□(A→B)(读作“‘A实质蕴涵B’是必然的”)。

6、“A实质蕴涵B”只意味着“A真而B假”，这个命题是假命题。

7、当命题A与命题B之间存在某种必然联系时，即A真而B假为不可能时，称A“严格蕴涵”B。

8、日常语言中的“蕴涵”所指的就是严格蕴涵。

以上就是【严格蕴涵，关于严格蕴涵的简介】相关内容。

标签：