人工智能——謂詞演算及應用

命題邏輯的歸結法函數 命題邏輯基礎：      定義：      合取式：p與q，記作p Λ q      析取式： p或q，記作p ∨ q      蘊含式： 若是p則q，記作p → q      等價式：p當且僅當q，記作p <=> q spa 若A無成假賦值，則稱A爲重言式或永真式； 若A無成真賦值，則稱A爲矛盾式或永假式； 若A至少有一個成真賦值，則稱A爲可知足的； 析取範式：僅由有限個簡

>>阅读原文<<