Why does "separable" imply the "countable chain condition"? Why does "separable" imply the "countable chain condition"?
Thanks for any help.

The reason is that separability implies that there is a countable subset $D$ that for every non-empty open set $U$, $D\cap U\neq\varnothing$.
If $X$ does not have CCC then there is an uncountable family $\{U_i\mid i\in I\}$ of pairwise disjoint open sets. Any countable set can intersect only countably many of those, but never all of them, therefore $X$ is not separable.
Alternatively, you can argue directly: If $\mathcal{U}$ is a family of pairwise disjoint open sets, each $U \in \mathcal{U}$ must contain a point $d \in D$ by density, so there's a surjection from some subset of $D$ onto $\mathcal{U}$, hence $\mathcal U$ is countable.
The other direction is not true since there are CCC spaces which are not separable.
An example of a non-separable but CCC space would be a sufficiently high power $\{0,1\}^\kappa$ ($\kappa \gt \mathfrak{c}$ is enough): indeed, an arbitrary product $\prod_{i \in I} X_i$ of topological spaces is CCC if all finite products $\prod_{j \in J} X_j$ with $J \subset I$, $\# J \lt \infty$ are CCC.
