判断推理猫科动物都是哺乳动物，有些猫科动物不是大型动物。如果仅根据上述两个断定，则以下哪一项也一定是真实的?( )

【正确答案】 B

【答案解析】[解析]本题是对三段论的考查。根据三段论的原则可知，一个肯定的前提和一个否定的前提，只能推出一个否定的结论，故可排除A、C项。猫科动物包含于哺乳动物，所以可知B项正确。