と置く．このときである． 補足 ではないので，ではない．それゆえ 乃至(強選言) とは表せない．ここで，強選言とは，どちらか一方が成立しそれを選べる，という意味である． (証明) s.t. を示す． を仮定するとの性質より () と書ける．いま と置けばである…