symbolic logic

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

扩展信息

符号逻辑
石油英语词汇(S8)--石油百科 ... symbolic language 符号语言 symbolic logic 符号逻辑 symbolic model 符号模型 ...
数理逻辑
计算机科学与技术专业培养计划说明 ... 机械制图基础 Fundamental Graphics 数理逻辑 Symbolic Logic 近世代数 Modern Algebr…
符号逻萝辑
电器电子专业英语词汇 ... syllabric articulation 音节清晰度 symbolic logic 符号逻萝辑 symmetrical circulator 对称环行器 ...
象征逻辑
...n logic)仅适用于死板、抽象的事物，与今天的象征逻辑(symbolic logic)与分析哲学——尽管它们在其他方面是风马牛不相及—…
逻辑数理
逻辑数理（symbolic logic）能力音乐（music）能力 空间（space）能力 人际关系（社交sociality）能力人格（personality）能 …
符号逻辑学
因此，科学语言趋向于使用类似数学或符号逻辑学(symbolic logic)那种标志系统。它的目标是要采用象莱布尼茨(G．W．Leibniz…
象徵逻辑
...颠倒过来，他把语言视为是一种象徵体系，在 他所谓「象徵逻辑（symbolic logic）」运算中，我们能在不同象徵体系的类型 …
符号及其逻辑
§1. 符号及其逻辑（Symbolic Logic）Definition 1.1（Pierce） 某种对某人来说在某一方面或以某种能力代表某一事物的东西， …

例句

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

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

I'll just leave you with a little conundrum because that's philosophical logic we're not doing that here, we are doing symbolic logic here.

我会给你们一些难题因为，我们在做哲学逻辑，我们在做符号逻辑。

于是对符号逻辑的研究成为学术热点，法国哲学家鲍德里亚就是一位典型代表。

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

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

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

This text will first introduce you one branch of symbolic logic, what is generally called sentential , or propositional, logic.

本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。

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

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

原子命题是数理逻辑研究的基本单位。

an operation that follows the rules of symbolic logic.

依据数理逻辑法则进行的操作或运算。

这是个象征逻辑的例子。

同义词

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