楼上的这个是周延的啊，而且大小前提也都合理，而且都用到了全称“语气”（我忘了我当时学的时候的专有名词是什么了，就用南一的这个吧）。所以结论应该是正确的。
不过如果要顶真的话，小前提可以讨论一下，这个“杀人犯”的定义是什么。
这个就要讨论到关于“定义”的问题了，所谓定义就是一个大范围加一个限定词，比如“杀人犯”就是“犯了杀人罪”（限定）的“犯人”（大概念）；而“犯人”就是“犯了罪”（限定词）的“人”（大概念）。如果按照这个来，“杀人犯”是“人”肯定是没错的（这个也是一个类似三段论的）。
我说的“顶真”是说如果没这样的“定义”，就会有人说“如果有动物杀了人，算不算‘杀人犯’”之类的问题了。
中项:人
中项只有一个
中项不周延
大小前提都正确
大项：必死
小项：杀人犯
形式：ＡＡＡ－１
ＥＩＯ－３：
所有人都不是必死
有些人是杀人犯
所以，有些杀人犯不是必死
个人觉得三段论看似繁琐实则很简单，最不济套27个有效形式就好了（记得好像是这个数）
相比之下，三段论的基础——看似简单到不能再简单的充分性和必要性条件，却很有深入研究的必要。中国人被诟病的从众心理以及缺乏创造性，也许就是缘于大多数国人没有必要性思维。
我试着论证过，请大家也尝试着做一下这道题。
[ 本帖最后由 南一 于 2009-12-23 23:09 编辑 ]
分两种情况：
（1）门打开后不关
最多两次可以猜中
设第一人被提示XYZ?，其中表示确定，?表示未知
如果第一人猜中，游戏结束
否则，他随便选个房间XYZ?，然后此房间门开了
第二个人被提示XY？Z*，只要找到门开着的那个房间所对应的Y*
就推出了XYZ*
（2）门打开后关上：
三次都是独立的，概率均为1/3
[ 本帖最后由 夏海 于 2009-12-23 18:11 编辑 ]
门开过后会再关上，每个人选完后，27个房间会和开始是一样。
关于第二种情况，夏海直接得出选中的概率是三分之一，我不知道中间的计算过程是？可否写得再详细些。
如果我举这么一种情况：
国王房间的坐标为（3，1，2）
z 3，1，__
y 3，__，2
x __，1，2
三个人选相同的数字，如：1。
z 3，1，1
y 3，1，2
z 1，1，2
其中y选对了。这样的情况一共有6种，其中一人选对的几率是100%，无论选1或2还是3都是有一个人会选中。
明白了，我再分情况讨论下第二种情况
甲乙丙三人：
甲如果两个相同如AA?，则去AAA；否则当AB？时，去ABC
乙如果两个不同如AB?，则去ABA(A<B)；
丙如果两个不同如AB？，则去ABB(A<B)
证明：
如果国王房间坐标全同即AAA，则甲能选中
如果是AAB型，则乙丙之一能选中
如果是ABC型，则甲能选中
[ 本帖最后由 夏海 于 2009-12-24 00:16 编辑 ]
ＬＳ有ＢＵＧ
若房間號（１３１）
甲（１３？）－－－＞猜１３２
乙（１？１）－－－＞猜啥？
丙（？３１）－－－＞猜３３１
就沒猜到了
隐藏一下，让楼上朋友不要雷到．
三人经讨论后，将下表记住或抄在纸上，根据提示来对应开的门：
[ 本帖最后由 游客 于 2009-12-24 22:25 编辑 ]
谢谢楼上提示^_^
我再好好想想
[ 本帖最后由 夏海 于 2009-12-24 22:30 编辑 ]
有解…
25L，我把看帖限制降低了
阅读权限可以再提高一些。这样的解答，还是独一份。我在其它地方还没看到过，利用图表解答的。
很好，很直观，虽然这种思路有些麻烦，但实在简单，非常不错！我很喜欢这个方法。[s:40] 
有沒別的思路能提供分享
我這方法比較沒根據 試誤法而已
说实话，我的思路更繁琐、麻烦，而且很混乱。我分别讨论三个人，用不同的三个数字、用其中2个相同的三个数字、用三个相同的数字，这三种情况中完全选错的情况。
先说一个别人的很简单的解答：
无论国王给出什么坐标，三个人的坐标和都是相同的，和与3除，结果只有3种情况，整除、余1、余2，这三种。
三个人分别给出一个坐标，与已知2个坐标相加，和除3，分别出现三种情况（整除、余1、余2），则必然会有一个人选中国王的房间。
例如：（2，1，3）
（2，1，）
（2，，3）
（__，1，3）
（2+1+3）/3 整除
（2+3+2）/3 余2
（1+3+1）/3 余1
（2，1，3）
（2，2，3）
（1，1，3）
其中第一个选中。
如果三个人换选数字，可能就不会选中了。
[ 本帖最后由 南一 于 2009-12-25 00:34 编辑 ]
我在写的时候还在想他这个方法，发现方法和题目相违背，如果在不互知的情况下，是不能确定三个人会选出整除、余1、余2这三种结果的。三个人可能会选出错误的排列方式。
虽然事先确定好了三个人选不同的数字，但是不能确定先后顺序，也无法知道其他人是否得出的结果是另外2种情况。
说了半天，这个方法看来还是行不通。
Zzzzzzzzzzzzzzz
明天再说吧，都凌晨1点多了……
[ 本帖最后由 南一 于 2009-12-25 01:02 编辑 ]
恩，三人不能交流（一交流就知道正确房号了．．．）
也不能决定提示是隐藏哪个座标．
所以任何一人拿到任何一个提示，要猜对的机率都是三分之一，
既然没有完全猜对的机会，那么如果第一人猜错了，
要打开正确的门只能「寄托第二人与第三人」＂．
如果第二人也猜错了，要打开正确的门一定是「第三人」．
因为这种强烈寄托的想法，只能在一开始讨论时就条列所有可能的组合，
并且条列所有的提示，根据不同的提示去指定相应的门号，
这样三人不管拿到什么提示，只要照表宣科打开门就是了，
而不必管其他人是拿到什么提示．
也因为一开始讨论时就条列所有可能的组合，
并安排哪个提示能打开正确的门，
所以三人才有绝对的自信照表宣科打开门，
而不必思考一堆而庸人自扰！
在下愚见
南大，游大，我已把本题用C＋＋编译了，计算量比较大，计算机明天可能出结果
原帖由 游客 于 2009-12-25 13:06 发表 [x-attach]images/common/back.gif[/x-attach]
恩，三人不能交流（一交流就知道正确房号了．．．）
也不能决定提示是隐藏哪个座标．所以任何一人拿到任何一个提示，要猜对的机率都是三分之一，
既然没有完全猜对的机会，那么如果第一人猜错了，
要打开正确 …
恩，游客兄弟说得很有道理。
等待夏海的计算结果，呵呵。
[ 本帖最后由 南一 于 2009-12-25 13:57 编辑 ]
结果出来了：共10752种解法
源代码如下：#include “stdafx.h”
#include “stdio.h”
int main(int argc, char* argv)
{
int x,y,z,j,k,i[28],c[28],s[28],no=0;long ss=1;
FILE *fp;
fp=fopen(“txt.txt”,“w”);
for(j=1;j<28;j++)
c[j]=0;
for(i[1]=1;i[1]<=3;i[1]++)
{
c[(i[1]-1)*9+1]=1;
for(i[2]=1;i[2]<=3;i[2]++)
{
if(c[(i[2]-1)*9+2]==1)
continue;
c[(i[2]-1)*9+2]=1;
for(i[3]=1;i[3]<=3;i[3]++)
{
if(c[(i[3]-1)*9+3]==1)
continue;
c[(i[3]-1)*9+3]=1;
for(i[4]=1;i[4]<=3;i[4]++)
{
if(c[(i[4]-1)*9+4]==1)
continue;
c[(i[4]-1)*9+4]=1;
for(i[5]=1;i[5]<=3;i[5]++)
{
if(c[(i[5]-1)*9+5]==1)
continue;
c[(i[5]-1)*9+5]=1;
for(i[6]=1;i[6]<=3;i[6]++)
{
if(c[(i[6]-1)*9+6]==1)
continue;
c[(i[6]-1)*9+6]=1;
for(i[7]=1;i[7]<=3;i[7]++)
{
if(c[(i[7]-1)*9+7]==1)
continue;
c[(i[7]-1)*9+7]=1;
for(i[8]=1;i[8]<=3;i[8]++)
{
if(c[(i[8]-1)*9+8]==1)
continue;
c[(i[8]-1)*9+8]=1;
for(i[9]=1;i[9]<=3;i[9]++)
{
if(c[(i[9]-1)*9+9]==1)
continue;
c[(i[9]-1)*9+9]=1;
for(i[10]=1;i[10]<=3;i[10]++)
{
if(c[(i[10]-1)*3+1]==1)
continue;
c[(i[10]-1)*3+1]=1;
for(i[11]=1;i[11]<=3;i[11]++)
{
if(c[(i[11]-1)*3+2]==1)
continue;
c[(i[11]-1)*3+2]=1;
for(i[12]=1;i[12]<=3;i[12]++)
{
if(c[(i[12]-1)*3+3]==1)
continue;
c[(i[12]-1)*3+3]=1;
for(i[13]=1;i[13]<=3;i[13]++)
{
if(c[(i[13]-1)*3+10]==1)
continue;
c[(i[13]-1)*3+10]=1;
for(i[14]=1;i[14]<=3;i[14]++)
{
if(c[(i[14]-1)*3+11]==1)
continue;
c[(i[14]-1)*3+11]=1;
for(i[15]=1;i[15]<=3;i[15]++)
{
if(c[(i[15]-1)*3+12]==1)
continue;
c[(i[15]-1)*3+12]=1;
for(i[16]=1;i[16]<=3;i[16]++)
{
if(c[(i[16]-1)*3+19]==1)
continue;
c[(i[16]-1)*3+19]=1;
for(i[17]=1;i[17]<=3;i[17]++)
{
if(c[(i[17]-1)*3+20]==1)
continue;
c[(i[17]-1)*3+20]=1;
for(i[18]=1;i[18]<=3;i[18]++)
{
if(c[(i[18]-1)*3+21]==1)
continue;
c[(i[18]-1)*3+21]=1;
for(i[19]=1;i[19]<=3;i[19]++)
{
if(c[i[19]]==1)
continue;
c[i[19]]=1;
for(i[20]=1;i[20]<=3;i[20]++)
{
if(c[i[20]+3]==1)
continue;
c[i[20]+3]=1;
for(i[21]=1;i[21]<=3;i[21]++)
{
if(c[i[21]+6]==1)
continue;
c[i[21]+6]=1;
for(i[22]=1;i[22]<=3;i[22]++)
{
if(c[i[22]+9]==1)
continue;
c[i[22]+9]=1;
for(i[23]=1;i[23]<=3;i[23]++)
{
if(c[i[23]+12]==1)
continue;
c[i[23]+12]=1;
for(i[24]=1;i[24]<=3;i[24]++)
{
if(c[i[24]+15]==1)
continue;
c[i[24]+15]=1;
for(i[25]=1;i[25]<=3;i[25]++)
{
if(c[i[25]+18]==1)
continue;
c[i[25]+18]=1;
for(i[26]=1;i[26]<=3;i[26]++)
{
if(c[i[26]+21]==1)
continue;
c[i[26]+21]=1;
for(i[27]=1;i[27]<=3;i[27]++)
{
if(c[i[27]+24]==1)
continue;
for(j=1;j<=27;j++)
{
x=(j-1)/9+1;
y=((j-1)/3)%3+1;
z=(j-1)%3+1;
s[1]=(i[1]-1)*9+1;s[2]=(i[2]-1)*9+2;s[3]=(i[3]-1)*9+3;s[4]=(i[4]-1)*9+4;s[5]=(i[5]-1)*9+5;s[6]=(i[6]-1)*9+6;s[7]=(i[7]-1)*9+7;s[8]=(i[8]-1)*9+8;s[9]=(i[9]-1)*9+9;
s[10]=(i[10]-1)*3+1;s[11]=(i[11]-1)*3+2;s[12]=(i[12]-1)*3+3;s[13]=(i[13]-1)*3+10;s[14]=(i[14]-1)*3+11;s[15]=(i[15]-1)*3+12;s[16]=(i[16]-1)*3+19;s[17]=(i[17]-1)*3+20;s[18]=(i[18]-1)*3+21;
s[19]=i[19];s[20]=i[20]+3;s[21]=i[21]+6;s[22]=i[22]+9;s[23]=i[23]+12;s[24]=i[24]+15;s[25]=i[25]+18;s[26]=i[26]+21;s[27]=i[27]+24;
if(!(j==s[(y-1)*3+z] ||j==s[(x-1)*3+z+9]||j==s[(x-1)*3+y+18]))
break;
}
if(j>27)
{
++no;
// fprintf(fp,“%d:”,++no);
for(k=1;k<=26;k++)
// fprintf(fp,“(%d,%d),”,i[k],s[k]);
fprintf(fp,“%d “,s[k]);
fprintf(fp,”%d\n”,s[27]);
}
}
c[i[26]+21]=0;
}
c[i[25]+18]=0;
}
c[i[24]+15]=0;
}
c[i[23]+12]=0;
}
c[i[22]+9]=0;
}
c[i[21]+6]=0;
}
c[i[20]+3]=0;
}
c[i[19]]=0;
}
c[(i[18]-1)*3+21]=0;
}
c[(i[17]-1)*3+20]=0;
}
c[(i[16]-1)*3+19]=0;
}
c[(i[15]-1)*3+12]=0;
}
c[(i[14]-1)*3+11]=0;
}
c[(i[13]-1)*3+10]=0;
}
c[(i[12]-1)*3+3]=0;
}
c[(i[11]-1)*3+2]=0;
}
c[(i[10]-1)*3+1]=0;
}
c[(i[9]-1)*9+9]=0;
}
c[(i[8]-1)*9+8]=0;
}
c[(i[7]-1)*9+7]=0;
}
c[(i[6]-1)*9+6]=0;
}
c[(i[5]-1)*9+5]=0;
}
c[(i[4]-1)*9+4]=0;
}
c[(i[3]-1)*9+3]=0;
}
c[(i[2]-1)*9+2]=0;
}
c[(i[1]-1)*9+1]=0;
}
return 0;
}
结果列举前10种和后10种解法如下：
1:1,2,12,4,14,24,16,26,27,7,5,9,10,17,15,19,23,21,3,6,8,11,13,18,20,22,25
2:1,2,12,4,14,24,16,26,27,7,5,9,10,17,15,22,20,21,3,6,8,11,13,18,19,23,25
3:1,2,12,4,14,24,16,26,27,7,5,9,13,11,18,19,23,21,3,6,8,10,15,17,20,22,25
4:1,2,12,4,14,24,16,26,27,7,5,9,13,11,18,22,20,21,3,6,8,10,15,17,19,23,25
5:1,2,12,4,14,24,16,26,27,7,8,6,10,17,15,19,23,21,3,5,9,11,13,18,20,22,25
6:1,2,12,4,14,24,16,26,27,7,8,6,10,17,15,22,20,21,3,5,9,11,13,18,19,23,25
7:1,2,12,4,14,24,16,26,27,7,8,6,13,11,18,19,23,21,3,5,9,10,15,17,20,22,25
8:1,2,12,4,14,24,16,26,27,7,8,6,13,11,18,22,20,21,3,5,9,10,15,17,19,23,25
9:1,2,12,4,14,24,25,17,27,7,5,9,13,11,18,19,23,21,3,6,8,10,15,16,20,22,26
10:1,2,12,4,14,24,25,17,27,7,5,9,13,11,18,22,20,21,3,6,8,10,15,16,19,23,26
……
10743:19,20,12,22,14,6,7,17,9,4,2,3,16,11,15,25,23,27,1,5,8,10,13,18,21,24,26
10744:19,20,12,22,14,6,7,17,9,4,2,3,16,11,15,25,26,24,1,5,8,10,13,18,21,23,27
10745:19,20,12,22,14,6,16,8,9,1,5,3,10,17,15,25,23,27,2,4,7,11,13,18,21,24,26
10746:19,20,12,22,14,6,16,8,9,1,5,3,10,17,15,25,26,24,2,4,7,11,13,18,21,23,27
10747:19,20,12,22,14,6,16,8,9,1,5,3,13,11,18,25,23,27,2,4,7,10,15,17,21,24,26
10748:19,20,12,22,14,6,16,8,9,1,5,3,13,11,18,25,26,24,2,4,7,10,15,17,21,23,27
10749:19,20,12,22,14,6,16,8,9,4,2,3,10,17,15,25,23,27,1,5,7,11,13,18,21,24,26
10750:19,20,12,22,14,6,16,8,9,4,2,3,10,17,15,25,26,24,1,5,7,11,13,18,21,23,27
10751:19,20,12,22,14,6,16,8,9,4,2,3,13,11,18,25,23,27,1,5,7,10,15,17,21,24,26
10752:19,20,12,22,14,6,16,8,9,4,2,3,13,11,18,25,26,24,1,5,7,10,15,17,21,23,27
[ 本帖最后由 夏海 于 2009-12-25 21:01 编辑 ]