数理逻辑证明题,谓词逻辑公理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
来源:学生作业帮助网 编辑:作业帮 时间:2024/06/18 16:54:50
![数理逻辑证明题,谓词逻辑公理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](/uploads/image/z/2112298-34-8.jpg?t=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91%E8%AF%81%E6%98%8E%E9%A2%98%2C%E8%B0%93%E8%AF%8D%E9%80%BB%E8%BE%91%E5%85%AC%E7%90%861%EF%BC%9AA%E2%86%92%28B%E2%86%92A%292%EF%BC%9A%28A%E2%86%92%28B%E2%86%92C%29%29%E2%86%92%28%28A%E2%86%92B%29%E2%86%92%28A%E2%86%92C%29%293%EF%BC%9A%28%EF%B9%81A%E2%86%92B%29+%E2%86%92%28%28%EF%B9%81A%E2%86%92%EF%B9%81B%29+%E2%86%92A%29%E6%8E%A8%E7%90%86%E8%A7%84%E5%88%99%EF%BC%9A%E5%88%86%E7%A6%BB%E8%A7%84%E5%88%99%EF%BC%9A%E5%A6%82%E6%9E%9CA%2C%E5%B9%B6%E4%B8%94A%E2%86%92B%2C%E9%82%A3%E4%B9%88B.Th1%EF%BC%9AC%E2%86%92%28D%E2%86%92%28C%E2%86%92D%29%29%3BTh2%28D%E2%86%92A%29%E2%86%92%28D%E2%86%92D%29Th3%28%28A%E2%86%92A%29+%E2%86%92A)
数理逻辑证明题,谓词逻辑公理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
数理逻辑证明题,谓词逻辑
公理
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
数理逻辑证明题,谓词逻辑公理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
都是命题逻辑证明吧
Th1:
(D→(C→D))->(C→(D→(C→D))) (公理1)
D→(C→D) (公理1)
C→(D→(C→D)) (分离规则)
Th2:
(D→(A→D))→((D→A)→(D→D)) (公理2)
D→(A→D) (公理1)
(D→A)→(D→D) (分离规则)
Th3:
(A→( A→A))→(((A→A) →A) →(A→( A→A))) (公理1)
A→( A→A) (公理1)
((A→A) →A) →(A→( A→A)) (分离规则)