- 博客(2)
- 收藏
- 关注
RSS订阅原创 关于“空集是任何集合的子集”的证明
因为，（如果我们不知道∅是否属于S），若∅⊂S，则∀x∈∅且x∈S，因为∅不存在任何元素，所以无法证明（之所以是无法证明而非错误，是因为∀x∈∅是假命题，而x∈S不知道是真是假（注）），不过，反证法就是适用于证真不易，证伪容易的问题。在学习b站陈纪修陈老数学分析课程P2中，对于证明“空集是任何集合的子集”，陈老是这么说的（大概）：假设∀x∈∅，则x∈S；回归原题，若∅⊂S，则∀x∈∅且x∈S成立，因为∅中无任何元素，所以∀x∈∅为假命题，此时x∈S无论真假，∀x∈∅→x∈S均为真命题，因此可退出∅∈S。
2023-05-01 16:01:21
1512
2
原创 更新至win11 version22H2后与VM发生不可恢复错误
更新至win11 version22H2后，vmware无法正常使用，可打开虚拟机，但一打开就会提示一个侧缓（降低性能，提高安全性）什么的，且使用虚拟机途中，windows系统和Linux系统都无法挂起一挂起就会报错，如下：VMware Workstation 不可恢复错误: (vcpu-0)，Exception 0xc0000005 (access violation) has occurred.传输 (VMDB)错误 -14: Pipe connection has been broken。
2023-01-11 02:25:30
1909
3
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人