Logic. A principle of inference by which a given proposition can be inferred from the conjunction of it with another proposition.
| 单词 | θ141078 |
| 释义 | the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > logical inference > terms relating to (3) simplification1903 Logic. A principle of inference by which a given proposition can be inferred from the conjunction of it with another proposition. natural deduction1947 a method, devised separately in 1934 by G. Gentzen (Math. Zeitschr. (1935) 39) and S. Jaśkowski (Studia Logica (1934) 1), whereby formal proofs are… inference rule1962 in a system of logic: any rule permitting inferences of a specified form. |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。