Λοιπόν, σε σχέση με το πολύπαθο Σ-Λ, ας το δούμε λίγο αναλυτικά.
Έχουμε τον ισχυρισμό:
«Αν
τότε δεν συνεπάγεται ότι
ή
»
Αρχικά, ας κάνουμε μία κουβέντα περί συνεπαγωγών. Ας πούμε ότι έχουμε μία συνεπαγωγή της μορφής
. Τι πάει να πει αυτό; Πάει να πει ότι
αν ισχύει το Α τότε πρέπει να ισχύει και το Β έτσι ώστε το σύμβολο να είναι αληθές.
Κι αν δεν ισχύει το Α; Τότε τι γίνεται; Τότε, πολύ απλά, δε μας νοιάζει. Αν το Α είναι ψευδές - αν δηλαδή δεν ισχύει η υπόθεσή μας - τότε λέμε ότι το σύμβολο
είναι αληθές. Με άλλα λόγια, αντί να γράφουμε
θα μπορούσαμε να γράφουμε/λέμε «Β ή όχι Α»
. Με άλλα λόγια, μία συνεπαγωγή είναι αληθής αν ισχύει τουλάχιστον ένα από τα παρακάτω:
- ισχύει το συμπέρασμα,
- δεν ισχύει η υπόθεση.
Και, για να το δούμε και από την άλλη μεριά, μία συνεπαγωγή
δεν είναι αληθής ακριβώς όταν ισχύει η υπόθεσή της και δεν ισχύει το συμπέρασμά της.
Ή, με (πιο) άλλα λόγια: από αλήθεια συμπεραίνεις μόνο αλήθεια ενώ από το ψέμα συμπεραίνεις ότι θες.
Επομένως, πηγαίνοντας τώρα πίσω στην αρχική πρόταση, όπου είχαμε μία συνεπαγωγή της μορφής
με:
A:
ή
Επομένως, για να μην ισχύει η συνεπαγωγή πρέπει να ισχύει η υπόθεση και να μην ισχύει το συμπέρασμα, δηλαδή πρέπει να ισχύει ότι
αλλά να μην ισχύει ότι:
ή
για κάποια συνάρτηση f. Μία τέτοια συνάρτηση είναι η
Της οποία το όριο δεν υπάρχει στο 0, ωστόσο η |f| έχει όριο 1. Άρα δεν ισχύει η συνεπαγωγή, άρα η πρόταση είναι σωστή.
Να πούμε εδώ ότι ως θέμα είναι κακό, ειδικά για λύκειο. Όπως έλεγε κι ένας καθηγητής μας στη σχολή - με άλλη αφορμή, συνήθως, αλλά κολλάει: «εδώ καλά-καλά παιδιά που σπουδάζουν ή, ακόμα χειρότερα, έχουν αποφοιτήσει από το μαθηματικό, δεν μπορούν να χειριστούν τους ποσοδείκτες και τις αρνήσεις των ισχυρισμών και θα πάμε να τα ζητήσουμε από τα παιδιά του λυκείου;»
Οπότε, η πρόταση είναι σωστή αφού αυτό που εξετάζεται στην ουσία είναι αν μπορούμε ή όχι από την υπόθεση να συνάγουμε το συμπέρασμα - που δεν μπορούμε εδώ - και όχι αν ισχύει η υπόθεση. Άλλωστε, στα μαθηματικά δε μας νοιάζει αν ισχύουν οι υποθέσεις μας. :Ρ (το τελευταίο μην το πάρετε 100% στα σοβαρά αλλά ούτε και 100% στην πλάκα).