Η πρόταση «κάθε φορά που έχει προθεσμία, αγχώνεται» σημαίνει: αν υπάρχει προθεσμία, τότε η Μαρία αγχώνεται. Με λόγια: η προθεσμία είναι αναγκαία συνθήκη για το άγχος; Όχι—είναι επαρκής: κάθε προθεσμία φέρνει άγχος, αλλά μπορεί να αγχωθεί και χωρίς προθεσμία (δεν το αποκλείουμε).

Η ισοδύναμη (και ασφαλής) μετασχηματισμένη μορφή είναι η αντίστροφη-αντίθετη:

Αν δεν αγχώνεται, τότε δεν έχει προθεσμία.

Στις επιλογές αυτό εκφράζεται από το ζεύγος:

• (Δ) Δεν αγχώθηκε.
• (Β) Δεν είχε προθεσμία.

Άρα σωστή επιλογή: Α: ΒΔ.

Θεωρία

• «Αν P, τότε Q» εκφράζει επάρκεια του P για το Q: $P \Rightarrow Q$.
• Η μοναδική πάντα ισοδύναμη μετασχηματισμένη πρόταση είναι η αντίστροφη-αντίθετη: «Αν όχι Q, τότε όχι P» (εδώ: αν δεν αγχώθηκε → δεν είχε προθεσμία).
• Προσοχή: ούτε το «Q ⇒ P» (αντίστροφη) ούτε το «όχι P ⇒ όχι Q» (αντίθετη) είναι γενικά ισοδύναμα.