Logic 逻辑陈述命题

那么你认为这个逻辑命题的否定是什么

All cars are not red

我认为否定的是：所有的汽车都是红色的

There is a car that does not fit a description of a coupe. 

There is a car that does not fit a description of a coupe.

我认为对这一说法的否定是：有一辆车确实符合双门轿车的描述

我对这些命题逻辑的理解正确吗

All cars are not red.

对这一说法的严格逻辑解释是“所有的汽车都是红色以外的颜色”或相当于“不存在红色汽车”，其否定将是“存在一辆红色汽车”。另一方面，对这种形式的陈述的传统英语解释（例如，“发光的不是金子”，“喝酒的不是诗人”）将是“存在一辆不是红色的汽车”；对此的否定是“所有的汽车都是红色的”

---

对这一点的否定是“没有一辆车不符合coupe的描述”，或者相当于“每辆车都是coupe”。这并不等同于“有一辆车符合一辆双门轿车的描述”（即“一辆双门轿车存在”），因为它并不断言一辆双门轿车（或任何一辆车）存在。

这个问题似乎离题了，因为它与编程无关。否决票的原因是什么？