构造法证明中T()后面的字母什么意思例如 离散数学中的 T(2)E 表示T规则引用第二个
人气：315 ℃ 时间：2020-03-24 01:31:59
解答
E指的是恒等式,就是那些命题等值式,比如双重否定、排中律等等,有的书上会列举24个,标注为E1～E24,还有永真蕴含式I1～I9,P规则,T规则等等.
推荐
猜你喜欢
- A、B都是正整数,如果A除以B等于10,那么A、B的最小公倍数是几谢谢了,
- The words of his old teacher left a ______ impression on his mind.He is still influenced by them.
- 有关交通安全的作文600字
- 举例说出“经过两点且只有一条直线”和“两点之间,线段最短”这两个结论在实际生活中的运用
- 在某张月历上,一个月内是五个星期日正好在同列,且它们的日期数之和是80,则本月第一个星期一是__号?
- each other for a change是什么意思
- "Bill,is this_____bike?" "Yes,it is."
- 翻译 Happiness is not wishing for what we dont have,but enjoying what we do possess
