甲、乙、丙、丁四个排球队要进行一次友谊赛，体育爱好者小张、小李、小刘和小王在一起推测四个队哪个队能获得冠军。

小张说:“丁队准能获得冠军。“

小李说:“乙队能获得冠军。”

小刘说:“反正甲队不能获得冠军。”

小王说:“丁队也是不能获得冠军的。”

比赛结束表明，他们四个人中只有一个人的推断是正确的。

请问,是哪个队获得了冠军?请写出推导过程。

已知某有效三段论的大前提为O判断，试证明:(1)其小前提必为A判断；(2)该三段论为第三格OAO式。

以“所有P是M”、“所有S不是M”为大小前提进行三段论推理,可必然推出（）

• A、所有S不是P
• B、所有S是P
• C、有S是P
• D、有S不是P
• E、没有S不是P