Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。












想要改善这个问题吗?更新问题,以便将其作为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。

    很难证明不正确的东西。 (无论如何逻辑上:)

    09-10 08:11
    查看更多