微信扫一扫
随时随地学习
当前位置 :
构造法证明中T()后面的字母什么意思例如离散数学中的T(2)E表示T规则引用第二个
1人问答
更新时间:2024-04-26
问题描述:

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

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