a→bというのは、aが真でbが偽の時だけ偽になる命題のことやで