Jabarkan Substitusi dari Aljabar elementer

Substitusi menggantikan suku-suku dalam suatu ekspresi untuk membuat ekspresi baru. Mengganti 3 untuk  dalam ekspresi tersebut  membuat ekspresi baru  dengan arti . Mengganti istilah pernyataan membuat pernyataan baru. Jika pernyataan asli benar secara independen dari nilai istilah, pernyataan yang dibuat oleh substitusi juga benar. Oleh karena itu, definisi dapat dibuat dalam istilah simbolik dan ditafsirkan melalui substitusi: jika  dimaksudkan sebagai definisi dari  karena produk dari  dengan dirinya sendiri, menggantikan  untuk  menginformasikan kepada pembaca pernyataan ini bahwa  sebagai . Seringkali tidak diketahui apakah pernyataan itu benar terlepas dari nilai istilah. Dan, substitusi memungkinkan untuk mendapatkan batasan pada nilai yang mungkin, atau menunjukkan kondisi apa yang dipegang pernyataan itu. Misalnya, pernyataan , if  diganti dengan , ini menyiratkan , yang salah, yang menyiratkan bahwa jika  maka  tidak bisa menjadi .