12.3 假设的逻辑训练