前提引進規則

前提引進規則(rule of premises introduction)某些自然演繹系統中的初始推演規則。有時記作規則P。這一規則規定在一個演繹中的任何地方可以引入一個前提。

相關詞條

熱門詞條

聯絡我們