离散数学，请问命题逻辑推理过程中的I.E都是什么意思？

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

匿名回答于2024-05-26 18:21:37