翻译
  • 简明

  • propositional logic

    释义

    • 命题逻辑

  • 实用场景例句

    • 全部

    This paper works on propositional logic system in Computer Logic.

    本论文研究了计算机数理逻辑中的命题演算部分内容.

    互联网

    First order logic is a most important concept in the field of propositional logic.

    而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.

    互联网

  • 英英释义

    Noun

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

  • 行业词典

    • 计算机

      命题逻辑   

  • 释义
  • 实用场景例句
  • 英英释义
  • 行业词典