Armp公理系统的三条推理规则是自反律、增广律和________。
参考答案:传递律
下面程序的输出结果是 【12】 。 char b[]="ABCD"; main() { char b[30]; strcpy(&b[0],"GH"); strcpy(&b[1],"GH"); strcpy(&b[2],"GH"); printf("%s\n",b) ; }
简述程序文件的编写要求。