逻辑公式为什么不是恒真的