推理定律(续) (4→>B)∧(-4→>B)入(4v4)→B 构造性二难(特殊形式) (4->B)∧C>D)∧(-ByD)→(4vC) 破坏性二难 说明: A,B,C为元语言符号 若某推理符合某条推理定律,则它自然是正确的 A<→B产生两条推理定律:A→B,B→A8 推理定律 (续) (A→B)(A→B)(AA)  B 构造性二难（特殊形式） (A→B)(C→D)( BD)  (AC) 破坏性二难 说明： A, B, C为元语言符号 若某推理符合某条推理定律，则它自然是正确的 AB产生两条推理定律: A  B, B  A