逻辑陈述命题

Question

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

All cars are not red

我认为否定这一点是：所有车都是红色的。

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

我认为这句话的否定是：有一辆车适合描述轿跑车。

我对这些命题逻辑是否正确

Answer 1

All cars are not red.

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

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

对此的否定是“有 no 汽车不符合轿跑车的描述”，或者相当于“每辆汽车都是轿跑车”。那是不等同于“有一辆车适合轿跑车的描述”（即“轿跑车存在”），因为它并不断言轿跑车（或任何轿车）存在。