Αν και μόνο αν

Στη λογική και άλλα επιστημονικά πεδία που βασίζονται σε αυτή, όπως τα μαθηματικά και τη φιλοσοφία, «εάν και μόνο εάν» είναι μια εκφράση που συνδέει δύο ισχυρισμούς και η οποία δηλώνει οτι για να είναι ο ένας αληθής θα πρέπει να είναι αναγκαστικά και ο άλλος αληθής. Συνεπώς, είτε και οι δύο ισχυρισμοί είναι αληθείς είτε και οι δύο λανθασμένοι.

Εναλλακτική διατύπωση της δήλωσης «το Α συμβαίνει εάν και μόνο εάν συμβαίνει το Β» είναι η δήλωση «Το Α αποτελεί ικανή και αναγκαία συνθήκη για το Β».