Du hast die Definitionen von AâȘB und von BâȘA angewendet.
Diese Definitionen unterscheiden sich aber. In deiner Definition von AâȘB steht z.B.
(xâA)âš(xâB),
wĂ€hrend in deiner Definition von BâȘA etwas anderes steht, nĂ€mlich
(xâB)âš(xâA).
Du mĂŒsstest noch begrĂŒnden, warum das das gleiche ist.
Nebenbeibemerkt ist auch das Zeichen := nicht angebracht. Ein Term der Form
A := B
bedeutet "Ich verwende A als alternative Bezeichnung fĂŒr B".
Insbesondere bedeutet "A := B" nicht "Laut Definition ist A eine alternative Bezeichnung fĂŒr B".