也称作存在假定,一个句子、陈述或命题如果蕴涵对某物存在的承诺,则具有存在内含。在亚里士多德逻辑中,所有的形式为“所有的A都是B”的全称命题都有存在内含,因为它们蕴涵着“至少有一个A,这个A是B”,即“一个A存在”。这样的命题蕴涵着至少存在一个主词A适用于它的物体。然而,这种含义却不为现代谓词演算所认可。全称量词被形式化为x(fx→gx),“对于每个x,如果x是f,则x是g”。这个命题没有存在内含,因为不像包含存在量词的命题,即使不存在x,这个命题也可以是真的
笑话军事旅游美容女性百态母婴家电游戏互联网财经美女干货家饰健康探索资源娱乐学院 数码美食景区养生手机购车首饰美妆装修情感篇厨房科普动物植物编程百科知道汽车珠宝 健康评测品位娱乐居家情感星座服饰美体奢侈品美容达人亲子图库折扣生活美食花嫁风景 | 首页 |
也称作存在假定,一个句子、陈述或命题如果蕴涵对某物存在的承诺,则具有存在内含。在亚里士多德逻辑中,所有的形式为“所有的A都是B”的全称命题都有存在内含,因为它们蕴涵着“至少有一个A,这个A是B”,即“一个A存在”。这样的命题蕴涵着至少存在一个主词A适用于它的物体。然而,这种含义却不为现代谓词演算所认可。全称量词被形式化为x(fx→gx),“对于每个x,如果x是f,则x是g”。这个命题没有存在内含,因为不像包含存在量词的命题,即使不存在x,这个命题也可以是真的