Functionally Complete Logical Connectives/Negation and Conditional

Theorem
The set of logical connectives:
 * $\left\{{\neg, \implies}\right\}$: Not and Implies

is functionally complete.

Proof
From Functionally Complete Logical Connectives: Negation and Conjunction, we can represent any boolean expression in terms of $\land$ and $\neg$.

From Conjunction and Implication, we have that:
 * $p \land q \dashv \vdash \neg \left({p \implies \neg q}\right)$

So it follows that we can replace all occurrences of $\land$ by $\implies$ and $\neg$.

Thus $\left\{{\neg, \implies}\right\}$ is functionally complete.