您的位置: 首页 > 作业答案 > 其他 > 构造法证明中T()后面的字母什么意思例如离散数学中的 T(2)E 表示T规则引用第二个

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

分类: 作业答案 • 2022-01-09 18:01:45

问题描述：

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

答

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