否定以下句子

时间:2018-12-15 09:08:43

标签: prolog logic first-order-logic

我是逻辑新手。我对以下句子写了否定词。

(i) If you can run fast on sports meet then you can run fast on Olympic.
(ii) If the connector is loose or it is unplugged machine will not work. 

在修改后,是否可以检查一项是正确还是错误?任何帮助表示赞赏。

(i) If you can't run fast then you can't run on Olympic
     ¬run fast(sports meet)  → run fast(Olympic)


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

0 个答案:

没有答案