👈 Back to problem set index.
Optional Fun Problem: Insufficient Connectives
As you saw earlier on this problem set, every propositional logic formula could be written in terms of just $\to$ and $\bot$. However, you cannot express every possible propositional logic formula using just the $\leftrightarrow$ and $\bot$ connectives.
Prove why not.