帰謬法は、論理的な推論の一つで、ある命題が真であると仮定し、その結果として矛盾が生じることを示すことで、その命題が偽であることを証明する方法です。具体的には以下のような流れになります。 仮定: 証明したい命題を真であると仮定します。 推論: その仮定から論理的に結論を導きます。 矛盾の発見: 導き出した結論が既知の事実や他の命題と矛盾する場合、その仮定が誤りであることが示されます。 結論: したがって、最初の命題は偽であると結論づけます。 この方法は数学や哲学の分野でよく使われ、特に数学的証明においては非常に強力な手法です。例えば、無理数の存在を証明する際に、帰謬法が用いられることがあります。