質問です。
命題論理のごく初歩的なところをやっているんですが、
replacement theoremとstrong replacement theoremの違いがわかりません。
wff Aを何回か含むwffをC[A]とし、C[A]の中のいくつかのAをwff Bで置き換えた結果をC[B]とする。このとき、
replacement theorem：AとBが論理的同値ならばC[A]とC[B]も論理的同値
strong replacement theorem：(A←→B)→(C[A]←→C[B])はトートロジー
なぜ、後者のほうが「強い」のでしょうか？