AならばBという命題でAが偽のとき、この命題は真である