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

证明┐(P→Q)《《==》》P∧┐Q证明P→(Q→P)《《==》》┐P→(P→┐Q)

题目详情
证明┐(P→Q)《《==》》P∧┐Q
证明P→(Q→P)《《==》》┐P→(P→┐Q)
▼优质解答
答案和解析
┐(P→Q)
┐(┐P∨Q)
P∧┐Q
P→(Q→P)
P→(┐Q∨P)
┐P∨(┐Q∨P)
┐P∨┐Q∨P
(┐P∨┐Q)∨P
P∨(┐P∨┐Q)
P∨(P→┐Q)
┐P→(P→┐Q)
这里主要用到P→Q┐P∨Q