定理2.2 とする．このとき (ア) (イ) が成立する． (証明) (ア) ① を示す． を仮定する．このとき i.e. (選言三段論法) i.e. (選言三段論法) i.e. (∨-導入) i.e. i.e. したがって，→-導入より を得る． ② も①と同様に示される． (イ) ① を示す． を仮定する…

とする．このとき が成立する． (証明) を仮定し，を導出する．を仮定すると∧-除去より i.e. i.e. と書ける．ここで，を仮定すると→-除去より を得る．このようなに対して，→-除去を適用すれば が導き出される．それゆえ，→-導入より i.e. が示された．▢

とする．このとき，次のことが成り立つ． (ⅰ) (ⅱ) (ⅲ) (ⅰ)に関する補足 数学では強選言を採用していると考えるので，とは異なるものと考える．いま，に対して と書けるとする．このとき選言三段論法によって，を否定する．しかし，これは直接を否定している…