逻辑学第三章.pptVIP

证明： （1）(﹁X→﹁Y)∧(Z→Y) 前提 （2） ﹁Z→X 前提 （3）﹁X→﹁Y （1），化简 （4） Z→Y （1），化简 （5）﹁Y→﹁Z （4），假易 （6） ﹁Y→X （2）（5），三段论 （7）﹁X→X （3）（6），三段论 （8）﹁﹁X∨X （7），蕴析 （9）X∨X （8），双否 （10）X （9），重言 7，结合 根据重言等值式 P∧(Q∧R)←→(P∧Q)∧R P∨(Q∨R)←→(P∨Q)∨R P∧(Q∧R)和(P∧Q)∧R可以置换 P∨(Q∨R)和(P∨Q)∨R可以置换 5，合取引入（∧+） （A∧B）→A∧B 即 P Q ---------- ∴P∧Q 6，析取引入规则（∨+）或附加律 A→（A∨B）和B→（A∨B） 即 P Q ---------- --------- ∴P∨Q ∴P∨Q