大一离散数学题，求大神帮忙解答，要用到例题的格式

证明：（理由就留给你了） 　　① ┐R 前提引入 　　② ┐Q∨R 前提引入 　　③ ┐Q …… 　　④ ┐(P∧┐Q) 　　⑤ ┐P∨Q 　　⑥ ┐P 得证。