Αν και μόνο αν

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

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

Εναλλακτικές διατυπώσεις του «το Α συμβαίνει αν και μόνο αν συμβαίνει το Β»:

  • «Το Α συμβαίνει (τότε) ακριβώς/μόνο όταν συμβαίνει το Β»
  • «Το Α αποτελεί ικανή και αναγκαία συνθήκη για το Β»
  • «Για να συμβαίνει το Α πρέπει και αρκεί να συμβαίνει το Β»

Ειδικά στη μαθηματική λογική και γενικότερα στα μαθηματικά, το «αν και μόνο αν» συντομογραφείται «ανν» ή «αν-ν».