离散数学 给出下列推理过程的形式证明
1个回答
展开全部
证明：用附加前提证明法
① p 附加前提引入
② q->~p 前提引入
③ ~q 由①②蕴含
④ p->(qVr) 前提引入
⑤ qVr 由①④蕴含
⑥ r 由③⑤蕴含
⑦ s->~r 前提引入
⑧ ~s 由⑥⑦蕴含
① p 附加前提引入
② q->~p 前提引入
③ ~q 由①②蕴含
④ p->(qVr) 前提引入
⑤ qVr 由①④蕴含
⑥ r 由③⑤蕴含
⑦ s->~r 前提引入
⑧ ~s 由⑥⑦蕴含
本回答被提问者采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
