Οι δύο δηλώσεις χωρίζουν όλες τις δυνατές περιπτώσεις σε δύο αμοιβαία αποκλειόμενα σενάρια:

• Αν είναι μόνιμη → έχει ελεύθερη πρόσβαση (τότε ισχύει το (1)).
• Αν δεν είναι μόνιμη → δεν έχει ελεύθερη πρόσβαση (τότε ισχύει το (2)).

Δεν γνωρίζουμε ποιο από τα δύο ισχύει για τη Λένα, άρα δεν μπορούμε να καταλήξουμε μόνο στο (1) ή μόνο στο (2). Ωστόσο, επειδή εξαντλούν όλες τις περιπτώσεις, με βεβαιότητα ισχύει ότι το ένα από τα δύο συμπεράσματα θα είναι σωστό.

Άρα σωστή επιλογή: Γ — Είτε το (1) είτε το (2) ακολουθεί λογικά.

Θεωρία

Αυτό είναι παράδειγμα απόδειξης κατά περιπτώσεις:

• Από τις προκείμενες «Αν P τότε Q» και «Αν όχι-P τότε όχι-Q» δεν προκύπτει συγκεκριμένα το Q ή το όχι-Q, αλλά προκύπτει το διαζευκτικό συμπέρασμα «Q ή όχι-Q».
• Προσοχή να είναι αμοιβαία αποκλειόμενα τα συμπεράσματα (εδώ «έχει ελεύθερη πρόσβαση» vs «δεν έχει ελεύθερη πρόσβαση») ώστε να μην ισχύουν και τα δύο ταυτόχρονα.