Βροχή και Βρεγμένος Δρόμος: Μια Άσκηση Λογικής

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

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

Η πρόταση αυτή μπορεί να συμβολιστεί λογικά ως $p \to q$, όπου:

• $p$: «Βρέχει»

• $q$: «Ο δρόμος είναι βρεγμένος»

Ερώτημα: Ποια από τις παρακάτω προτάσεις είναι λογικά ισοδύναμη με την αρχική πρόταση;

α) Βρέχει ή ο δρόμος δεν είναι βρεγμένος.

β) Βρέχει ή ο δρόμος είναι βρεγμένος.

γ) Δεν βρέχει και ο δρόμος δεν είναι βρεγμένος.

δ) Δεν βρέχει ή ο δρόμος είναι βρεγμένος.