直接証明法（読み）ちょくせつしょうめいほう

精選版 日本国語大辞典 「直接証明法」の意味・読み・例文・類語

ちょくせつ‐しょうめいほう‥ショウメイハフ【直接証明法】

  1. 〘 名詞 〙 証明法の一つ。仮定から出発して、背理法などの間接的手段を用いないで、有効な推論形式を直接に次々とあてはめて結論を導くもの。⇔間接証明法

出典　精選版 日本国語大辞典精選版 日本国語大辞典について　情報 | 凡例

関連語 名詞

世界大百科事典（旧版）内の直接証明法の言及

【証明】より

…したがって，ある公理系によって築いた理論体系内の証明は，他の公理系のもとでの場合に，そのまま適用できるとは限らない。　証明のしかた，すなわち証明法は直接証明法と間接証明法とに分けられる。直接証明法は仮定から出発して，既知の定理などを利用しながら三段論法によって進むものである。…

※「直接証明法」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」

今日のキーワード

辞書

１ 多数の語を集録し、一定の順序に配列して一つの集合体として、個々の語の意味・用法、またはその示す内容について記したもの。語のほかに接辞や連語・諺なども収める。また、語の表記単位である文字、特に漢字を...

辞書の用語解説を読む