问答题

【简答题】证明公式“（R→¬Q），R∨S，S→¬Q，P→Q⇒¬P”的有效性（如有必要，可用间接证明法）。

答案：

你可能感兴趣的试题

【简答题】证明：P→（Q→F）是前提P→（Q→R），R→（S→E），¬F→（S∧¬E）的结论。

答案：

【简答题】证明：P→S是前提¬P∨Q，¬Q∨R，R→S的结论。

答案：