离散数学,,,,,,,求答案

如题所述

(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 前提三段论
温馨提示:答案为网友推荐,仅供参考
第1个回答  2016-04-13