舆论摘要:命题集的相容性、根及散发性
正文波及三个命题论理体例:二值典范论理体例,Lukasiewicz论理体例和Lˉ*论理体例,重要实质是在各别的论理体例中有中心的计划命题集的相容性、命题集的根以及命题集的散发性与相容性之间的联系。 在任何论理体例中,命题集的相容性都是一个格外要害的题目。命题集是相容的或是不相容的是咱们对命题集的是非最大略也是最径直的分门别类。咱们重要关怀的固然是相容的命题集,以是有需要计划命题集的相容性,进而把不相容的命题集辨别出来。正文的第一章重要在Lˉ*体例中计划了命题集的相容性,精细接洽了两种特出的命题集-极大命题集和完美命题集,并给出了简直的例子加以证明,中央交叉证明与二值论理体例中相映本质的分别。