一个命题内容可以有不同的语句焦点。
主张的,提议的
propositional
暂无补充释义。
相关例句
摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。
给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
相关词条
proposition variable【数】;propositional variable【数】
calculus of propositions【数】;propositional calculus【数】;sentential calculus【数】
propositional code theory
classical propositional logic【数】
propositional attitude【计】
propositional logic
propositional constant【数】
propositional expression【计】