Atmp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作 【2】 。
参考答案：增广律
胰岛素制剂有几种，如何选用?
正常人清晨空腹时血糖浓度为（）。
A.2.5～3.5mmol／L
B.4.5～5.5mmol／L
C.6.5～7.5mmol／L
D.8.5～9.5mmol／L
E.10.5～11.5mmol／L
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作 【2】 。
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作 【2】 。