在“甲、乙、丙三个球队中至少有一个队进入了半决赛”,这个命题的逻辑形式为()。
出自:法学