Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。
想要改善这个问题吗?更新问题,以便将其作为on-topic用于堆栈溢出。
7年前关闭。
Improve this question
这是问题所在:我必须从以下位置派生
我不允许使用任何派生规则或替换规则(De Morgan的,隐含的,Modus Tolluns等),而只能使用经典的逻辑规则。我已经尝试了所有我能想到的一切,但仍然无法获得所需的答案。
因此,即使您可以使用所有派生规则,替换等,也无法(有效地)从语句1和2派生Q-> S。
很难证明不正确的东西。 (无论如何逻辑上:)
想要改善这个问题吗?更新问题,以便将其作为on-topic用于堆栈溢出。
7年前关闭。
Improve this question
这是问题所在:我必须从以下位置派生
Q>S
:(P^Q^R)>S
(~P^Q^~R)>S
我不允许使用任何派生规则或替换规则(De Morgan的,隐含的,Modus Tolluns等),而只能使用经典的逻辑规则。我已经尝试了所有我能想到的一切,但仍然无法获得所需的答案。
最佳答案
您无法证明它的原因是因为它不正确。
考虑:
IF P and Q are true and R and S are false,
THEN: < T T F F >
1. ( P & Q & R) -> S is true ( because "(False) -> False" is valid )
and 2. (~P & Q & ~R) -> S is true ( also because "(False) -> False" )
BUT: Q -> S is NOT true ( because "True -> False" is invalid )
因此,即使您可以使用所有派生规则,替换等,也无法(有效地)从语句1和2派生Q-> S。
很难证明不正确的东西。 (无论如何逻辑上:)