Από τη δήλωση i μαθαίνουμε έναν γενικό κανόνα: όποιος έχει κάρτα μέλους πληρώνει ετήσια συνδρομή. Η δήλωση ii μας λέει ότι η Ελένη έχει κάρτα μέλους. Άρα, εφαρμόζοντας τον γενικό κανόνα στην Ελένη, συμπεραίνουμε ότι η Ελένη πληρώνει ετήσια συνδρομή. Αυτό είναι ακριβώς το συμπέρασμα (1), το οποίο ακολουθεί λογικά από τις δύο δηλώσεις.

Το συμπέρασμα (2) είναι η αντιστροφή του κανόνα: από το «όλοι οι κάτοχοι κάρτας πληρώνουν» δεν προκύπτει ότι «όλοι όσοι πληρώνουν έχουν κάρτα». Μπορεί κάποιος να πληρώνει μια άλλη συνδρομή (π.χ. για κολυμβητήριο) χωρίς να έχει κάρτα του δημοτικού γυμναστηρίου. Επομένως, το (2) δεν ακολουθεί λογικά.

Σωστή επιλογή: Α — Μόνο το (1) ακολουθεί λογικά.

Θεωρία

• Από προτάσεις του τύπου «Όλοι οι Α είναι Β» και «ο Χ είναι Α» μπορούμε να συμπεράνουμε «ο Χ είναι Β».
• Δεν επιτρέπεται η αντιστροφή: από «Όλοι οι Α είναι Β» δεν συνεπάγεται «Όλοι οι Β είναι Α».
• Σκεφτόμαστε και με σύνολα: το σύνολο των Α είναι μέσα στο σύνολο των Β· ένα συγκεκριμένο μέλος των Α βρίσκεται σίγουρα και στους Β, αλλά το αντίστροφο δεν ισχύει αναγκαστικά.