填空题

【参考答案】

直推法;分推法;旋推法