演绎推理的思维方法(逻辑学) -