>>318
A→B、この言明はAが真であって、Bが偽であるとき、そのときに限って偽である。