都是命題邏輯證明吧Th1: (D→(C→D))->(C→(D→(C→D))) (公理1)D→(C→D) (公理1)C→(D→(C→D)) (分離規(guī)則)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))(分離規(guī)則)(((﹁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))(分離規(guī)則)((﹁B→C)→(﹁B→﹁C))→B (公理3)((﹁B→C)→(﹁B→﹁C))→((﹁B→﹁C)→B) (分離規(guī)則)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) (分離規(guī)則)[1](﹁D→((﹁D→﹁D)→﹁D))→((﹁D→(﹁D→﹁D))→(﹁D→﹁D)) (公理2)﹁D→((﹁D→﹁D)→﹁D)(公理1)(﹁D→(﹁D→﹁D))→(﹁D→﹁D) (分離規(guī)則)﹁D→(﹁D→﹁D) (公理1)﹁D→﹁D(分離規(guī)則)(﹁D→﹁D)→((﹁D→D)→(﹁D→﹁D))(公理1)(﹁D→D)→(﹁D→﹁D)(分離規(guī)則)[2](﹁D→D)→D ([1][2]分離規(guī)則)