symbolic logic是什么意思，symbolic logic的意思翻译、用法、同义词、例句

常用词典

[数] 符号逻辑；数理逻辑；符号论理学

It is an example of symbolic logic.

这是个象征逻辑的例子。

Read more about Dr. George Boole, the inventor of symbolic logic, after whom booleans are named.

阅读关于 George Boole 博士（符号逻辑的发明者）的更多内容，布尔型就是因他而得名的。

Symbolic logic is often divided into two branches, propositional logic and predicate logic.

符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

Clearly the infamous inventor of symbolic logic, Dr. George Boole — see Resources — would feel right at home.

显然，“声名狼籍的”符号逻辑发明者George Boole博士—请参阅参考资料—会觉得这些选项很亲切。

Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.

符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。

|mathematical logic;[数]符号逻辑；数理逻辑；符号论理学

单词：symbolic

形容词

The dove is a symbolic representation of peace. （鸽子是和平的象征）
The painting is not a realistic portrayal of the city, but rather a symbolic interpretation. （这幅画不是对这个城市的真实描绘，而是一种象征性的诠释）

单词：logic

名词

The professor taught us about the principles of logic and reasoning. （教授教我们逻辑和推理的原则）
It is important to use logic when making important decisions. （在做出重要决定时，使用逻辑很重要）