実質含意と選言
「A，またはB」
を
「Aでない，ならばB」
と考えられる
これを逆転すると
「A，ならばB」
は
「Aでない，またはB」
とすることが出来る
#実質含意
#選言