Added Double Implies

Added functionality for double-implies in logic.