Bir matematik öğrencisi "p ⇔ q" önermesinin "p ⇒ q ve q ⇒ p" önermelerine denk olduğunu söylüyor. Buna göre aşağıdakilerden hangisi doğrudur?