propositional logic

基本解釋

In the knowledge implication propositional logic system which build on this strategy, 1.
在根據(jù)這種策略而建立的知識蘊(yùn)涵命題邏輯系統(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.
第三部分主要是對標(biāo)準(zhǔn)的二元規(guī)范命題邏輯做一個概述，再從法律科學(xué)的角度對其中若干定理做一些評論。
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.
首先以蘊(yùn)涵算子為基礎(chǔ)從有限擾動模糊命題邏輯出發(fā)，討論其邏輯代數(shù)及廣義重言式的性質(zhì)。