主观题：在自然推理系统中用直接证明法证明推理
在自然推理系统$$P$$中用直接证明法证明推理。
前提: $$~p\rightarrow(q\rightarrow r),~p\wedge q$$
结论: $$~\neg r\rightarrow s$$
答案：证明:
$①~p\rightarrow(q\rightarrow r)\hspace{15mm}前提引入$
$②~(p\wedge q)\rightarrow r\hspace{17mm}①置换$
$③ ~p\wedge q\hspace{26mm}前提引入$
$④ ~r\hspace{32mm}②③假言推理$
$⑤ ~r\vee s\hspace{26.5mm}④附加规则$
$⑥ ~\neg r\rightarrow s\hspace{24mm}⑤置换$
前提: $$~p\rightarrow(q\rightarrow r),~p\wedge q$$
结论: $$~\neg r\rightarrow s$$
答案：证明:
$①~p\rightarrow(q\rightarrow r)\hspace{15mm}前提引入$
$②~(p\wedge q)\rightarrow r\hspace{17mm}①置换$
$③ ~p\wedge q\hspace{26mm}前提引入$
$④ ~r\hspace{32mm}②③假言推理$
$⑤ ~r\vee s\hspace{26.5mm}④附加规则$
$⑥ ~\neg r\rightarrow s\hspace{24mm}⑤置换$
