>>877
そうだよ
P⇒Q は Pが真ならQが真という命題