当前位置 :
构造法证明中T()后面的字母什么意思例如离散数学中的T(2)E表示T规则引用第二个
更新时间: 2025-08-23 12:31:19
1人问答
问题描述:

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

戴大为回答:
  E指的是恒等式,就是那些命题等值式,比如双重否定、排中律等等,有的书上会列举24个,标注为E1~E24,还有永真蕴含式I1~I9,P规则,T规则等等.
最新更新
优秀数学推荐
热门数学
保卡通(baokatong.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
Copyright©2009-2021 保卡通 baokatong.com 版权所有