数理逻辑证明题,谓词逻辑

题目

数理逻辑证明题,谓词逻辑
公理
1：A→(B→A)
2：(A→(B→C))→((A→B)→(A→C))
3：(﹁A→B) →((﹁A→﹁B) →A)
推理规则：分离规则：如果A,并且A→B,那么B.Th1：C→(D→(C→D));
Th2(D→A)→(D→D)
Th3((A→A) →A) →(A→( A→A))
Th4((﹁B→C)→(﹁B→﹁C))→((﹁B→﹁C)→B))
Th5(﹁D→D) →D

答案