整个形式推理篇是以演绎逻辑为主的，也就是基本演绎推理的范畴，它属于必然性推理。演绎推理之所以为必然性推理，是因为演绎推理的结论不超出前提所断定的范围，其前提和结论之间的联系是必然的，即其前提真而结论假是不可能的。也就是说，一个演绎推理只要前提真实并且推理形式正确，那么，其结论就必然真实。
