symbolic logic

详细解释:【计】 符号逻辑

英语解释：

名词 symbolic logic:

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