<sub id="n0hly"></sub>
<sub id="n0hly"></sub>

      <small id="n0hly"><progress id="n0hly"></progress></small>
    1. <address id="n0hly"></address>
      1. 加急見(jiàn)刊

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

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

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

        注: 保護知識產(chǎn)權,如需閱讀全文請聯(lián)系模糊系統與數學(xué)雜志社

        亚欧成人中文字幕一区-日韩影音先锋AV乱伦小说-成人精品久久一区二区-成人美女视频在线观看
        <sub id="n0hly"></sub>
        <sub id="n0hly"></sub>

          <small id="n0hly"><progress id="n0hly"></progress></small>
        1. <address id="n0hly"></address>