Δίνεται ότι όλες οι χορωδίες έχουν πλήθος μελών μέσα στο κλειστό διάστημα από δεκαπέντε μέχρι είκοσι πέντε. Επιπλέον, ισχύει ο κανόνας: αν μια χορωδία έχει πλήθος μελών μεγαλύτερο από είκοσι, τότε οι μαθητές της φορούν ομοιόμορφες μπλούζες. Ο κανόνας αυτός καθορίζει με βεβαιότητα τι συμβαίνει μόνο όταν το πλήθος είναι αυστηρά μεγαλύτερο από είκοσι. Όταν το πλήθος είναι είκοσι ή μικρότερο, δεν προκύπτει σίγουρο συμπέρασμα, επειδή δεν έχει δοθεί σχετικός κανόνας.

• Έλεγχος της επιλογής Α: Είκοσι δύο είναι μεγαλύτερο από είκοσι. Άρα εφαρμόζεται ο κανόνας και πράγματι οι μαθητές φορούν ομοιόμορφες μπλούζες. Η δήλωση είναι αληθής.

• Έλεγχος της επιλογής Β: Είκοσι δεν είναι μεγαλύτερο από είκοσι. Δεν υπάρχει κανόνας που να επιβάλλει ομοιόμορφες μπλούζες στα είκοσι μέλη. Επομένως δεν μπορούμε να πούμε ότι σίγουρα έχουν ομοιόμορφες μπλούζες. Η δήλωση δεν είναι υποχρεωτικά αληθής.

• Έλεγχος της επιλογής Γ: Η πρόταση ισχυρίζεται ότι μόνο όσες έχουν λιγότερα από είκοσι μέλη έχουν ομοιόμορφες μπλούζες. Αυτό αντιστρέφει τον κανόνα και είναι λάθος, επειδή ο κανόνας αφορά χορωδίες με πλήθος μεγαλύτερο από είκοσι. Άρα η δήλωση είναι ψευδής.

• Έλεγχος της επιλογής Δ: Η πρόταση γενικεύει ότι όλες όσες έχουν είκοσι ή λιγότερα μέλη δεν έχουν ομοιόμορφες μπλούζες. Δεν υπάρχει τέτοιος κανόνας· μπορεί να υπάρχουν και να μην υπάρχουν ομοιόμορφες μπλούζες σε αυτήν την κατηγορία. Επομένως η δήλωση δεν είναι βέβαια αληθής.

• Έλεγχος της επιλογής Ε: Είκοσι πέντε είναι μεγαλύτερο από είκοσι. Σύμφωνα με τον κανόνα, αυτές σίγουρα έχουν ομοιόμορφες μπλούζες. Η πρόταση λέει το αντίθετο, άρα είναι ψευδής.

Συμπέρασμα: μόνο η επιλογή Α είναι ορθή.

Θεωρία που χρησιμοποιήθηκε

1. Συνθήκη τύπου “αν… τότε…”: Όταν δίνεται κανόνας της μορφής αν μια ιδιότητα ισχύει, τότε προκύπτει ένα αποτέλεσμα, μπορούμε να συμπεράνουμε το αποτέλεσμα μόνο όταν η ιδιότητα πράγματι ισχύει. Δεν επιτρέπεται η αντιστροφή του κανόνα χωρίς πρόσθετη πληροφορία.

2. Αυστηρή ανισότητα: Η φράση περισσότερα από είκοσι σημαίνει αυστηρά μεγαλύτερο από είκοσι, άρα οι τιμές είκοσι ένα, είκοσι δύο, …, είκοσι πέντε ικανοποιούν τον κανόνα, ενώ η τιμή είκοσι δεν τον ικανοποιεί.

3. Περιορισμός πεδίου τιμών: Η πληροφορία ότι οι χορωδίες έχουν από $15$ ως $25$ μέλη αποκλείει πλήθη εκτός αυτού του διαστήματος, αλλά δεν επηρεάζει τη συνθήκη για τις ομοιόμορφες μπλούζες πέρα από το να ορίζει τις επιτρεπτές περιπτώσεις.