Λυμένο παράδειγμα 4

Βοηθητική μεταγραφή

Λυμένο παράδειγμα 4 από «ΑΝΙΣΩΣΕΙΣ-Π1». Λυμένο περιεχόμενο στην ίδια σάρωση. Βοηθητική αυτόματη μεταγραφή, με πιθανές αποκλίσεις σε τύπους και σύμβολα: Για την ανίσωση 16x + 3 > 20x − 9 − 4x , έχουμε 16x + 3 > 16x − 9 ⇔ 0 ⋅ x > −12 , το οποίο ισχύει για κάθε x ∈ ! , δηλαδή η ανίσωση αληθεύει για κάθε x ∈ ! .

Η αυτόματη μεταγραφή είναι βοηθητική και μπορεί να μην αποδίδει με ακρίβεια όλους τους μαθηματικούς τύπους και τα σύμβολα. Η σάρωση παραμένει η πηγή αναφοράς.

Λυμένο παράδειγμα