... 作肯定否定回答 answer in the affirmative 逻辑形式系统 formal system of logic 否定（或消极）形式的保护 negative form of protection ...
基于1个网页-相关网页
This paper deals with the formal system of propositional calculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
The central question in philosophy of logic is about the issue of the coherence between the valid formal argument in logical system and the extra-systematic informal antetype.
逻辑哲学的中心问题是关于逻辑系统内有效的形式论证与系统外的非形式原型的符合问题。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
应用推荐