propositional logic

基本解释

• [数][计] 命题逻辑

同根派生

• 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 logic更多例句

词组短语

短语

• propositional modal logic 命题模态逻辑
• propositional intermediate logic 命题中间
• propositional dynamic logic [计]命题动态逻辑
• deterministic propositional dynamic logic 确定性命题逻辑
• Fuzzy Propositional Modal Logic 模糊模态逻辑

• propositional logic更多词组

专业释义

数学

• 命题逻辑
• 逻辑命题
• 命题式逻辑

计算机科学技术

• 命题逻辑
• 命题式逻辑

电子、通信与自动控制技术

• 建议逻辑
• 命题逻辑

机械工程

• 建议逻辑

哲学

• 命题逻辑