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.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发,讨论其逻辑代数及广义重言式的性质。
双语例句
词组短语
- propositional modal logic 命题模态逻辑
- propositional intermediate logic 命题中间
- propositional dynamic logic [计]命题动态逻辑
- deterministic propositional dynamic logic 确定性命题逻辑
- Fuzzy Propositional Modal Logic 模糊模态逻辑
短语
专业释义
- 命题逻辑
- 逻辑命题
- 命题式逻辑
- 命题逻辑
- 命题式逻辑
- 建议逻辑
- 命题逻辑
- 建议逻辑
- 命题逻辑