256查询网 英汉词典

propositional logic

英 美
  • 命题逻辑

详细释义

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

双语例句

    1. The present paper investigates an abductive framework in default logic, and gives a solving abduction method in propositional default theories.
      摘要研究缺省逻辑表示下的溯因框架,给出一种基于规则的命题逻辑缺省溯因诊断的求解方法。
    2. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
      命题变量是命题公式的基本构件板块,用于命题逻辑和更高的逻辑中。

相关词汇

Copyright © 2023 256查询网 All Rights Reserved

Copyright © 2023 www.256cha.com All Rights Reserved

256查询网 赣ICP备18009369号-6

本站部分资料来自网络,如有侵权请速与我们联系删除