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

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/27 22:38:07
证明┐(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)《《==》》┐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