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.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。