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

Question

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

示例：

Distributivity:  

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

这是使用经典逻辑规则的模态逻辑 KaX：我知道X是真的。

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

在模态逻辑中

编辑，Ka成为Box，它是盒装形状标志，象征着必要性规则，规则N，即P盒，如果你在世界Delta中有P那么所有可能的世界也应该有P。

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

Answer 1

如果您想象现实世界中的一个小例子，或许它可以帮助您理解：

  

火意味着加热

这意味着如果你有火，必须有热量。如果没有火，那么可以是热量，由于其他影响（例如阳光照耀:)），但也可能没有热量。

如果你有火但没有热量，有些事情是错的。这意味着错误。

Answer 2

“P暗示Q”相当于“if P，then Q”。

Answer 3

不是P或Q 。你想要这个版本吗？

Answer 4

翻译你的例子：

Distributivity

Ka[Z] : ‘A knows Z is true’

Ka[(X->Y)] -> (Ka[X] -> Ka[Y])

如果A知道X跟随Y，那么从知道X为真的A知道Y知道Y是真的。

Answer 5

P意味着Q.你面前有英语。

Answer 6

对我来说，P =＆gt; Q最好读为 P为假，或Q为真

Answer 7

P表示如果P和Q为真，或者如果P为假，则Q为真。

如果P为真且Q为假，则为假。

*编辑：基本上，Svisstack说的是什么。

Answer 8

有时候，如果你使用同一性，这就是给定模态的De Morgan二元性，这些分配律和模态逻辑的其他公理更容易掌握。必然的必然性是必然的。让a知道P意味着a不知道P：直觉上这意味着a的知识与P不相矛盾，所以a可以在不了解矛盾的情况下学习P。如果Ca P coknows a，请说P。

然后使用经典逻辑，分配等同于：

Ka(X or Y) -> (KaX or CaY)

这种形式通常更容易处理，形式与正式操纵有关。

Answer 9

您是否正在寻找P -> Q的定义或关于如何在写作或说话时用文字表达说的建议？如果是前者，那已经有了一些很好的建议。

然而，如果是后者，我建议你只是在你的帖子中使用“P暗示Q”。它很简洁，除非你与对数学逻辑有限或不熟悉的人交谈，否则它的含义是明确的。