构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个

来源:学生作业学帮网 编辑:学帮网 时间:2024/05/27 16:07:47

构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个

E指的是恒等式,就是那些命题等值式,比如双重否定、排中律等等,有的书上会列举24个,标注为E1~E24,还有永真蕴含式I1~I9,P规则,T规则等等.