▪ Η συνεπαγωγή

Ας θεωρήσουμε δύο πραγματικούς αριθμούς α και β. Είναι γνωστό ότι:
Αν οι αριθμοί α και β είναι ίσοι, τότε και τα τετράγωνα τους θα είναι ίσα.

Αυτό σημαίνει ότι:

Αν ο ισχυρισμός « α = β » είναι αληθής, τότε και ο ισχυρισμός « α² = β² » θα είναι αληθής.

Γι’ αυτό λέμε ότι ο ισχυρισμός « α = β » συνεπάγεται τον ισχυρισμό «α² = β²»και γράφουμε: α = β ⇒ α² = β² .

Γενικά:

Αν P και Q είναι δύο ισχυρισμοί, τέτοιοι ώστε, όταν αληθεύει ο P να αληθεύει και ο Q , τότε λέμε ότι ο P συνεπάγεται τον Q και γράφουμε P ⇒ Q.

Από το σχολικό βιβλίο της Α΄ Λυκείου.