2005-01-05 23:22:40半緣君

沒有任何東西是A?

(1)所有A都是B。
(2)所有B都是D。
(3)所有A都是C。
(4)所有C都不是D。

假設X是A。
可以推論出X是D但又不是D。
所以沒有任何東西是A。

能否用前提(1),(2),(3),(4)推論出沒有任何東西是A呢?