”如果上述断定都是真的，则以下断定中也必然为真的是（）