Logic 与一阶命题逻辑子句的混淆_Logic_Clause_First Order Logic

Logic 与一阶命题逻辑子句的混淆

logic

Logic 与一阶命题逻辑子句的混淆,logic,clause,first-order-logic,Logic,Clause,First Order Logic,我有两个命题p和q。因此，将该条款写为： q∧ p∧ -p 我假设，在这种情况下 p∧ -p=F 将始终为假，因此该条款将变为 q∧ F=F 结果整个从句都是假的。是的，你是对的。那么，你的问题是什么？我不知道该从句是否为'q'∧ p∧ -“p”是否有效！！这个子句不同于，它不是你真正想的，因为没有推理，或者你没有考虑模型或语义。最好的。@Tom…那么，你是说，这个条款是有效的，但不合理！！

我有两个命题

和

。因此，将该条款写为：

q∧ p∧ -p

我假设，在这种情况下

p∧ -p=F

将始终为假，因此该条款将变为

q∧ F=F

结果整个从句都是假的。

是的，你是对的。那么，你的问题是什么？我不知道该从句是否为'q'∧ p∧ -“p”是否有效！！这个子句不同于，它不是你真正想的，因为没有推理，或者你没有考虑模型或语义。最好的。@Tom…那么，你是说，这个条款是有效的，但不合理！！