61阅读

冯友兰与牟宗三两位先生为代表，他们的 理论 兴趣不同，其结果也就不同。冯先生的兴趣在“所以然”，因而将其完全形式化，变成“共相”，建立了他的“新理学”。他讲人生...

归结反演证明Q为真的步骤是：a) 否定Q得到Qb) 把Q并入到公式集中，得{F，Q }c) 把公式集{F，Q }化为子句集Sd) 应用归结原理对子句集S中的子句...