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

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/03 20:49:11
构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个

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

构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个
E指的是恒等式,就是那些命题等值式,比如双重否定、排中律等等,有的书上会列举24个,标注为E1~E24,还有永真蕴含式I1~I9,P规则,T规则等等.