propositional logic

常見例句

In the knowledge implication propositional logic system which build on this strategy, 1.
在根據這種策略而建立的知識蘊涵命題邏輯系統中：1。
The third is a summary of the standard one-place normative propositional logic and analysis of some theorem of it from the science of law.
第三部分主要是對標準的二元槼範命題邏輯做一個概述，再從法律科學的角度對其中若乾定理做一些評論。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional Logic, discusses its logic algebra and the properties of its generalized tautology.
首先以蘊涵算子爲基礎從有限擾動模糊命題邏輯出發(fā)，討論其邏輯代數及廣義重言式的性質。