>>557
p→q というのは (¬p)∨q と同値。
これを利用して p→(q→r) 変形すれば、どっちが正しいかわかるはず。

しかし、こういった式変形で解決しても、「理解した」と言えるかどうかは疑問だ。
それゆえ、記号に頼らす、きちんと「意味」を押さえながら論証していく>>551みたいな
論述の方が有意義だと思う。

ま、式変形も、それはそれでやってみる価値はあるけどね。