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

Επιπλέον, από τη στιγμή που (1) ισχύει, τότε σίγουρα υπάρχει τουλάχιστον ένα άτομο με εταιρικό e-mail (ο ίδιος ο Ανδρέας). Άρα και το συμπέρασμα (2) ακολουθεί λογικά από τον συνδυασμό των i και ii.

Συνεπώς, σωστή επιλογή: Ε — Και τα δύο συμπεράσματα ακολουθούν λογικά.

Θεωρία

1. Από προκείμενες της μορφής «Όλοι οι Α είναι Β» και «Ο Χ είναι Α» συμπεραίνουμε «Ο Χ είναι Β» (κανόνας καθολικής εξειδίκευσης + modus ponens).
2. Από μια αληθή ατομική πρόταση $M(a)$ συμπεραίνουμε ύπαρξη $\exists x\,M(x)$ (υπαρξιακή γενίκευση).
3. Μόνο η καθολική πρόταση μόνη της δεν εγγυάται ύπαρξη· εδώ η ύπαρξη προκύπτει επειδή έχουμε και το συγκεκριμένο παράδειγμα (ii).