离散数学：证明等价式p→(q∨r)<=>┓r→(p→q)

求答案

p→(q∨r)
⇔¬p∨(q∨r) 变成 合取析取
⇔¬p∨q∨r 结合律
得到主合取范式

¬r→(p→q)
⇔r∨(p→q) 变成 合取析取
⇔r∨(¬p∨q) 变成 合取析取
⇔r∨¬p∨q 结合律
⇔¬p∨q∨r 交换律 排序
得到主合取范式

显然两者主合取范式一致，从而两个命题等价

温馨提示：内容为网友见解，仅供参考

当前网址：https://11.t2y.org/zz/f4v4m4vfp8m4m7s4spq.html