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