5推理格式有了这些准备之后,我们就可以研究推理了.除了重言式,即逻辑真理之外,所有的推理都需要一些前提.也就是说,我们要假定某个集合F={P1,…,P_n}中的命题都是成立的.在此基础上,我们要论证某个结论Q也是正确的.