複数辞典一括検索+

prof〔論理・数学〕間接証明(reductio ad absurdum)《命題の真性を, その命題を偽とする仮定が矛盾をきたすことを論証して, 証明すること;背理法, 帰謬(きびゅ🔗🔉

prof〔論理・数学〕間接証明(reductio ad absurdum)《命題の真性を, その命題を偽とする仮定が矛盾をきたすことを論証して, 証明すること;背理法, 帰謬(きびゅう)法;cf. direct 【形】10》.

ジーニアス英和大辞典 ページ 43030 での論理・数学reductio ad absurdum単語。