|
|
propositional
|
|
|
主张的,提议的
|
| 分类：
|
详细解释：
|
|
|
以下为句子列表：
英文: A propositional content can have different focuses of sentence.
中文: 一个命题内容可以有不同的语句焦点。
更详细...
英文: Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.
中文: 摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
更详细...
英文: Several years ago, professor Ju Shi-er advanced that reasoning could proceed based on an open world, proposing an assumption of a 3-valued propositional logic based on an open world.
中文: 鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。
更详细...
英文: Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable.
中文: 给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
更详细...
|
|
|
|
|
