欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
探讨二值命题逻辑公式及逻辑等价公式统一性问题．利用二值命题逻辑中公式逻辑等价与可证等价的一致性，借助于赋值方法得到了命题在可证等价意义下的一般表示，给出了全体命题根据可证等价关系作商得到的所有等价类的代表元的统一表示形式．
英文摘要：
The uniform issue of two-valued propositional logic formulas and logical equivalent formulas is discussed. Based on the consistence of logical equivalence and provable equivalence of formulas in two-valued proposition logic, the general expression of formulas in F（Sn） in the meaning of provable equivalence with the help of assignment of formulas is given. The general expression of representation element of equivalent class which are acquired by quotient on the formulas in F（Sn） according to the provable equivalence are provided.
同期刊论文项目
同项目期刊论文
期刊信息
位置：