云南师范大学学报(自然科学版)
雲南師範大學學報(自然科學版)
운남사범대학학보(자연과학판)
JOURNAL OF YUNAN NORMAL UNIVERSITY(NATURAL SCIENCES EDITION)
2015年
3期
36-40
,共5页
计量逻辑学%R0-命题逻辑系统%矛盾度%等价形式%对称性定理
計量邏輯學%R0-命題邏輯繫統%矛盾度%等價形式%對稱性定理
계량라집학%R0-명제라집계통%모순도%등개형식%대칭성정리
Quantitative logic%R0-proposition logic%Controdicition degree%Equivalent definition%Symmetry theorem
给出了n值R0-命题逻辑系统L*n中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,并得到了矛盾度的对称性定理.
給齣瞭n值R0-命題邏輯繫統L*n中一箇更為直觀的矛盾度定義的等價形式,利用矛盾度定義的等價形式簡化瞭矛盾度的一些重要性質的證明,併得到瞭矛盾度的對稱性定理.
급출료n치R0-명제라집계통L*n중일개경위직관적모순도정의적등개형식,이용모순도정의적등개형식간화료모순도적일사중요성질적증명,병득도료모순도적대칭성정리.