|
|
|
| 背理法 |
| 辞書：萌色用語の基礎知識 SF編 (OZSF) |
| 読み：はいりほう |
| 品詞：名詞 |
数学の排中律から導かれる定理の一つで、ある命題Pの、否定の否定(二重否定)が真ならばPは真である、というもの。
つまり、Pの否定が偽であることを示すことで、Pが真であるこどを導く間接的な証明法のこと。
| リンク |
ゼノン| 通信用語の基礎知識検索システム WDIC Explorer Ver 7.04a (27-May-2022) Search System : Copyright © Mirai corporation Dictionary : Copyright © WDIC Creators club |
 |