关于离散数学的几个问题

问题描述:

关于离散数学的几个问题

证明P→Q=>┐P∨Q


证明┐P∨(P∧Q)=>P→(P∧Q)

R→┐R是什么?

  应该是
   P→Q ┐P∨Q,
这个太简单了,一般是用真值表证明的,你来试试…….有了它,下面这个也就证明了:
   ┐P∨(P∧Q) P→(P∧Q).