>>450
私の間違えですね。訂正します。

：
A→B　　B
------------
A
：

のとき、A→BはAよりも強いと言いますから、
同値の場合は強いとは言わないかもしれないですね。