舆论摘要：命题论理中公式的Γ 包括真度及对立Γ-重言度表面

妇孺皆知,数理论理的特性在乎标记化和情势化,它和计划数学有着半斤八两的作风:前者提防情势推导尔后者提防数值计划;前者夸大庄重论据尔后者承诺好像求解.帝国俊熏陶从基础观念的水平化动手,创造了计量论理学,搭设了人为智能和数值计划之间的桥梁.在计量论理学中,真度是用来表白大肆一个公式的真实水平,给出了公式间的一致度、伪隔绝的观念,并由此创造了命题集上的好像推导表面.对于计量论理学已有了一系列的接洽功效,然而一切那些截止都是鉴于体例的正义和推导准则而得出的,并没有商量大概生存的推导基础.这天然没辙刻划出一个公式落在表面  的推广之集    中的水平.基于此,正文从各别的观点,将这种“一致性”的接洽拓展到典范的二值论理和罕见的四种多值论理体例中,举行了鉴于推导基础   的“对立性”的接洽,进而越发完备和充分了计量论理学的表面.舆论的构造和基础实质安置如次: 第一章 计划常识.重要引见了五种罕见命题论理体例中的关系常识,为反面的接洽作铺垫.第二章 二值命题论理中公式的  包括真度表面.开始,给出了公式的  包括真度的设置并精细地计划了其关系本质,得出了理想有限表面的  包括真度值在[0,1]中稀疏的论断.其次,在   包括真度的普通上,设置了公式间的对立   一致度及伪隔绝,给出了它们的少许基础本质.再次,在伪襟怀空间     中,计划了鉴于    包括真度的三种好像推导形式,给出了运用MP准则和推导基础生存缺点时推导论断的缺点估量公式.而后,对于关心的热门题目,本质操作家采用各别的形式所得的推导论断能否普遍题目,咱们做出了确定的回复,证领会这三种好像推导形式之间的等价性.结果,将几率论理学与   包括真度举行融洽,给出了鉴于   包括真度的论理襟怀空间中论理算子贯串性的简略表明.第三章 四种命题论理体例中公式的对立   重言度表面.开始,在四种要害的多值命题论理体例中,鉴于广义重言式表面,引入了公式的对立    重言度观念,给出了对立   重言度的几何本质,为反面接洽其它关系表面打下了普通.其次,运用公式的对立   重言度,设置了公式间的    -一致度,从而导出了命题集F(S)上的伪隔绝及其上一致的好像推导形式.再次,在多值论理(n值和贯串值)体例中,得出了单个公式到   论断集的隔绝公式及表面     的散发度的简化情势.结果,接洽了三种典型的好像推导形式之间的内涵接洽.