1) resolution principle of fuzzy(DF) proposition
DF命题归结公理
2) resolution matrix of DF proposition
DF命题归结矩阵
3) prepositional axiom
命题的公理
4) recursive proposition
递归命题
1.
Only the recursive proposition can use the mathematical induction.
只有递归命题才能运用数学归纳法 ,而判别一个与自然数相关的命题是不是递归命题 ,则是运用数学归纳法的前
6) propositional formula
命题公式
1.
True value table is an important concept in the propositional logic theory,we can seek the principal normal form of propositional formula,determine the type of propositional formula,and do logic reasoning by it.
真值表是命题逻辑理论中的一个重要概念,利用它可以求命题公式的主范式、判定命题公式的类型以及进行命题逻辑的推理等。
2.
Based on paper and,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]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条