symbolic logic
symbolic-logic的词性:n.(名词)
1. A treatment of formal logic in which a system of symbols is used to represent quantities and relationships.Also called mathematical logic 符号逻辑:对形式逻辑的一种处理,用符号系统来代表数量及其相互间的关系也作 mathematical logic