基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]自然演繹系統(tǒng)自然推理系統(tǒng)英漢例句雙語(yǔ)例句This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositional logic.給出了相干命題邏輯自然推理系統(tǒng)NR的自動(dòng)證明算法。First, an extended natural deduction system of the programming logic is established and then its completeness is proved.以擴(kuò)充的自然推理系統(tǒng)為基礎(chǔ)，建立了程序邏輯的一個(gè)形式推導(dǎo)系統(tǒng)，并證明了它的完全性。natural deduction system更多例句詞組短語(yǔ)短語(yǔ)labeled natural deduction system 標(biāo)號(hào)自然演繹系統(tǒng)natural deduction system更多詞組專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)自然演繹系統(tǒng)自然推理系統(tǒng)