出站信号机的信息点属性为（）。
A、00
B、01
C、02
D、03
参考答案：C
科技档案最突出的特点是（）
Armp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】