与一阶命题逻辑子句混淆

时间:2015-11-13 02:12:34

标签: logic clause first-order-logic

我有两个命题pq。因此将该条款写成以下内容是合法的: q ∧ p ∧ ¬ p 我假设,在这种情况下 p ∧ ¬ p = F 将永远是假的,因此该条款将成为 q ∧ F = F 导致整个条款为假。

0 个答案:

没有答案