1 means different. Double arrows indicate that two propositions or formulas are equivalent to each other; A one-way arrow indicates whether one proposition or formula can be derived from another.

2. The relationship is different. Two-way arrow is equivalent to or if and only if; One-way arrow is a kind of "implication" relationship, and the relationship between them is different