Question

大一离散数学。求大神帮忙解答要用上面例题的公式解答。

Answer 1

前提：┐(P∧┐Q)，┐Q∨R，┐R
结论：┐P
证明：
① ┐R 前提引入
② ┐Q∨R 前提引入
③ ┐Q ①②析取三段式
④ ┐(P∧┐Q) 前提引入
⑤ ┐P∨Q ④等价置换
⑥ ┐P ③⑤析取三段式
得证。