午夜亚洲国产日本电影一区二区三区,九九久久99综合一区二区,国产一级毛片视频,草莓视频在线观看精品最新

加急見刊

MTL命題邏輯系統中理論的結論和余零化子及其相互關系

葛菁; 吳洪博 陜西師范大學數學與信息科學學院; 陜西西安710062

摘要：本文在基本命題邏輯系統MTL中主要對理論的余零化子和結論的性質及其相互關系進行了研究。首先,在MTL系統中給出了理論的余零化子的概念,討論了理論的余零化子的一些基本性質;其次,對MTL系統中理論的結論的性質進行了進一步研究;最后,討論了MTL系統中理論的余零化子和結論之間的相互關系。

注: 保護知識產權,如需閱讀全文請聯系模糊系統與數學雜志社