机器证明的逻辑推定