В логике: А — это Б. Почему? По определению.