前提引進規則

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

基本介紹

  • 中文名:前提引進規則
  • 外文名:rule of premises introduction

相關詞條

熱門詞條

聯絡我們