有一个例子,在数理逻辑中为真,而在现实世界中为假.请告诉我这是个什么概念?

问题描述:

有一个例子,在数理逻辑中为真,而在现实世界中为假.请告诉我这是个什么概念?

例如数理中 假设2》1,那么3》1
现实中 比如说你兄妹三个你的年龄最小你排三,你有个哥哥和姐姐,姐姐的年龄比哥哥小按您领来分的话假设1》2,那么1》3谢谢你的回答,挺有启发!我的问题实上来自于一本数理逻辑课本(英语原版):Suppose that A is countably infinite. If B is the set of all of the subsets of A, we know that B is both uncountable and countable. Think about what it means for an existential statement to be true in a structure A, as opposed to true in the real world.希望你能看懂英语原版书并能解答我的问题。再次感谢!我的英文不是很好,者使用谷歌翻译出来的:假设A是可数无限。如果B是A的所有子集,我们知道B是不可数和可数。想想它存在的语句结构的真实意味着什么一个为true,而不是在现实世界中。假定A是无限可数的,如果B是A的所有子集的集合,我们知道B是既可数又是不可数的。请想出一个存在语句,在结构A中为真,而在现实世界中为假。谢谢!