累计查询 0.00 亿次

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. Clearly the infamous inventor of symbolic logic, Dr. George Boole — see Resources — would feel right at home.
    显然，“声名狼籍的”符号逻辑发明者George Boole博士—请参阅参考资料—会觉得这些选项很亲切。

网络短语

  • Association for Symbolic Logic
    符号逻辑协会
  • model of symbolic logic
    符号逻辑模型
  • Bulletin of Symbolic Logic
    数理逻辑简报
  • The Bulletin of Symbolic Logic
    符号逻辑快报
  • Symbolic Logic I
    符号逻辑

同义词

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

英英释义

  • n.any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity