Knowledge 7一階謂詞邏輯-Generalized Modus Ponens規則

1.寫在前面 propositionalize雖然可以做到我們想做到的事，但是它有點沒效率。怎麼樣做更有效率點方法呢？我們來首先來介紹一個，我們叫Generalized Modus Ponens 2.Generalized Modus Ponens Generalized Modus Ponens，它其實就是Modus Ponens，就是還記得嗎，Modus Ponens就是說，你如果知道一個前提

>>阅读原文<<