[Misc] Adding logical equivalence, propositional extensionality.

In the wrong place.