三值逻辑的Craig中插定理与Herbrand定理

作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。

对称变换的和的非零特征根所对应的特征子空间的正交性

讨论了欧氏空间中的两个实对称变换的非零特征根的所对应特征子空间互相正交的充要条件 ,并用比较简捷的方法证明了定理 1 ,将它应用到概率论中证明了Craig定理。