推理過程不就是一系列的公式嗎?公式有兩種：
　　前　　提：根據(jù)P規(guī)則引入；
　　中間結(jié)果：根據(jù)T規(guī)則引入；
對于中間結(jié)果,就是根據(jù)前提或其他中間結(jié)果利用【公式】得出來的；而能夠利用的公式有兩種：
　　蘊含式：用I表示；
　　等價式：用E表示；
至于為何選用這些字母,那是慣例：選用相關(guān)概念的英語首字母.