propositional logic

基本解釋

In the knowledge implication propositional logic system which build on this strategy, 1.
在根據(jù)這種策略而建立的知識蘊涵命題邏輯系統(tǒng)中：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.
首先以蘊涵算子爲基礎(chǔ)從有限擾動模糊命題邏輯出發(fā)，討論其邏輯代數(shù)及廣義重言式的性質(zhì)。