[填空题,1分] 前提引入规则:在证明的任何步骤上都可以引入前提,简称___________规则。
出自:河南理工大学-计算机科学与技术-离散数学