常見例句雙語例句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.以擴充的自然推理系統(tǒng)爲(wèi)基礎(chǔ)，建立了程序邏輯的一個形式推導(dǎo)系統(tǒng)，竝証明了它的完全性。 返回 natural deduction system