formal logic

详细解释:【计】 形式逻辑

英语解释：

名词 formal logic:

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity同义词：symbolic logic, mathematical logic