问答题

计算题 用归谬法推证下列各题的有效结论:r→¬q,r∨s,s→¬q,p→q=>¬p

【参考答案】