题目：Ln系统和Ln*系统中的真度理论

2006年, 王国俊教授建立了计量逻辑学理论,这种理论一经提出便受到广泛的关注.因为它从语义上对逻辑概念进行了程度化, 并将数值计算融入到数理逻辑中来建立起符号化语言与数值计算的桥梁.这使得数理逻辑具有某种灵活性, 极大地扩大了其实际的应用范围.吴洪博教授在此基础上提出了广义真度的概念, 研究了其主要性质.
基于以上理论知识背景, 本文的结构和详细内容安排如下:
第1章 预备知识.本章给出了文章中将要用到的真度,相似度,伪距离的基本概念和结论.
第2章 Ln系统以及Ln*系统中公式真度理论的共有性质.首先,在Ln系统以及Ln*系统中给出公式真度的共有性质;其次,讨论了Ln系统以及Ln*系统中公式间相似度的共有性质;最后, 给出了Ln系统以及Ln*系统中公式间伪距离的共有性质.
第3章 Ln系统中公式真度及相似度的特殊性质.首先,在Ln系统中给出公式真度的一些特殊性质; 其次,在Ln系统中给出公式相似度的一些特殊性质.
第4章 Ln*系统中的近似推理理论.本章主要对Ln*系统中的近似推理理论作了简单的讨论.
第5章 Ln系统,L*系统以及L*统中关于相似度命题的反例及命题的修正.首先,在Ln系统中指出关于相似度的错误命题并给出反例;其次,在L*系统中指出关于相似度的错误命题并给出反例;然后,在L*系统中给出关于相似度的错误命题并给出反例;最后,给出错误命题的修正.