Αν και μόνο αν: Διαφορά μεταξύ των αναθεωρήσεων

μ
συμπλήρωση λήμματος
μ (συμπλήρωση λήμματος)
μ (συμπλήρωση λήμματος)
 
Εναλλακτικές διατυπώσεις του «το Α συμβαίνει '''αν και μόνο αν''' συμβαίνει το Β», ανάλογα με τα εκάστοτε συμφραζόμενα, είναι οι παρακάτω:
*«Το Α συμβαίνει '''(τότε) ακριβώς/μόνο όταν''' συμβαίνει το Β.»
*«Το Α αποτελεί '''ικανή και αναγκαία συνθήκη''' για το Β.»
*«Για να συμβαίνει το Α '''πρέπει και αρκεί''' να συμβαίνει το Β.»
*«Το Α '''ορίζεται''' ως το Β.»
*«Το Β είναι '''χαρακτηρισμός''' του Α.»
*«Το Α είναι '''(λογικά) ισοδύναμο''' με το Β.»
*«Το Α '''συνεπάγεται''' το Β, '''και αντιστρόφως'''.»
 
Ειδικά στη [[μαθηματική λογική]] και γενικότερα στα μαθηματικά, το '''«αν και μόνο αν»''' συντομογραφείται '''«ανν»''' ή '''«αν-ν»''' και συμβολίζεται ως "⇔" ή "↔".