以上来源于: WordNet
If we consider the denotation of fictitious concept not to exists, it will result in a series of contradictions of many definitions and rules of formal logics.
如果将虚构概念的外延视作零，将使普通逻辑的许多定义、规则产生一系列的矛盾。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
应用推荐