西北大学学报(自然科学版)
西北大學學報(自然科學版)
서북대학학보(자연과학판)
JOURNAL OF NORTHWEST UNIVERSITY(NATURAL SCIENCE EDITION)
2011年
5期
753-756,760
,共5页
NMG逻辑系统%真值函数%有效集
NMG邏輯繫統%真值函數%有效集
NMG라집계통%진치함수%유효집
目的 研究命题逻辑系统NMG的有效集.方法 非经典逻辑的语义理论.结果 得到了NMG有效集的特征,进而以有效集为工具得到了公式集F(S)的一类分划.结论 可将NMG系统中的公式分为26个等价类,对形式化的公式集合进行了分类.
目的 研究命題邏輯繫統NMG的有效集.方法 非經典邏輯的語義理論.結果 得到瞭NMG有效集的特徵,進而以有效集為工具得到瞭公式集F(S)的一類分劃.結論 可將NMG繫統中的公式分為26箇等價類,對形式化的公式集閤進行瞭分類.
목적 연구명제라집계통NMG적유효집.방법 비경전라집적어의이론.결과 득도료NMG유효집적특정,진이이유효집위공구득도료공식집F(S)적일류분화.결론 가장NMG계통중적공식분위26개등개류,대형식화적공식집합진행료분류.