formal logic

formal-logic的词性：
n.（名词）

1. The study of the properties of propositions and deductive reasoning by abstraction and analysis of the form rather than the content of propositions under consideration.
形式逻辑：不研究命题的内容，而是通过形式的抽象化和分析来研究命题的特征和演绎推理