logic of proposition
英
美
- 命题逻辑
双语例句
- The present paper investigates an abductive framework in default logic, and gives a solving abduction method in propositional default theories.
摘要研究缺省逻辑表示下的溯因框架，给出一种基于规则的命题逻辑缺省溯因诊断的求解方法。 - Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
