Atmp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作 【2】 。
参考答案：增广律
一种长方体的书，长与宽相等，四本同样的书叠在一起成一个正方体，体积为216立方厘米，求这本书的高度．
（10 分）如图电路中，电炉电阻R=10Ω，电动机线圈电阻r=1Ω，电路两端电压U=100V，电流表的示数为30A.问:
（1）通过电动机的电流为多少？
（2）电动机的机械功率是多少？
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作 【2】 。
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作 【2】 。