natural deduction system
常見例句
- 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)為基礎(chǔ)，建立了程序邏輯的一個形式推導(dǎo)系統(tǒng)，并證明了它的完全性。 返回 natural deduction system