26/01/31 00:22:04.80 zGLhhnMn.net
定理:
P: 命題
このとき、￢￢￢P ⇒ ￢P
証明:
￢￢￢Pを仮定する。 (H1)
￢Pを示す:
もしPだったと仮定する。 (H2)
補題: このとき、￢￢P (L)
証明:
もし￢Pだったと仮定する。 (H3)
(H3) (H2)より矛盾。□
(H1) (L)より矛盾。□
定理の結論で示すべき￢Pを、(H3)で仮定している。
循環論法では？
26/01/31 00:22:04.80 zGLhhnMn.net
定理:
P: 命題
このとき、￢￢￢P ⇒ ￢P
証明:
￢￢￢Pを仮定する。 (H1)
￢Pを示す:
もしPだったと仮定する。 (H2)
補題: このとき、￢￢P (L)
証明:
もし￢Pだったと仮定する。 (H3)
(H3) (H2)より矛盾。□
(H1) (L)より矛盾。□
定理の結論で示すべき￢Pを、(H3)で仮定している。
循環論法では？