P暗示Q,如何用英语阅读

Question

如何读取P意味着经典逻辑中的Q？

例如:

Distributivity:  

Ka(X->Y) -> (KaX -> KaY)

这是使用经典逻辑规则的模态逻辑.
KaX:知道X是真的.

我很好奇如何阅读英文含义？如果那么呢？

编辑:在模态逻辑中,Ka变为Box,它是盒装形状标志,象征着必要性规则,规则N,意味着,盒子P,如果你在世界三角洲有P,那么所有难以接受的世界也应该有P.

这也是钻石P,这意味着存在一个世界,其中有一个世界可以从钻石P所拥有的世界进入.

Answer 1

也许它可以帮助你理解,如果你想象一个来自现实世界的小例子:

火意味着热

这意味着如果你有火,必须有热量.如果没有火,可能会有热量,由于其他影响(例如阳光照耀:)),但也可能没有热量.

如果你有火但没有热量,有些事情就错了.那意味着是错误的.

Answer 2

"P暗示Q"相当于"if P,then Q".