摘要: 怎样翻译数学语言 省流:遇到\(\forall\)用\(\rightarrow\),遇到\(\exists\)用\(\land\) 首先注意到恒等变换 \[\forall xF(x) \Leftrightarrow \forall(x\in X)F(x)\land \forall(x\not\in 阅读全文
posted @ 2024-06-16 16:09 fallqs 阅读(387) 评论(1) 推荐(1) 编辑