在“甲、乙、丙三个球队中至少有一个队进入了半决赛”，这个命题的逻辑形式为（）。