Logik Math. Gleichwertigkeit Äquivalenz Gleichmächtigkeit engl. if and only if Gleichwertigkeit Äquivalenz Äquivalent Gleichwertiges Gegenwert selber Wert