There are basically two ways to manipulate expressions symbolically in math: the formal logic way and the model theory way. One is proof (follows first-order inference rules) and the other is truth (symbols are evaluated according to their meaning in a structure).