在证明的任何步骤上,所证明的结论都可作为后续证明的前提,称为
1
。
1、
【正确答案】
1、T规则或结论引入规则
【答案解析】
提交答案
关闭