propositional logic
名词 n.
英文释义
名词 n.
- A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
词形变化
0 次浏览
数据来源: Wiktionary