目录 1
第一章 选择理论工具、检验方法 1
1.1 T系统的语义解释 3
1.2 S4系统语义解释 7
1.3 S5系统语义解释 9
1.4 QT系统语义解释 11
1.5 QS4系统的语义解释 13
2.1.1 完尸案例 15
2.1 对杀人案例求解刑侦推理的必然真结论,并检验 15
“语义后承”、“常真”观念设计求解必然真结论的智能逻辑程序模式 15
第二章 用选定的理论工具、检验工具在案例中用 15
2.1.2 碎尸案例 49
2.1.3 白骨案例 95
2.2 对爆炸案例求解刑侦推理的必然真结论,并检验 122
2.3 对盗窃杀人案例求解刑侦推理的必然真结论,并检验 137
2.4 对抢劫行凶案例求解刑侦推理的必然真结论,并检验 160
2.5 对敲诈案例求解刑侦推理的必然真结论,并检验 187
2.6 对索贿受贿案例求解刑侦推理的必然真结论,并检验 206
2.7 对诬陷案例求解刑侦推理的必然真结论,并检验 279
第三章 为便于读者应用,展示T定理常真的检验过程 356