ピクシブ百科事典は2024年5月28日付でプライバシーポリシーを改定しました。改訂履歴

概要編集

「pならばq」を証明したい時、「pならばqではない」と仮定してその矛盾を示すことで「pならばqである」ことが正しいことを示す方法。

間接証明の一つで、いかにも当たり前なことを示す時に使いやすい。



関連タグ編集

証明 対偶法 集合 論理 排反

関連記事

親記事

証明 しょうめい

兄弟記事

pixivに投稿されたイラスト pixivでイラストを見る

pixivに投稿された小説 pixivで小説を見る

このタグがついたpixivの作品閲覧データ 総閲覧数: 0

コメント

問題を報告

0/3000

編集可能な部分に問題がある場合について 記事本文などに問題がある場合、ご自身での調整をお願いいたします。
問題のある行動が繰り返される場合、対象ユーザーのプロフィールページ内の「問題を報告」からご連絡ください。

報告を送信しました

見出し単位で編集できるようになりました