Ａ＝ＢをＡならばＢと訳しているのが間違いじゃないかなあ。Ａ＝ＢはＡはＢという意味だろう。

＞AをBと定義した場合、BならばAだ

なのでこれは４＝２＋２と定義した場合、２＋２ならば４だと言うことになる。２は偶数であるは２＜偶数となるので例示としては誤り。
引用文を冒頭の例で翻訳すると、「ＡならばＢとした場合ＢならばＡだ」となり、これなら２は偶数の例示は適切。