问答题

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

答案：

你可能感兴趣的试题

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

答案：

【简答题】求命题公式“（¬R∧（Q→P））→（P→（Q∨R））”的主合取范式和主析取范式，并判断公式是否为重言式或矛盾式。

答案：