cs70-homework00 Posted on 2018-10-04 Edited on 2022-02-07 In CS70 LATEX (a) $\forall x\exists y((P(x)\land Q(x,y)) \Rightarrow x\le \sqrt y)$(b) $\sum_{i=0}^k i = \frac {k(k+1)} 2$