natural deduction system

常見(jiàn)例句

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