构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个
人气：279 ℃ 时间：2020-03-24 01:31:59
解答
E指的是恒等式,就是那些命题等值式,比如双重否定、排中律等等,有的书上会列举24个,标注为E1～E24,还有永真蕴含式I1～I9,P规则,T规则等等.
推荐
猜你喜欢
- 若函数y=ax^2(a不等于0）的图像在直线y=2x-3的上方,求a的取值范围
- die的过去式,过去分词,形容词
- 如何配制三氯化铁溶液
- 铝、铁、铜分别于盐溶液反应的方程式,急
- 修一条路,计划20天完成,实际比计划少10%,实际多少天完成
- 南宋都城（）
- 一个正方体水池,棱长3.5m,这个水池占地面积（）㎡?最多可装（）L水?
- 设△ABC是锐角三角形,abc分别是内角,ABC所对边长,并且Sin2A＝sin（π/3+
