形式逻辑，形式逻辑,xingshi luoji，形式逻辑,xingshi,luoji，[拼音]：xingshi luoji[外文]：formal logic研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究。它提供检验有效的推理和非有效的推理的标准。形式逻辑已经历了2000多年的历史，19世纪中叶以前的形式逻辑主要是传统逻...
