propositional logic
英
美
- 命题逻辑
详细释义
Noun:
-
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
双语例句
- 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