| 单词 | formal logic |
| 释义 |
formal logic
英汉-汉英词典
形式逻辑
词组 | 习惯用语
您要查找的是不是：Formal Logic Analysis 形式逻辑分析 Formal Logic and Philosophical Logic 形式逻辑与哲学逻辑 formal logic language 形式化逻辑语言 modern formal logic 当代形式逻辑 aa formal logic 情势思维规律 formal logic 形式逻辑 formal logic thinking 形式逻辑思维 formal logic inference 形式逻辑推理
原声例句
弗里德曼播客集 Even Aristotle who thought about this very hard and came up with a theory of how syllogisms works and syllogistic reasoning has mistakes in his attempt to build something like a formal logic and gets maybe 80% right. 即使亚里士多德非常认真地思考了这个问题，并提出了三段论如何运作和三段论推理的理论，但他在尝试建立类似形式逻辑的东西时也犯了错误，并且可能得到了 80% 的正确率。
英语百科
Mathematical logicMathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
近义、反义、联想词
近义词n.logic, logical system, system of logic
英英词典
formal logic n.
synonymous： symbolic logic, mathematical logic |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。