这篇博客详细证明了数理逻辑中的一些重要性质，包括从A推出B可以推导出非B推出非A，以及非A推出B等情况下的一些蕴含关系。通过一系列的推理步骤展示了如何运用逻辑规则得出结论。
数理逻辑 例题证明 P61 定理2.6.6
(1)A->B |- !B->!A
A->B,!B,A |- B (+,E)
A->B,!B,A |- !B (E)
A->B,!B |- !A (!+)
A->B |- !B->!A (-> +)
证毕
(3)!A->B |- !B->A
!A->B,!B,!A |- !B (+,E)
!A->B,!B,!A |- B (E)
!A->B,!B |- A (!-)
!A->B |- !B->A (-> +)
证毕
(4)!A ->!B |- B->A
!A ->!B,B,!A |- !B (+,E)
!A ->!B,B,!A |- B (E)
!A ->!B,B |- A (!-)
!A ->!B |- B->A (-> +)
证毕
(5)若A |- B 则 !B |- !A
A |- B
A,!B |- B (+)
A,!B |- !B (E)
!B |- !A (!+)
证毕
(6)若A |- !B 则 B |- !A
A |-!B
A,B |- !B (+)
A,B |- B (E)
B |- !A (!+)
证毕
(7)若!A |- B 则 !B |- A
!A |- B
!A,!B |- B (+)
!A,!B |- !B (E)
!B |- A (!-)
证毕
(8)若!A |- !B 则 B |- A
!A |- !B
!A,B |- !B
!A,B |- B
B |- A
证毕
扫一扫
1371
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
