Βήμα 1: Μετάφραση συνθηκών σε λογικές προτάσεις

1. Συνθήκη 1: «Ο Άλκης χαμηλότερα από τη Βέρα αν και μόνο αν ο Γιάννης δεν ήταν πρώτος». Αυτό σημαίνει: Α ↔ ¬(Γ1) όπου Α: "Άλκης < Βέρα", Γ1: "Γιάννης πρώτος". Άρα:
   • Αν ο Γιάννης δεν είναι πρώτος ⇒ Άλκης < Βέρα
   • Αν ο Γιάννης είναι πρώτος ⇒ Άλκης > Βέρα
2. Συνθήκη 2: Ζωή > Ελένη.
3. Συνθήκη 3: Δήμητρα ≠ πρώτη και Δήμητρα ≠ τελευταία.
4. Συνθήκη 4: Αν Βέρα > Ελένη ⇒ Ζωή < Άλκης.
5. Συνθήκη 5: Ελένη ≥ Άλκης (ίση δεν γίνεται γιατί όλοι έχουν διαφορετικές βαθμολογίες ⇒ Ελένη > Άλκης).

Βήμα 2: Ανάλυση αλληλεπιδράσεων

1. Από Σ5: Ελένη > Άλκης.
2. Από Σ2: Ζωή > Ελένη > Άλκης, άρα Ζωή > Ελένη > Άλκης.
3. Από Σ4: Αν Βέρα > Ελένη ⇒ Ζωή Άλκης ⇒ άτοπο ⇒ άρα Βέρα < Ελένη.
4. Από Σ5 και Βέρα Άλκης: Δεν ξέρουμε σχέση Βέρα – Άλκη.
5. Από Σ1: Α ↔ ¬(Γ1). Ελένη > Άλκης ⇒ Αν Άλκης Βέρα τότε Γιάννης πρώτος.

Βήμα 3: Εξερεύνηση πιθανών κατατάξεων

Έχουμε Ζ > Ε > Α. Επίσης Β < Ε.

Δ δεν είναι πρώτη ή τελευταία.

Περίπτωση 1: Άλκης < Βέρα

• Α ↔ ¬(Γ1) ⇒ Γιάννης όχι πρώτος.
• Από Β < Ε και Α < Β ⇒ σειρά (υπό μέρος): Ζ, Ε, Β, Α.
• Θέσεις 1–6: Ζ και Γιάννης μπορεί να είναι σε οποιαδήποτε υψηλή θέση, Δήμητρα ενδιάμεση, κ.λπ.
• Δεν βρίσκουμε αντίφαση.

Περίπτωση 2: Άλκης > Βέρα

• Α ↔ ¬(Γ1) ⇒ Γιάννης πρώτος.
• Αλλά Ε > Α > Β και Ζ > Ε ⇒ Ζ είναι πρώτη ή δεύτερη. Αν Γιάννης πρώτος, τότε Ζ δεν είναι πρώτη.
• Δεν υπάρχει αντίφαση.

Βήμα 4: Έλεγχος των 5 προτάσεων

1. «Η Ζωή δεν ήταν πρώτη.» Όχι απαραίτητα – στην Περίπτωση 1 μπορεί να είναι πρώτη.
2. «Ο Άλκης δεν ήταν καλύτερος από τη Βέρα μόνο αν ο Γιάννης ήταν πρώτος.» Αυτό είναι ισοδύναμο με: (Α < Β) ⇒ (Γ1), που είναι αντίθετο από τη Σ1, άρα ψευδές.
3. «Η Ελένη ήταν χαμηλότερη από τη Ζωή.» Από Σ2: Ζωή > Ελένη ⇒ αληθές και αναγκαίο.
4. «Η Δήμητρα δεν ήταν τελευταία.» Από Σ3: Δήμητρα όχι τελευταία ⇒ αληθές και αναγκαίο.
5. «Ο Γιάννης μπορεί να ήταν είτε πρώτος είτε όχι.» Εξετάσαμε και τις δύο περιπτώσεις ⇒ αληθές και αναγκαίο.

Βήμα 5: Επιλογή σωστής απάντησης

• Αναγκαία σωστές: (3), (4), (5)
• Σύμφωνα με τις επιλογές: Δ: 3, 4 και 5 ⇒ Σωστή επιλογή.

Τελική απάντηση

Δ

Θεωρία

• Λογικές προτάσεις & ισοδυναμίες: Η φράση «αν και μόνο αν» εκφράζει διπλή συνεπαγωγή (↔), που απαιτεί αλήθεια και προς τις δύο κατευθύνσεις.
• Ανάλυση δεδομένων κατάταξης: Όταν οι θέσεις είναι όλες διαφορετικές, οι ανισότητες μεταξύ συμμετεχόντων μεταφράζονται σε αυστηρές σχέσεις > ή <.
• Μέθοδος επίλυσης: Μετατροπή κάθε πρότασης σε λογική σχέση, χρήση συνεπαγωγών για να περιορίσουμε τις πιθανές διατάξεις, και επαλήθευση με δοκιμή περιπτώσεων για να διαπιστωθεί ποιες προτάσεις ισχύουν πάντα.