某晚一小区发生一起盗窃杀人案。
三个嫌疑人的外表特征是：长发、短发、光头；大个、中等个、小个(不一一对应)。
有居民A、B、C称：
A：杀人者是光头，要不长发的就是中等个
B：长发的就是中等个儿，或者长发是盗窃者
C：小个子不可能是罪犯
同时，刑警a、b、c也推测：
a：如果小个子是罪犯，那么可能光头也是罪犯
b：如果光头可能是罪犯，那么小个子是罪犯
c：打个字不是杀人者就是盗窃者
事后得知：
1、案子确实是嫌疑人中的两个人分别干的
2、刑警和居民中都分别有一个说对了
请问(请写出推理根据)：
1、2个罪犯的外表特征是什么
2、刑警中谁推测对了
3、居民中谁说对了灵感不管用，还是要动脑壳，见15楼。 Post by 我的笛杖 (2012-10-16 18:57)
怎么出来的啊=。= Post by jzxaiwsl (2012-10-16 18:59)
瞎猜的，男人的灵感来了，挡都挡不住
c：打个字不是杀人者就是盗窃者
.
所以水区正在回帖的都是罪犯！(瞪 Post by 温柔狼 (2012-10-16 19:00)
老师提前透露的 形式逻辑结课考试 题
我都绕晕了 Post by 我的笛杖 (2012-10-16 19:00)
不应该是女孩子的第六感么交白卷 不会 脑子笨 不好意思小个子，大个子，短发，光头。a，c。
大概看了一下。不一定准确。用离散数学推导一下吧。。。可惜早几年就把这点东西还给课本了。。。我就写个名字，别算我旷课就行
Post by 桃花不落 (2012-10-16 19:04)
会挂的不应该是居民ABC以妨碍刑警执行公务依法拘留么
某晚一小区发生一起盗窃杀人案。
三个嫌疑人的外表特征是：长发、短发、光头；大个、中等个、小个(不一一对应)。
有居民A、B、C称：
A：杀人者是光头，要不长发的就是中等个
B：长发的就是中等个儿，或者长发是盗窃者
C：小个子不可能是罪犯
同时，刑警a、b、c也推测：
a：如果小个子是罪犯，那么可能光头也是罪犯
b：如果光头可能是罪犯，那么小个子是罪犯
c：打个字不是杀人者就是盗窃者
事后得知：
1、案子确实是嫌疑人中的两个人分别干的
2、刑警和居民中都分别有一个说对了
请问(请写出推理根据)：
1、2个罪犯..
光头中个是盗窃，长头发大个是杀人 C对， c对？楼主哇，你有两个地方得说清楚啊。
“A：杀人者是光头，要不长发的就是中等个” 意思是 杀人者是光头或者长发或者中等个 还是 杀人者是光头，否则的话长发的人就是中等个？
“b：如果光头可能是罪犯，那么小个子是罪犯” 其中的“可能”如果不是有意为之，最好去掉，因为“如果光头是罪犯”和“如果光头可能是罪犯”严格意义上有区别。做出来了
杀人犯，短发，中个子
盗窃犯，长发，小个子
无罪者，光头，大个子
正确的是B和b
先假设C对，则a必对，因为它的前提条件没了。逐条推理，矛盾。
再假设A对，则前三个条件推完可知c是错的，再验证a或者b，假定a对的时候从b错开始，假定b对的时候从a错开始，因为这个两个条件要错，“如果”项就是对的。可以知道都不行。
所以B是对的，根据前三条的对错，就可以知道c肯定是错的。验证a，矛盾，验证b，得出唯一结果。警察a和b夫唱妇随，一个对一个错的情况不能够，所以只能是c对了。
所以中等个和小个子只能有一个是罪犯。
如果小个子是罪犯，那么根据错误的a，光头不是罪犯。那么只能是B对了，但是B说中等个是长发，没犯罪，这样犯罪的只剩下一个短发了。所以小个子不能是罪犯。
正确的是C，也就是说光头没犯罪，犯罪的中等个不是长发，只剩下长发大个子和短发中等个。
长发的不是盗窃。
答案就跟一楼的一样了。ac居民互相不否定，b对。 Post by ganruru (2012-10-16 19:57)
我看到的题目就是这个样子的
原封不动手打的