ucb-cs70 离散数学 - ucb-cs70 离散数学技术,学习,经验文章

Zeeh-Lin

6 小时前

UCB-CS70_离散数学_个人笔记：至少和至多在note1中，提出了两个关于“至少”和“至多”的命题：对于这两个命题，可以分别用下面两个式子表达：$ \exists x \exists y \exists z (x \neq y \land x \neq z \land y \neq z \land P(x) \land P(y) \land P(z))$