假说形成的逻辑方法