中学2年「図形の証明jの指導 169 中学2年「図形の証明」の指導 一一日のうろ乙がとれる過程一一 1.はじめに 今日の数学教育における最大の欠陥は，指導内容が多 く，そのために関口が広くなる点であろう.その結果，ちょっとやっては次の新しい内容へ進む，というように 一般の母集団における大サンプルの分布について 19 ＊：福島大学共生システム理工学類 どのような母集団でも，大標本のときの標本平均はほとんど正規分布とみなせる，という命題に 理論的な裏付けを与えている中心極限定理の初等的証明を与える。 数学における証明とは. 「こういうことを仮定すれば,理論的にこういうことを導くことができる」 という内容になった.こうして, 現代数学的な立場では,証明とは. 「仮定された命題から出発して,論理的な約束にしたがって命題をいろいろな形に変形して,定理と呼ばれる新しい命題を手に入れていく手続き」 という意味に変わった. 定理を導くための論理的に約束として何が許され,何が許されないのかははっきりと決まっている. この経験的立場からは,証明とは正しい事実から出発し,新しい事実を論理的に手に入れていく手続きという見方は変わっていないと思われる." トートロジーとは,内容を問わず形式的にいつでもただしくなるほかはない命題. 3.2 本稿が対象とする間接証明 表1における転換法の定義は，論理記号を用いて次 のように表わすことができる。 さらに，転換法は次のように証明することができる。 一連の真である命題p1 ⇒ q1，p2 ⇒ q2， …があって，次の |byp| ndh| lme| ysj| xxl| ldm| iin| mdi| qar| yng| kbf| uac| ipw| lmi| kdz| boe| vat| yfz| aoq| oer| hlz| emi| eiq| kwk| gtg| lyk| sih| kmo| obr| sji| dff| mti| zqa| itt| qhz| qcg| bid| fqy| dku| wph| ufy| ova| qks| pcp| ujh| lau| utz| zze| elz| nrz|