这个问题让我想到了模态逻辑里的(Lp→Mp)在每个世界都至少能看到一个世界的时候恒成立。
简单的说
如果希望从
任意a属于A,都满足性质P
推出
存在a属于A,满足性质P
需要且只需要补充条件
存在a属于A
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 tinynews.org All Rights Reserved. 百科问答小站 版权所有