男人摸女人的胸视频,91精品国产91久久久久久最新,黄色视频性爱免费看,黄瓜视频在线观看,国产小视频国产精品,成人福利国产一区二区,国产高清精品自拍91亚洲,国产91一区二区

加急見刊

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

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

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

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