∵a＜0，
∴a-1a=-(-a)21-a
=--a．
故选C．
Armp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且Z
U，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作______。
急性中毒病人，当诊断不明时，应选择的洗胃液是()。
A．1:15000高锰酸钾
B．温开水或等渗盐水
C．牛奶
D．3%过氧化氢
E．2%～4%碳酸氢钠
U，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作______。