口袋妖怪 泰山压顶:如果所有的甲都是乙,有些乙是丙,那么,一定有些甲是丙。这一陈述是