中英▼
go top

symbolic logic

  • 符号逻辑：一种逻辑学分支，使用符号和符号系统来表示和分析逻辑关系和论证。

网络释义专业释义英英释义

  [数] 符号逻辑

符号逻辑（Symbolic logic）是研究逻辑推论的形式特征的符号抽象的。符号逻辑常常被区分为两个分支：命题逻辑和谓词逻辑。

基于762个网页-相关网页

  数理逻辑

证明集合相等探究-毕业论文参考网 关键词:集合; 数理逻辑; 谓词; 特征函数 [gap=940]Key words: set; symbolic logic; peridication ; eigenfunction

基于268个网页-相关网页

  符号逻萝辑

... symbolic logic 符号逻辑 ; 数理逻辑 ; 符号论理学 ; 符号逻萝辑 symbolic name 符号名 ; 符号名称 ; 标记名 ; 符号名字 Symbolic Address 符号地址 ; 标志位置 ; 符号地址 ...

基于68个网页-相关网页

短语

Association for Symbolic Logic 符号逻辑协会

model of symbolic logic [计] 符号逻辑模型

Bulletin of Symbolic Logic 数理逻辑简报

The Bulletin of Symbolic Logic 符号逻辑快报

Symbolic Logic I 符号逻辑

semi-symbolic logic 半符号逻辑

Symbolic logic semant 二值逻辑语义

Formal symbolic logic 逻辑

 更多收起网络短语
  • 数理模式 - 引用次数：1

    参考来源 - 形的衍生—契合图形装饰语言的数理依据和艺术特征
  • 符号逻萝辑
    符号逻辑
    数理逻辑
  • 符号逻萝辑
    符号逻辑
  • 符号逻辑
  • 符号逻辑

·2,447,543篇论文数据，部分数据来源于NoteExpress

symbolic 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

    同义词： mathematical logic formal logic

以上来源于: WordNet

 柯林斯英汉双解大词典 

symbolic logic

同近义词

双语例句

  • It is an example of symbolic logic.

    这是个象征逻辑的例子。

    youdao

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

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

    youdao

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

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

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定