離散數學之數理結構推理理論

推理理論分爲三種 演繹法 附加前提證明法 歸謬法 其中的附加前提證明法、歸謬法都是演繹法的擴展。 這裏來說下演繹法 前提知識： 推理定理： 還有用到一些等價的命題推論。 這樣的化，就可以來推理了。 前提：A1，A2，***,Ak. 結論：A->B. 如： 前提：p V q,¬r->¬q,¬p。 結論：r。 附加前提證明法： 前提：A1，A2，***,Ak. 結論：B. 歸謬法： 前提：A1，A2，

>>阅读原文<<