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

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