> 其他 >
构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个
人气:231 ℃ 时间:2020-03-24 01:31:59
解答
E指的是恒等式,就是那些命题等值式,比如双重否定、排中律等等,有的书上会列举24个,标注为E1~E24,还有永真蕴含式I1~I9,P规则,T规则等等.
推荐
猜你喜欢
© 2024 79432.Com All Rights Reserved.
电脑版|手机版