阿基与乌龟之“有的”和“所有”

作者：吉磊

来源：数学大王(超级脑力), 2023, (09): 34-37.

<正>差等关系,向下兼容。所有狗与有的狗阿基里斯和三月兔还在争论狗狗是否可爱。阿基里斯先说了一个命题“所有狗都是可爱的”,遭到三月兔的反对,于是给出一个肯定意思较弱的命题“有的狗是可爱的”。三月兔则认为“有的狗是可爱的”这个命题也是假的。如果命题“有的狗是可爱的”是假的,那么与它同素材的命题“所有的狗是可爱的”一定也是假的。在逻辑上,称阿基里斯给出的这两个命题具有“差等关系”。