趣味思考 马克为什么被无罪释放？
某天上午11点左右，一位富商乘坐敞篷车行驶到中心大厦时，突然有人在10秒内连开5枪，3颗子弹击中了富商要害。案发后，警察根据弹道轨迹确定，枪手是在中心大厦五楼进行射击的。经过一番排查，最终逮捕了一个名叫马克的嫌疑犯。
马克：“凭什么抓我？我是大厦的工作人员！有什么证据证明人是我杀的？”
警察：“案发当天11点钟，你在五楼逗留，这足以证明一切！”
马克：“那天我在五楼办理业务，五楼的人那么多，为什么说我是凶手？”
警察：“我们发现，你之前用‘苏珊’这个假名字购买了一支65毫米卡宾枪，这说明你早有预谋！”
马克：“我的证件丢了，苏珊是我太太，我以她的名义买的，这有什么问题吗？难道有枪的人就是凶手？”
警察：“我们调查了你的档案，发现你曾经获得过射击比赛特等优秀射手奖。只有你这种精于射击的人，才能在10秒内连开数枪。种种迹象表明，你就是杀人凶手！”
警察摆出了证据，马克却矢口否认。法庭上，马克的律师将警察的指控全部驳倒，最终法官认定，警察的指控缺乏证据，马克被无罪释放。
马克为什么会被无罪释放呢？原因就是，警察的指控站不住脚，在推理时没有遵守假言推理中必要条件和充分条件推理的基本规则！
所谓假言推理，就是前提中有一个假言判断，并且是根据假言判断前后件的真假关系进行推演的推理。现实中经常用到的有两种，一是充分条件假言推理，二是必要条件假言推理。
充分条件假言推理
充分条件假言推理，就是前提中有一个充分条件假言判断，并且是根据充分条件假言判断前后件的真假关系进行推演的推理。