离散数学，，，，，，，求答案
2个回答
展开全部
（1）
¬(p∧¬q) 前提1
¬p∨q 德摩根定律
p→q等值蕴含式 【1】
¬q∨r 前提2
q→r 等值蕴含式
¬r 前提3
¬q 拒取式 【2】
¬p 拒取式【由1，2得到】
（2）
p∨¬r 前提3
r→p 等值蕴含式
p→(q→s) 前提1
r→(q→s) 前提三段论
¬r∨(¬q∨s) 等值蕴含式
q→(¬r∨s) 等值蕴含式
q→(r→s) 等值蕴含式
q 前提2
r→s 前提三段论
¬(p∧¬q) 前提1
¬p∨q 德摩根定律
p→q等值蕴含式 【1】
¬q∨r 前提2
q→r 等值蕴含式
¬r 前提3
¬q 拒取式 【2】
¬p 拒取式【由1，2得到】
（2）
p∨¬r 前提3
r→p 等值蕴含式
p→(q→s) 前提1
r→(q→s) 前提三段论
¬r∨(¬q∨s) 等值蕴含式
q→(¬r∨s) 等值蕴含式
q→(r→s) 等值蕴含式
q 前提2
r→s 前提三段论
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
