累计查询 0.00 亿次

propositional logic

  • 命题逻辑：一种形式演绎系统，其中可以通过逻辑连接词将原子命题组合形成表示命题的公式。

双语例句

  1. This paper introduces a method for propositional logic calculation.
    介绍了命题逻辑演算方法。
  2. In the knowledge implication propositional logic system which build on this strategy, 1.
    在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。
  3. Furthermore, it presents a creditability problem about theorem proof in propositional logic.
    也引申出命题逻辑定理证明的一个可信性问题。

网络短语

  • formula of propositional logic
    命题逻辑公式
  • extension principle of propositional logic
    命题逻辑的外延性原理
  • Boolean propositional logic
    布尔命题逻辑；是常用的布尔命题逻辑
  • Fuzzy Propositional Logic
    模糊命题逻辑
  • interval-valued fuzzy propositional logic
    区间值模糊命题逻辑

英英释义

  • n.a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them