1) prepositional axiom
命题的公理
2) resolution principle of fuzzy(DF) proposition
DF命题归结公理
4) 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]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出。
5) standard proposition calculations system axioms
标准命题演算系统公理
6) binary trce
命题公式的二叉树
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条