Δίνονται δύο πληροφορίες:

1. Ο Νίκος είναι γιατρός.
2. Όλοι οι γιατροί έχουν πανεπιστημιακό πτυχίο.

Από αυτές, μπορούμε με σιγουριά να συμπεράνουμε ότι ο Νίκος έχει πανεπιστημιακό πτυχίο. Αφού είναι γιατρός και όλοι οι γιατροί έχουν πτυχίο, το ίδιο ισχύει και για τον Νίκο. Αυτό είναι ακριβώς το συμπέρασμα (2) και πράγματι ακολουθεί λογικά από τις δηλώσεις.

Αντίθετα, το συμπέρασμα (1) («Όλοι όσοι έχουν πανεπιστημιακό πτυχίο είναι γιατροί») δεν προκύπτει. Η δεύτερη δήλωση δεν λέει ότι μόνο οι γιατροί έχουν πτυχίο· λέει απλώς ότι οι γιατροί έχουν πτυχίο. Υπάρχουν πολλοί άνθρωποι με πτυχίο που δεν είναι γιατροί (π.χ. μηχανικοί, νομικοί, φιλόλογοι). Άρα το (1) δεν ακολουθεί.

Σωστή επιλογή: Β — Μόνο το συμπέρασμα (2) ακολουθεί λογικά τις δηλώσεις.

Θεωρία (σε απλά λόγια)

Από μια πρόταση του τύπου «Όλοι οι Α είναι Β» μπορούμε να βγάλουμε σίγουρα συμπέρασμα μόνο για κάποιον που ξέρουμε ότι είναι Α (τότε είναι και Β). Δεν μπορούμε να αντιστρέψουμε τη φράση και να πούμε «Όλοι οι Β είναι Α» — αυτό είναι το λεγόμενο σφάλμα του αντιστρόφου.