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

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

戴大为回答:
  E指的是恒等式,就是那些命题等值式,比如双重否定、排中律等等,有的书上会列举24个,标注为E1~E24,还有永真蕴含式I1~I9,P规则,T规则等等.
查看更多
数学推荐
热门数学推荐