すいません。質問があります。
論理式Ａ、Ｂに対して次は正しいですか？
「Ａが証明可能⇔Ｂが証明可能」
⇔「Ａ⇔Ｂが証明可能」