равносильность уравнений, равносильность формул, равносильность неравенств, равносильность формул логики предикатов, равносильность логика, равносильность уравнений на множествах, равносильность знак, равносильность неравенств на множествах, равносильность систем, равносильность уравнений и неравенств системам