早教吧 育儿知识 作业答案 考试题库 百科 知识分享

不构造真值表证明蕴含式(P→Q)=>P→(P∧Q).

题目详情
不构造真值表证明蕴含式
(P→Q)=>P→(P∧Q).
▼优质解答
答案和解析
P→Q=>┐P∨Q=>T∧(┐P∨Q)=>(┐P∨P)∧(┐P∨Q)
=>┐P∨(P∧Q)=>P→(P∧Q).