当前位置:首页 > 经典书库 > 逻辑百科辞典

选择蕴涵

H.赖兴巴赫提出的一种概率蕴涵号,它和通常的实质蕴涵号有所区别。下面就是选择蕴涵的真值表:

其中a,b是命题,→是选择蕴涵号,垂直双线左边是变目的真值。通过选择蕴涵,赖兴巴赫认为可以把概率逻辑元语言中表示概率值之间关系的所有公式转化为对象语言中的公式。

上一篇:序型 下一篇:
分享到: