都是命题逻辑证明吧Th1: (D→(C→D))->(C→(D→(C→D))) (公理1)D→(C→D) (公理1)C→(D→(C→D)) (分离规则)Th2:(D→(A→D))→((D→A)→...大师，还有两道呢啊Th4(B→((﹁B→﹁C)→B))→(((﹁B→C)→(﹁B→﹁C))→(B→((﹁B→﹁C)→B)))(公理1)(B→((﹁B→﹁C)→B))(公理1)((﹁B→C)→(﹁B→﹁C))→(B→((﹁B→﹁C)→B))(分离规则)(((﹁B→C)→(﹁B→﹁C))→(B→((﹁B→﹁C)→B)))→((((﹁B→C)→(﹁B→﹁C))→B)→(((﹁B→C)→(﹁B→﹁C))→((﹁B→﹁C)→B))) (公理2)(((﹁B→C)→(﹁B→﹁C))→B)→(((﹁B→C)→(﹁B→﹁C))→((﹁B→﹁C)→B))(分离规则)((﹁B→C)→(﹁B→﹁C))→B (公理3)((﹁B→C)→(﹁B→﹁C))→((﹁B→﹁C)→B) (分离规则)Th5((﹁D→D)→((﹁D→﹁D)→D))→(((﹁D→D)→(﹁D→﹁D))→((﹁D→D)→D))(公理1)(﹁D→D)→((﹁D→﹁D)→D) (公理3)((﹁D→D)→(﹁D→﹁D))→((﹁D→D)→D) (分离规则)[1](﹁D→((﹁D→﹁D)→﹁D))→((﹁D→(﹁D→﹁D))→(﹁D→﹁D)) (公理2)﹁D→((﹁D→﹁D)→﹁D)(公理1)(﹁D→(﹁D→﹁D))→(﹁D→﹁D) (分离规则)﹁D→(﹁D→﹁D) (公理1)﹁D→﹁D(分离规则)(﹁D→﹁D)→((﹁D→D)→(﹁D→﹁D))(公理1)(﹁D→D)→(﹁D→﹁D)(分离规则)[2](﹁D→D)→D ([1][2]分离规则)