问题标题：
p^(p->q)=>q用蕴含关系式证明离散数学
问题描述：
p^(p->q)=>q用蕴含关系式证明离散数学
彭寒梅回答：
只要判断（P∧(P→Q)）→Q是不是永真式就好了嘛.
(P∧(P→Q))→Q
⇔(p∧(┐P∨Q))→Q
⇔┐((P∧┐P)∨(P∧Q))∨Q
⇔┐(F∨(P∧Q))∨Q
⇔┐(P∧Q)∨Q
⇔┐P∨┐Q∨Q
⇔┐P∨T
⇔T
所以原式是永真式
点击显示
数学推荐
热门数学推荐
p^(p->q)=>q用蕴含关系式证明离散数学