懂离散的进P∧(P→Q)=>Q?P∧(P→Q)=>Q出处左孝凌《离散数学》（上海科技文献出版社）21页个人推演如下：P∧(P→Q)P∧(┐P∨Q)(P∧┐P)∨(P∧Q)F∨(P∧Q)(PP∧(P→Q)=>Q出处左孝凌《离散数学》

Question

懂离散的进 P∧(P→Q)=>Q?
P∧(P→Q)=>Q
出处 左孝凌 《离散数学》 （上海科技文献出版社） 21页
个人推演如下：
P∧(P→Q)P∧(┐P∨Q)(P∧┐P)∨(P∧Q)F∨(P∧Q)(P P∧(P→Q)=>Q
出处 左孝凌 《离散数学》 （上海科技文献出版社） 21页
个人推演如下：
P∧(P→Q)P∧(┐P∨Q)(P∧┐P)∨(P∧Q)F∨(P∧Q)P∧Q=>
到此 根据公式 应该为
P∧Q=>P 或Q
也就是说
P∧(P→Q)=>Q 或者P∧(P→Q)=>P
而不仅仅=>Q
问此推演是否正确?

Answer 1

你的推演过程没有问题.但是“P∧(P→Q)=>Q”是要说明“P∧(P→Q)”可推出“Q”.至于“P∧(P→Q)”可推出“P”其实是不用列出的,因为有“P∧X=>P”就足够了（“P∧(P→Q)”也属于“P∧X”型,因此可以直接推出P）