formal logic

短语

[计] 形式逻辑

词形变化

formal logics 复数 formal logics

释义与例句

n.

1.

Mathematical logic.

可数不可数数学哲学
2.

A particular logical calculus.

可数不可数数学哲学

词汇关系

名词

同义词 2

mathematical logic symbolic logic

上位词 2

logic logical system

下位词 7

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