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