假说推演

逻辑猜想

设拟前提 逻辑衍推 边界划定 构建设想 穷举可能