推理过程不就是一系列的公式吗?公式有两种：
　　前　　提：根据P规则引入；
　　中间结果：根据T规则引入；
对于中间结果,就是根据前提或其他中间结果利用【公式】得出来的；而能够利用的公式有两种：
　　蕴含式：用I表示；
　　等价式：用E表示；
至于为何选用这些字母,那是惯例：选用相关概念的英语首字母.