Ο λόγος που επανέρχομαι στο θέμα είναι ότι εξελίσσεται από χρόνια από έναν κύκλο συναδέλφων μια εκστρατεία γενικά για τη σημασία της μαθηματικής λογικής , κάτι στο οποίο συμφωνώ απόλυτα για τους μαθηματικούς, αλλά όχι για το σχολείο, και ειδικότερα για τη μη χρήση της ισοδυναμίας κατά την απόδειξη μιας πρότασης όταν ξεκινάμε τη λύση από την αποδεικτέα, αλλά η χρήση του «αρκεί», πρακτική με την οποία μερικώς συμφωνώ για τα κείμενα των μαθηματικών, όχι όμως για την υποχρέωση των μαθητών να την ακολουθήσουν. Επειδή, το κύρος των συναδέλφων αυτών ανάμεσα στους μαθηματικούς είναι -δικαίως- υψηλό, φοβούμαι ότι επηρεάζοντας κάποιους να υιοθετήσουν αυτή την απαίτηση από τους μαθητές τους, θα βλάψουν, άθελά τους, μεγάλη μερίδα μαθητών φορτώνοντάς τους με μια επιπλέον υποχρέωση, καθιστώντας λιγότερο εύκολο το έργο της μύησής τους στις μαθηματικές έννοιες.
Επί της μαθηματικής ορθότητας
Η χρήση της ισοδυναμίας (εφόσον είναι αληθής) είναι απολύτως σωστή.
Πρόταση (1)Έστω οι προτάσεις p,q,r. Αν ( p
r )
, τότε p
qΑν επομένως θέλουμε να αποδείξουμε τη συνεπαγωγή p
q, αρκεί να αποδείξουμε ότι p
r
q
rΕιδικότερα αν q
r και η r είναι αληθής, τότε p
q, άρα και πάλι αποδεικνύεται η συνεπαγωγή.Συμπέρασμα: Δεν διδάσκουμε λάθος όταν επιτρέπουμε στους μαθητές να ξεκινούν από την αποδεικτέα με ισοδυναμίες ΑΡΚΕΙ ΝΑ ΕΙΝΑΙ ΣΩΣΤΕΣ. Αντίθετα, η χρήση της μεθόδου είναι απολύτως σύμφωνη με τους κανόνες της μαθηματικής λογικής όπως αποδείξαμε, και επομένως δεν πρόκειται για «άποψη».
Το αν αυτό τους δυσκολεύει περισσότερο ή λιγότερο από τη χρήση του «αρκεί» μπορούμε να το συζητήσουμε. Εδώ μπορούμε να αναπτύξουμε απόψεις, όπως άποψη διατυπώνουν και όσοι πιστεύουν το αντίθετο. Το ότι χρησιμοποιώντας ισοδυναμίες κάνουν μεγαλύτερο κόπο γιατί αποδεικνύουν και κάτι που δεν τους το ζητά η άσκηση ΕΙΝΑΙ κι αυτό ΑΠΟΨΗ με την οποία διαφωνώ.
Επί των απόψεων
Οι μαθητές πρέπει να μάθουν για κάθε πρόταση που εφαρμόζουν αν είναι ισοδυναμία ή απλή συνεπαγωγή. Αυτό είναι απαραίτητο, μιας και πολλά θέματα που θα αντιμετωπίσουν απαιτούν ισοδυναμίες για να λυθούν, ενώ αν στον τρόπο που θα χρησιμοποιήσουν σε ένα βήμα δεν εφαρμόζουν ισοδυναμία, οφείλουν, στα θέματα αυτά να κάνουν και την απόδειξη (ή τον έλεγχο αν πρόκειται για εξισώσεις κ.τ.λ.) του αντιστρόφου.
Η επίλυση της πλειονότητας των εξισώσεων γίνεται με ισοδυναμίες τις οποίες οι μαθητές, με πολλή εξάσκηση, μαθαίνουν και τους γίνονται οικείες. Είναι λάθος να μην τους δίνουμε την άνεση χρήσης τους(αυτών ακριβώς των ισοδυναμιών που είπαμε) και στις αποδείξεις, φορτώνοντάς τους με το άγχος του τυπικά σωστού τρόπου γραφής εκεί που δεν είναι απαραίτητο.
Εφόσον οι μαθητές έχουν μάθει ποιες από τις διδασκόμενες προτάσεις δεν ισχύουν αντίστροφα (π.χ. εφαρμογή του γενικού στο ειδικό, πρόσθεση ισοτήτων κατά μέλη κ.τ.λ.), μπορούν να εντοπίσουν πότε η ισοδυναμία που πάνε να χρησιμοποιήσουν δεν ισχύει, και τότε πρέπει να τους διδάξουμε ότι επιβάλλεται (αλλά μόνο τότε επιβάλλεται)ή η χρήση του «αρκεί» ή μια πορεία ευθείας απόδειξης με συμπέρασμα την ισοδύναμη προς την αποδεικτέα πρόταση r της Πρότασης (1) που στο πρώτο μέρος αποδείξαμε.
Επίλογος
Οι απόψεις μου δεν είναι ακατάρριπτες, γιατί είναι απόψεις και δεν τις απέδειξα μαθηματικά. Το ότι η μέθοδος απόδειξης με ισοδυναμίες είναι σωστή δεν καταρρίπτεται, εκτός αν κάπου έχω κάνει μαθηματικό λάθος που θα ήθελα να μου επισημανθεί. Τέλος, καλό είναι να διακρίνουμε όλοι την άποψη από το επιστημονικά ορθό και όχι να χρησιμοποιούμε πότε το ένα και πότε το άλλο ανάλογα με αυτό που θέλουμε να ισχυριστούμε.

σημαίνει: «
και
». Επομένως η απόδειξη της ισοδυναμίας
και
, τότε
». Η συνεπαγωγή
που σας χρειάστηκε για να αποδείξετε την
,τότε
και έπαιρνε και τον περιορισμό για την υπόρριζη ποσότητα, έστω κι αν η εξίσωση είναι ισοδύναμη με την
θα θεωρούσα τη λύση σωστή. Κάποιος συνάδελφος είχε κόψει μονάδες από μαθητή επειδή σε κλασματική γνήσια ανισότητα με παρονομαστή μη αρνητικό, έβαλε περιορισμό να είναι διάφορος του μηδενός. Ήταν περιττό, αλλά εγώ δεν θα έκοβα μονάδες γι' αυτό. Επίσης θα θεωρούσα σωστή λύση την εύρεση του Π.Ο. μιας συνάρτησης με παρονομαστή ημχ της οποίας ζητούμε το όριο στο 0, έστω κι αν είναι αρκετό να παρατηρήσει ότι έχει νόημα η αναζήτηση του ορίου με παράδειγμα κατάλληλης ένωσης διαστημάτων. Είναι πάρα πολλές οι περιπτώσεις που και καλοί μαθηματικοί χρησιμοποιούν κάτι στη λύση, το οποίο κάποιος άλλος μπορεί να μην το χρειαστεί, να κάνουν δηλαδή κάτι περιττό που, όμως, δεν είναι άσχετο με την άσκηση. Από την άλλη, όμως, ο άλλος βρήκε τρόπο στον οποίο αυτό είναι άσχετο! Η συγκεκριμένη εργασία με απόδειξη με χρήση ισοδυναμιών είναι περιττή, αλλά κατά τη γνώμη μου όχι άσχετη στις περιπτώσεις που ανέφερα.