ucb-cs70 离散数学

Zeeh-Lin21 天前
ucb-cs70 离散数学
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))$
我是有底线的