常見例句雙語例句This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositional logic.給出了相干命題邏輯自然推理系統(tǒng)NR的自動證明算法。First, an extended natural deduction system of the programming logic is established and then its completeness is proved.以擴(kuò)充的自然推理系統(tǒng)為基礎(chǔ)，建立了程序邏輯的一個形式推導(dǎo)系統(tǒng)，并證明了它的完全性。 返回 natural deduction system