当前位置: > 构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个...
题目
构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个

提问时间:2021-03-14

答案
E指的是恒等式,就是那些命题等值式,比如双重否定、排中律等等,有的书上会列举24个,标注为E1~E24,还有永真蕴含式I1~I9,P规则,T规则等等.
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
版权所有 CopyRight © 2012-2019 超级试练试题库 All Rights Reserved.