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

来源:学生作业帮助网 编辑:六六作业网 时间:2024/05/14 05:02:15
证明┐(P→Q)《《==》》P∧┐Q证明P→(Q→P)《《==》》┐P→(P→┐Q)证明┐(P→Q)《《==》》P∧┐Q证明P→(Q→P)《《==》》┐P→(P→┐Q)证明┐(P→Q)《《==》》P∧

证明┐(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