永真性相关论文
休谟问题,无论从哲学还是逻辑学角度看,都是极复杂而难解的问题。金岳霖为解决休谟问题而提出归纳原则理论,并对这一理论从“休谟......
本文研究了用吸收关系与补关系构造求解DNF的永真性的近似快速算法问题。在第二节给出了偏序集〈S;≤〉的定义,研究了〈S;≤〉上的......
金岳霖教授是我国现代著名的哲学家、逻辑学家,其归纳理论既是其哲学思想的核心内容,又是他的逻辑思想的重要方面。本文以金氏的归......
本文给出了代换定理的优于文献[1]的证明方法,并把代换定理与其他定理结合,构造了一个判定DNF表达式永真性的算法,使代换定理得到......