さんのうまる 約10年以前 ある命題の否定を仮定してその矛盾を示したら証明完了なので、難しく考える必要はないと思います。 日常的に使える論法ですし、証明の仕方の流れを覚えればスラスラできるようになると思います 留言