"Hiçbir gezegen yıldız değildir" önermesinin niceleme mantığındaki karşılığı aşağıdakilerden hangisidir?