演绎法为什么被称为证明的逻辑

页面:/news/view-2410586/ | 耗时:0.8383 s | 内存:1.89 MB | 查询:4 | 缓存读取:4 写入:0 | 加载文件:23
select * from tbl_Articles WHERE ArticleID=2410586 LIMIT 0,1
select * from tbl_Articles_data WHERE ArticleID=2410586 LIMIT 0,1
select * from tbl_Articles_sphinx where id=2410586 LIMIT 0,1
SELECT ArticleID,Title FROM tbl_Articles WHERE ArticleID IN(1086420,1106232,1109499,1112776,1076199,1086698,1074840,1107687,1088694,1094053,1114128,1112210,1083227,1094815,1110586,1067049,1105029,1118134,1084307,1069793,1070058,1074712,1042114,1045346,1100583,1068264,1084081,1112889,1099075,1081835) ORDER BY field (ArticleID,1086420,1106232,1109499,1112776,1076199,1086698,1074840,1107687,1088694,1094053,1114128,1112210,1083227,1094815,1110586,1067049,1105029,1118134,1084307,1069793,1070058,1074712,1042114,1045346,1100583,1068264,1084081,1112889,1099075,1081835)