查看原题
在自然推理系统 $P$ 中, 用构造法证明下面推理.
前提: $(p \wedge q) \rightarrow r, r \rightarrow s, \neg s, p$
结论: $\neg q$
                        
不再提醒