各种刑事案件的侦破工作 是推理发现法尤其是逻辑否定方法应用的一个非常重要的领域。