→と⇒は違いますよね？
P⇒Qは∀x(p(x)→q(x))の省略形だと
某サイトで説明されて他のですが正しいでしょうか？
これが正しいとして質問させていただきます。
中学で習う初等方程式4x+2=3x-1を解く上で
4x+2=3x-1からx=-3への変形は、→でしょうか？それとも⇒でしょうか？