symbolic logic

短语

[计] 符号逻辑

词形变化

symbolic logics 复数 symbolic logics

释义与例句

n.

1.

A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.

不可数数学哲学

词汇关系

名词

同义词 2

formal logic mathematical logic

上位词 2

logic logical system

下位词 7

Boolean algebra Boolean logic fuzzy logic modal logic predicate calculus propositional calculus propositional logic