构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个
题目
构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个
答案
E指的是恒等式,就是那些命题等值式,比如双重否定、排中律等等,有的书上会列举24个,标注为E1～E24,还有永真蕴含式I1～I9,P规则,T规则等等.
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
- 若,一次函数y=kx+1(k为常数k不等于零.)的图像经过第1 2 3象限则k的取值范围是?
- I had a high fever.为什么用a?
- 仔细观察下列算式 (2*4)²=2*4*2*4=2²*4² (3*7)²=3*7*3*7=3²*7²
- 描写温暖的成语
- 浮力定理中,物体排液的体积和液体的体积大小关系
- 1某商场搞促销活动,所有商品一律七五折,一件毛衣现在的价钱比原来便宜60元,这件毛衣原来的价格是多少?
- 一个长方形长减少6厘米,面积减少30平方厘米,剩下的恰好是一个正方形,原来的长方形的面积是多少平方厘米
- 若x是实数,且x^3-x=2,则x^4与5的大小关系如何?
- 把5.1g镁铝合金的粉末放入过量的盐酸中,得到5.6L氢气,计算镁的质量.计算镁和铝的物质的量之比.
- wendy 这个名字有什么含义呀
热门考点