UCB-CS70-离散数学-个人笔记

Proofs are very powerful and are in some ways like computer programs.

有趣的命题 在note1中，提出了两个关于“至少”和“至多”的命题： There are at least three distinct integers x that satisfy P(x). 有