市委书记 选言判断 警方 逻辑方法 扼颈 矛盾分析 假言判断 充分条件 被害人 投案自首 假言推理