本文在基本命题逻辑系统 ＭＴＬ中主要对理论的余零化子和结论的性质及其相互关系进行了.研究。首先，在 ＭＴＬ系统中给出了理论的余零化子的概念，讨论了理论的余零化子的一些基本性质；.其次，对 ＭＴＬ系统中理论的结论的性质进行了进一步研究；最后，讨论了 ＭＴＬ系统中理论的余零化子.和结论之间的相互关系。.