Από τις δηλώσεις:

• «Όλοι οι δικηγόροι είναι μορφωμένοι» σημαίνει: Δικηγόροι ⊆ Μορφωμένοι.
• «Κανένας αμόρφωτος δεν είναι εργαζόμενος» σημαίνει: Αμόρφωτοι ⊆ Μη εργαζόμενοι.

Έλεγχος συμπερασμάτων:

• (1) «Όλοι οι δικηγόροι είναι εργαζόμενοι»: Δεν προκύπτει, αφού δεν έχουμε καμία πληροφορία για το αν οι μορφωμένοι (ή οι δικηγόροι) εργάζονται.
• (2) «Κανένας δικηγόρος δεν είναι αμόρφωτος»: Αυτό ισχύει, γιατί όλοι οι δικηγόροι είναι μορφωμένοι.
• (3) «Μερικοί μορφωμένοι δεν είναι δικηγόροι»: Ισχύει, γιατί το σύνολο των μορφωμένων είναι ευρύτερο από τους δικηγόρους.
• (4) «Όλοι οι αμόρφωτοι δεν είναι εργαζόμενοι»: Αυτό ισχύει, αλλά είναι απλή αναδιατύπωση της 2ης δήλωσης, οπότε δεν θεωρείται νέο συμπέρασμα.

Άρα τα σωστά συμπεράσματα είναι το (2) και το (3).

Σωστή απάντηση: Α (2 και 3).

Θεωρία

• Οι προτάσεις «Όλοι οι Α είναι Β» δηλώνουν σχέση υποσυνόλου.

• Η αντίθετη διατύπωση «Κανένας Α δεν είναι όχι-Β» είναι ισοδύναμη.

• Για να ελέγξουμε συμπεράσματα, βλέπουμε αν η πληροφορία είναι:

  • νέα και αναγκαία συνέπεια, ή
  • απλή επανάληψη των δεδομένων.