Στο βιβλίο της 'Α λυκείου γράφει:
Αν

, τότε:

.
Λέω εγώ τώρα:
Έστω

.
1)α) Είναι η πρόταση :

αληθής;
β) Αν ναι, έπεται ότι η πρόταση

είναι ψευδής;
2) Είναι η πρόταση

ψευδής;
3) Αν ναι, δεν θα είναι η ισοδυναμία

αληθής;
Ερώτηση: Μήπως από τα παραπάνω συμπεραίνουμε ότι:
Έστω

. Τότε

;
Αν τα παραπάνω είναι λάθος, μπορεί να βρεθεί παράδειγμα ανίσωσης της μορφής

όπου τα

είναι πολυώνυμα πρώτου ή δευτέρου βαθμού (ή κάτι τέτοιο) και για την οποία, οι λύσεις που προκύπτουν από την επίλυσή της με τον ορθόδοξο τρόπο (: περιορισμοί για το πρόσημο του

, αφαίρεση απολύτων με περιπτώσεις και τα λοιπά) να είναι διαφορετικές απο εκείνες που θα προέκυπταν αν κάποιος, έτσι για δοκιμή, χωρίς να πάρει περιορισμούς για το πρόσημο του

προχωρούσε (με ισοδυναμίες "σύμφωνα με τα παραπάνω") λέγοντας

και σπάζοντας σε δυο συναληθεύουσες ανισώσεις;