Text this: State-Dependent Implication and Equivalence in Quantum Logic