请问命题逻辑推理过程中的I.

问题描述:

请问命题逻辑推理过程中的I.

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