Armp公理系统中有。一条推理规则为：若X→Y为F所逻辑蕴含，且

，则XZ→YZ为F所逻辑蕴含。这条推理规则称作______。

简述三相异步电动机几种电力制动的原理。