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

来源:学生作业帮助网 编辑:作业帮 时间:2024/07/30 12:12:27
构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个
xŐAN`ƆI]\zZR*" D࢔ەWp<&7YWpb7^;,r\'ЂpQ mEcm%Л0TQKӂ?'ZbAR|dWZ[+?ܨ ;= ZS,y}> H >k Q&d[r!4,>HUb 8mfD=OT*d>qc}FZ΄crY/g?dS

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

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