| 释义 |
symbolic logic
释义
符号逻辑：一种逻辑学分支，使用符号和符号系统来表示和分析逻辑关系和论证。
例句
1·It is an example of symbolic logic .
这是个象征逻辑的例子。
2·Read more about Dr. George Boole, the inventor of symbolic logic , after whom booleans are named.
阅读关于 George Boole 博士（符号逻辑的发明者）的更多内容，布尔型就是因他而得名的。
3·Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
同义词
[数]符号逻辑；数理逻辑；符号论理学
mathematical logic
|