Η πρόταση είναι:

«Αν βρέξει, τότε ο δρόμος θα είναι βρεγμένος.»

Με σύμβολα:

• $Β$: Βρέχει.
• $Δ$: Ο δρόμος είναι βρεγμένος.

Η πρόταση είναι: $Β \Rightarrow Δ$

Ισοδύναμη διατύπωση:

• Αν ο δρόμος δεν είναι βρεγμένος ($\neg Δ$), τότε σίγουρα δεν έβρεξε ($\neg Β$).

Αυτό αντιστοιχεί στα:

• (Γ) Δεν έβρεξε.
• (Δ) Ο δρόμος δεν είναι βρεγμένος.

Άρα το σωστό ζεύγος είναι: Δ: ΓΔ

Θεωρία

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