>>477
前提が偽なら命題は真