Up 証明が難しい理由 作成: 2010-07-02
更新: 2010-07-02

    命題Ｐが真であることの証明は，つぎが成り立つ命題Ｑを示すことである：

    1. Ｑは真。
    2. ＱからＰが導かれる。

    特に，命題Ｐが偽 (¬Ｐが真) であることの証明は，つぎが成り立つ命題Ｑを示すことである：

    1. Ｑは真。
    2. Ｑから ¬Ｐが導かれる。

    ここでは，新しい命題Ｑをつくり出すことになる。
    Ｑは，Ｐから直接示唆されるものではない。
    Ｑをつくり出すのは，証明しようとする者の創意である。
    証明が難しいのは，証明しようとする者に創意が求められるからである。