除传统命题逻辑、词项逻辑之外,我们把模态推理、关系推理、求否定规则及逻辑基本规律等内容统称为逻辑应用。 ERJh5cmIVJVQtmXFrT8cSe4iJMXxCjfKzxz/3BMl8KeEkKUn+1ucUncF/HyR2IBB