变格推理和本格推理的区别