Ποια ιδιοκτησία δικαιολογεί τη δήλωση: αν τότε
Η απάντηση είναι: Πολλαπλασιασμός για ισότητα.
Η ιδιότητα που δικαιολογεί τη δήλωση: "Αν x = 2, τότε x = 2" είναι η ανακλαστική ιδιότητα της ισότητας.
Αυτή η ιδιότητα δηλώνει ότι για οποιαδήποτε δεδομένη τιμή του x, το x είναι πάντα ίσο με τον εαυτό του.
Αυτό φαίνεται στο συγκεκριμένο παράδειγμα, όπου το x ισούται με 2.
Επομένως, προκύπτει ότι αν x = 2, τότε x = 2.
Η ανακλαστική ιδιότητα της ισότητας είναι μια σημαντική έννοια στα μαθηματικά και χρησιμοποιείται για να αποδείξει μια ποικιλία προτάσεων στην άλγεβρα και τη γεωμετρία.