strong replacement theoremというのは一般的な呼び方じゃないと思う。
別の名前が付いている訳でもないけど。

AならばBというのとA→Bはトートロジーだというのでは
後者の方が強い気はするよね。
トートロジーに関するいくつかの性質を使えば前者から後者も証明できるだろうけど。