「偽⇒真」という命題は常に真だぞ