假说推演
逻辑猜想