| 释义 |
- na.【逻】间接论证法
- 网络间接证明；归谬法；反证法
n. | 1. in logic, proof of a conclusion by showing that assuming its negation will lead to a contradiction |
1. | 间接证明 数学词汇英语翻译(F-M) ... indirect numerical method 间接数值法 indirect proof 间接证明 indirect sampling 间接抽样 ... www.zftrans.com | 2. | 归谬法 June 2008．哲学哲学鸡蛋糕 ... （conditional proof、 条件证明） （indirect proof、 归谬法） （modus ponens、 肯定前件） ... phiphicake.blogspot.com | 3. | 反证法 107 其他常见的关于联结词的推理 ⒌反证法(indirect proof)： 特殊形式：?A→B，?A→?B├ A. 一般形式：若Γ,?A├B∧?B,则… www.docin.com |
4. | 间接证法 五、请以「间接证法」(indirect proof)并依「后项肯定法」(MT)及「后项否定法」(MT)、「选言三段论法」(DS)、「并言法」(C… lhl.nou.edu.tw | 5. | 间接证明法 上述分析方法在数学和逻辑学上被称为 “ 间接证明法（ indirect proof ）”。具体步骤是：先假设某个选项成立，然后看根据该选 … blog.hjenglish.com |
|