Question

我是逻辑新手，我也喜欢学习人工智能。我正在将以下句子转换为否定形式。我已经尝试过，但仍然感到困惑。请帮助我以下结果是否正确。

  (i) If you can swim across the river then you can swim to the island.
 (ii) If the connector is loose or it is unplugged machine will not work.

我的工作

(i) If you can't swim across the river then you can't swim to the island
     ¬ swim(across_the_river)  →  ¬ swim(island)



(ii) If the connector is not loose or it is plugged machine will work.
     ¬ [ loose(connector)   ∨ unplugged (connector) ]  → ¬ not_work(machine)

Answer 1

“如果您可以游过河，那么您可以游到岛上。”

我们叫“你可以在河里游泳”的提议A，和“你可以游到岛屿上的”提议B。

然后原始句子对应于A-> B。

这种练习的想法是，您“分解”含义->并获得仅包含“ not”，“ and”和“ or”的公式。

我们可以通过注意以下内容来分解：

“ A-> B”与“（不是A）或B”（->的定义）相同

so“ not（A-> B）” =“ not（（not A）或B）”。

现在，我们想“移入”“不”更接近命题，以避免对复杂公式的求反。外部条件不是否定取反（或），因此我们可以使用德摩根定律“将其移入”更接近于命题：

“ not（P或Q）”与“（not P）and（not Q）”相同

如果我们使P为“ not A”，而Q为B，则可以将“ not（（not A）或B）”重写为“（not（not A））和（not B）”。对A的两个否定彼此抵消，我们得到“ A和（不是B）”。

因此，原始句子的否定对应于“ A而不是B”，这给了我们：

“您可以游过河，而您不能游到岛屿上。”

这很直观；这句话反驳了原来的一句话，因为如果您可以在和河上游泳，就不能游泳到该岛，那么如果您可以在河上游泳然后。您可以游泳到岛上。

对于第二句话，“如果连接器松动或拔下插头，机器将无法正常工作”，我们将其命名为“连接器松动”的提案L，“连接器拔出的”提议U，“机器将正常工作”命题W。

然后句子对应于“ L或U->不是W”。

因此，使用与第一句话相同的规则，该否定词是“（L或U）而不是（not W）”。就像我们之前否定B一样，我们否定了“ not W”并获得了两次否定的“ not not W”。

两个负数抵消，我们得到“（L或U）和W”。

因此，否定的英语句子是

“连接器松动或拔出，机器正常工作”

这又在直观上否定了原始命题，因为这基本上是在说这两个条件导致机器无法正常工作。

变成否定形式

1 个答案: