记金刚为a,第一位金刚即a1以此类推,第八位为a8.记真话为T.重新标记题目信息。
第一位金刚说:“我们中至少有一个人说真话。”------a1:T>=1
第二位金刚说:“我们中至少有三个人说真话。”------a2:T>=3
第三位金刚道:“我们中至少有五个人说真话。”------a3:T>=5
第四位金刚道:“我们中至少有七个人说真话。”------a4:T>=7
第五位金刚道:“我们中至少有一个人说假话。”------a5:T<=7
第六位金刚道:“我们中至少有两个人说假话。”------a6:T<=6
第七位金刚道:“我们中至少有四个人说假话。”------a7:T<=4
第八位金刚道:“我们中至少有六个人说假话。”------a8:T<=2
假如都是真话,那么就同时存在第四位金刚的“至少七人真话”以及第八位金刚的“至少六人假话”,矛盾;
假如都是假话,那么就同时存在第一位金刚的“没有真话”以及第五位金刚的“没人有说假话”,矛盾。
所以肯定有人说真话,也有人说假话。那么a1和a5为真。此时T>=2。
如果T=2那么a8为真于是T=3矛盾,因此T>2而a8为假,即T>=3。
于是a2为真,满足T>=3。如果T=4,那么a3,a4假,a6,a7真,此时T=5,矛盾。
如果T=5,那么a4,a7为假,a3,a6为真,T=5。
综上,a1,a2,a3,a5,a6为真,a4,a7,a8为假。
即,第一,第二,第三,第五,第六金刚说的为真话,第四,第七,第八说的为假话。