P ⇔ Q is equivalent to the pair of conditionals P ⇒ Q and Q ⇒ P.
Your conditional statements are ...
- If two lines intersect to form 4 right angles, then they are perpendicular.
- If two lines are perpendicular, then they intersect to form 4 right angles.