「結合法則」を含む日記 RSS

はてなキーワード: 結合法則とは

2024-08-28

抽象代数学の魅力とは

抽象代数学は、代数的構造を探求する数学の一分野である

その核心は、具体的な数や図形から離れ、演算性質のものに着目することにある。

群論を例に取ると、群とは集合G上の二項演算・が結合法則を満たし、単位元存在し、各元に逆元が存在するという公理を満たす代数的構造である

この抽象的な定義により、整数加法群(Z,+)や置換群S_nなど、一見異なる対象統一的に扱うことが可能となる。

群論の発展は、ガロア理論を生み出し、5次以上の代数方程式代数的解法が存在しないことの証明につながった。

環論では、可換環を中心に、イデアルや素イデアル概念が導入され、代数幾何学との深い関連が明らかになった。

体論は、代数的閉体や有限体の理論を通じて、ガロア理論暗号理論の基礎を提供している。

これらの理論は、単に抽象的な概念の探求にとどまらず、数論や代数幾何学、さらには理論物理学や量子情報理論など、広範な分野に応用されている。

例えば、リー群論は素粒子物理学の基礎理論となっており、SU(3) × SU(2) × U(1)という群構造標準模型対称性記述している。

また、抽象代数学概念圏論によってさら一般化され、函手や自然変換といった概念を通じて、数学の異なる分野間の深い関連性が明らかにされている。

圏論視点は、代数位相幾何学代数的K理論などの現代数学の発展に不可欠な役割果たしている。

抽象代数学の魅力は、その普遍性と深遠さにある。

単純な公理から出発し、複雑な数学構造を解明していく過程は、純粋数学醍醐味であり、同時に自然界の根本法則理解する上で重要洞察を与えてくれるのである

2024-07-18

anond:20240718103538

>Xは米粒の集合

こここれでいいの?有限集合になって卵黄の開球がちゃんモデル化できるように思えないんだが。

普通に多様体としてとったほうがよくない?

あとかき混ぜ方は本当に群構造みたしてるの?(結合法則大丈夫?)

2024-07-06

anond:20240706064857

0除算が可能場合、積の結合法則が成り立たないため、

3項以上の積は,掛ける順序を指定する必要がある。

1でない実数rに対して

(r×0)×z≠r×(0×z)

2021-12-15

算数のかけ算順序問題に決着をつける

皆さんはじめましてTwitterで「レンタル数学教える人」を名乗っている者です。つい今月の初めに、「そうか!だから小学校算数においてはかけ算順が大切なんだ」と目からうろこが落ち、そのことを夜中のうちにTwitterに書いたところ、朝になったら見たこともない数のリプや引用がついて驚いた。その内ほとんどが「バカ」とか「アホ」とか「クズ」とかの類の言葉でした。それで怖くなりました。「この程度」とか「周回遅れ」とか誹謗中傷まで酷いものでした。

その中でいくつかやり取りするうちに、これは一人一人返信してもらちが明かないから、カリキュラムの順番含めて整理してTwitter内に投稿しよう、と思いつきました。

何でかけ算導入時において順番が大切なのかを教えてやる

2年で「乗法意味」→「乗法の場面を式に表す」→「乗法交換法則

と段階を踏んで学ぶ。ポイントは「乗法の場面を式に表す」だ。この単元を学習中に式の順番が問われるわけだろ。その後に交換法則計算やすければ交換してもよいという話

勝手交換法則使って計算しろよ。ただし場面に合った式を書きなさいと言われている所に、一つ分×いくつ分の順番を無視した式を書くんじゃねえ!という話。途中式間違ってるけど答えはマルもらえるって中高生でも普通によくある話じゃない?

「場面を式に表す」が課題なのよ。段階的ってこと考えよう。

3年で「整数乗法」だ。数を抽象的なものとして計算するわな。結合法則分配法則も習うから計算の工夫をしてスマートに解いてみやがれ!かけ算に慣れてきた頃に「除法の場面を式で表す」をやる。何を何で割るかよく考えろ。割られる数、割る数っていう区別(順番)が理解スムーズにしてくれる。

ここでワケも分からず前から数字を順番に入れて式を立てる奴がいたらどうなる。解答欄の「□÷○=△」穴ポコに順番に入れたらどうなる。かけ算だったら答え合ってて良かったね。

それ習慣ついてたら割合の単元で地獄を見ることになる。ったゆうか現実としてすでに地獄だけどな。

4年で「長方形正方形の面積」だ。お待たせしました。なんか知らんけどかけ算順番の話してるとすっ飛んでくる輩が「縦×横と横×縦は違うんですか?」ってドヤ顔で聞いてくる。うるせえ。交換法則しとけよ。場面を式で表すとは状況が違うんだから好きにしろこちとら「卵10個が3パック」の話してんだよ

この前spaceで聞いた知見を共有する。面積ってのは「1㎝×1㎝の□が何個分」ってところから考える。縦に3個、横に5個、なら一個ずつ数えてもいいが3×5で出してもいい。「1つ分はいかようにも取れるんですよ?」のドヤ顔勢が言いたいのはそれだろ。勝手に5×3やっとけよ。

あのさ、面積ってのはそうやって丁寧に学習していくんだよ。「そもそも面積とは〜積分の考え方を使っているのであり〜」とか言う自称理系人間。アタマおかしいと言わざるを得ない。お前小学生相手に何言ってんの?中学生ですら錐の体積や球の体積を厳密に理解できない。そうやって積み上げていくんだろ

僕がずっと違和感を持っているのは、なぜ掛け算順を認めない人はこのように必死Twitter内を警備し、いきなり引用リツして人格否定的なことを繰り返してしまうのかということです。バカとか洗脳とか悪影響とか「理由説明してください」という謎のエンドレス質問。そしてそのような人はいつも同じメンツで、仲間同士でコメントを付けあっている。「井超算数」というタグをつけるのが彼らの仲間を呼び寄せるシグナルのようです。以後、この一派のことを「超算数警察」と呼称します。

逆に、いつも虐められている(ように見える)人は言葉使いが丁寧で、明らかに教育現場にいる率が高い。誠実な教育者であることが見受けられた。懇切丁寧に掛け算順の必要性説明しているのに、いくら必死説明しても聞かないうえに暴言を吐かれる、謎のエンドレス質問返しで、いつの間にかダンマリになっていく。この誠実な教育者たちを「掛け順派」とします。

■■■

恥ずかしい告白します。僕は半年ほど前まで「掛け算順序否定派」でした。くだらねえ理由で減点して子供可哀想と思っていました。「バカな慣習だ」と暴言を吐いたこともあります。ただし、ここから重要。耳かっぽじってよく聞け。Twitterで「掛け順必要派」の人に対して凸撃とかしなかった。極めて一般的に、まともな大人は、フツーの人間は、Twitter自分と反対な意見の人をわざわざ見つけて攻撃したりしない。時間的なヒマもない。

だってその人にリプを飛ばして考えを改めさせるなんてことができると思うか?まあ出来なくはないんだけど、現実的じゃない。しかし超算数警察は平気でやる。まあしつこい。相手ブロックするまでやめない。結局は見下してバカにしていい気分になりたいだけだろう。同調者が表れて良いキモチ。ちなみにこの人たちは「ブロックされたこと=論破した」と定義している。世間一般的にはそうではないが、超算数警察の中ではそうなのだスクショ付きで「逃げやがった」「やっとブロックたか」が決め台詞である

実は僕がTwitter意見を投下し始めて、あまり暴言がひどいので反論意味で多方面暴言を吐いてしまったところ、ある方に批判された。対話を重ねていたら、その方はスマート教育をされ、学校に期待しすぎないで家庭と学校で協力していけばいいという考えの持ち主だった。

あなたスマート教育をされていることは分かった。学校先生必死でやっているんだ。掛け順間違いでバツされたことなど、学校ってそんなもんだよなと受け流してくれればいいのに

と伝えたら、そこで衝撃の一言「とっくにそうしている。はじめから掛け算の話などしていない」と。僕は冷や汗をかいた。

そうなのだ。始めからそうだった。そしてそうやってある種諦めの境地でもって受け流し、家でも教育しておけば良いというバランス感覚こそ僕が求めているものだった。それこそ思想転向のずっと前から

テスト不本意ながらバツをもらってきた子供に対して、親としてもし、その採点に納得がいかないのなら「これは学校テストにおいてのみ守っておかなければならないルールで、数学的には答えが合ってるから、まあ気にするな」と教えてやればいいのだ。僕だったらそうする。

実際、社会に出たら本当にどちらでもいい問題だ。よくある例としては「個数×単価」のような書き方がある。英語圏では「〇倍した□」といった言い方が一般的だ。だから僕はあくまでも日本国内での「算数ルール」「小学校ルール」と言っても良いと思っている。

冒頭の固定ツイと内容が被るが、僕自身は掛け算の順序を丁寧に教えていくのは極めて有用だと思っている。それは日本語的な感覚という意味でもだ。「●個が〇セット」、割合の単元なら「▼の□倍」という語順がしっくりくる。まだ抽象理解言語運用いまいちな低学年にとってはなおさらだ

■■■

算数警察は厄介なことに、叩ける相手だと認定したらとにかく他のどんなことでもツッコめる穴は無いかと探し始める。たとえば僕は連ツイの最後に「面積の学習は丁寧にやっていく。そもそも面積は積分の考えを使っているので~とか言うな。中学生ですら錐の体積や球の体積を厳密には理解できない」と書いたら、まあそこに食いつく食いつく。一言わずにいられない馬鹿どもが。

「おまえ数学講師なら中学生積分くらい教えてやれ」

中学生に球の体積の理屈くらい教えてあげないのは怠慢、講師失格」

小学生でも球の体積なんか理解する。小学生を甘く見すぎ」

などという酷い言われようだった。まったく現実を見ていない、好き勝手意見だなと思うわけだが、一方でそんな教え方ができるのであればすごいことだ(たとえ受け手側に理解するポテンシャルがなかったとしても)と思って、全員に「中学生でも理解できる球の体積の考え方を教えてくれませんか?」と聞いた。

もう大半がヘンなリンク送ってきたり、有名な説明からさらする必要なしとか繰り返すだけで、何の益もなかった。30人くらいいたかな。そんな中で2人だけ実際に説明を書いて送ってよこしてきた。2,3分でササっとかける代物ではない。余裕で中学生で習う範囲を超えている。しかし素晴らしいと思った。

からするとそもそも僕が主張したいことと話がズレているし、それを活用できるほどの力量もないので、それをどうこうはできない。それは2人にとって肩透かしだったと思う。そもそもこちらは煽られてスタートしているのだ。「できるものならやってみろ」とは言ったが、本当にやってきたのならば敬意を表するほかない。そう。これなのだ数学を愛し、数学を嗜んでいるのなら、自分の手を動かしてみろっていうんだ。超算数警察みたいに「数学は答えがあってればマル、ウソを教えるのは迷惑」とかいってTwitter内でクソリプ飛ばしてないでさ。んでマウンティンググルーミング。それの繰り返し。

算数警察は、小学生学校先生も、そもそも全部ひっくるめて公教育というもの人間社会のなかで行われているということを忘れている。自分の大好きな数学の美しさに惹かれて、極めて抽象的で、この世界中どころか宇宙全体に通用する法則をはやいと小学生にも教えてやれと言っている。んで「合ってるのにバツされるのは可哀想」という。だからもう一回思い出してくれ。こちとら小学校低学年を相手にしているし、そもそも算数」の授業をしているんだって!教科名が「数学」じゃないことに注意。段階を踏むってことが彼らには理解できていない。

算数警察は「美しさ」にこだわっているんだと思う。掛け算は順序を問わないのだから、式が逆なくらいでバツされている答案が目に入るのが耐えられないんだ。現実には日本中小学校で丁寧に式の立て方から指導している。「一つ分×いくつ分」も「○○の□割(倍)」もとても重要視されている。だって最初に「3+3+3+3+3のことを3×5だって説明しているんだから。そりゃ5×3って書いたらバツでしょ。お前思いついた順に数字を書いてんじゃねえよ!って言いたくなるでしょ。「一つ分」を先に書けと言われているのだから

Twitterで見かけた例を拝借すると、二つの倉庫があって「右の倉庫にはボールを、左の倉庫にはバットを入れてな」と決めてそれを周知したのに、逆に入れるヤツがいたら説教したくなるでしょ。右がボール、左にバットなんていう必然性なんかない。ただそう決めただけなんだが、決めなきゃしょうがねえだろ。そのきめたルールが無くなることはないと思うぞ。調べたら100年近くやってるらしいじゃん。じゃあお前らは永遠に不満を持ってTwitterで吹き上がるだけの人生だぞ。超算数警察たちは、ごく普通人間たちの営みを否定している。だってようやく数字という概念を学び始める準備段階の子供を相手にしているんだぞ。ムチャ言うな。

なあ、そんな理論通りの、全てが数式通りに記述された、超算数警察理想とする美しい世界が実現するにはどうしたらいいか教えてやる。「この世界から人間がソックリいなくなる」しかないんだよ!

■■■

から30年ほど前に超絶ヤバ集団いたことを覚えているな。「オウム真理教」っていうんだけど。ムチャクチャへんな主張をするカルト宗教メディア面白がって、バラエティ番組なんかにも出ていたな。あれのトップが何て言っていたか知っているか

近いうちに日本人口が十分の一になる」って言ってたんだぞ。これが何を意味しているか分かるよな。それがどうだ。東京のど真ん中の地下鉄サリンがまかれた。彼らの母数が大したことなかったから、同時多発的にってところまではいかなかったけどな。

そりゃ今だって地球環境を壊さないためには」とか「埋蔵資源を枯渇させないためには」とか「海や山の生態系を守るためには」とか考えると、人間がいなくなるしかねえ!って結論になるよな。ま、それを言っちゃおしめえなので・・とスルーされるのが常識的な流れなんだけど。

しかし超算数警察よ!お前らがやっていることはそれに近い。すべての人間が「極めて忠実に数学の美しさを体現するためには」なんてことをやっている。無理だよ。この世界にはとんでもなく計算が苦手だったり、日本語が通じなかったり、中学生の半分が教科書を読めていなかったり、高校生で「数学を捨てる」なんて発言がまかり通っているんだから中学卒業したら数学というものから離れる人だって多い。そういう人がどれくらい数学が苦手か分かるか?そういう多くの人たちをとりあえず一斉に教えるために作られたカリキュラムだ。ちょっとやそっとじゃ揺るがねえよ。

掛け算を逆に書いてしまったものを慈悲深い心でマルにしてもらえたら、彼らは数学を好きになれただろうか。小学校カラーテストで、本来だったらもらえてた(とおまいらが主張する)5点を取り返したところで、その後の人生に1ミリも役に立たねえよバカ

んで超算数警察の口癖、「掛け順教」。数学的に正しくないウソを教えている宗教って言いたいんだろうけど。あのなあ。宗教って言葉相手バカにする言葉に使えると思っているところが人間のことを分かってねえっていうんだよ。もしかしてお前らって「もともと存在しない神とかいものにすがって、科学否定してきた宗教というもの信じてるヤツってバカ」ってシンプルに思ってない?でなきゃ「掛け順教」なんていう言葉が気軽に出てこないと思うんだけど。

それこそ人間社会のことを分かってないってことの証左なんだよ!人間はこの世界のよく分からないもの暫定的な解を与えるために宗教というものを生み出した。それがよりよく生きるための術だったからだ。もちろんそれが命の奪い合いを引き起こすこともあるがな。現代日本だって神様にお願いしたり、クリスマスを祝ったり、葬式したり、全部宗教だろが!そのことを分かってないで「自分無宗教なんで」とか言ってる。んでここ100年とかで明らかになってきた科学的な知見をかってに借用して、「今どき宗教にハマってるなんてプギャー」とか喚いてんだろ。お前たちは人類の先輩たちが大切にしてきた偉大な宗教というものコケにしているんだよコラ!

この世界のことが科学的に説明できるようになっていることは事実だろう。それと、人間認知機能が一気に進化するってことは話が違うだろが。お前らは数学の美しさ(数式は場面を捨象するからこそ美しい、程度の知識)を知ったからと言って強化人間にでもなったつもりなんだろう。んで科学知識を得た我々は、次から次へとニュータイプが生まれてくるとでも思っているんだろう。そして、現行の算数教育はそのニュータイプの育成をジャマしていると。

バカ言ってんじゃねえよ。そんな簡単人間進化してたまるか。お前らなんか強化人間にすらなり切れていないし、だいたいジャレドダイアモンド先生が言う「認知革命」が起こって以来、人間なんか大して成長してねえわ。ホモサピエンスは昔も今も、ちょっとずつ日常の数的感覚自然数から抽象的な理解に至っていくんだろうが。小学校6年間は、まず数学に入る前の準備段階だって決まってんの!それを数学的な知識を先取りしたうるさい大人たちがエラそうに・・・

俺たちは真っ当に義務教育の中で算数指導をしているだけなんだよ!

■■■

お前らが何と戦っているか教えてやる。

僕は超算数警察を見ていると「進撃の巨人11巻で「敵は何だ!」と喚いてユミルにたしなめられているエレンをいつも思い出すよ。

お前らには見えていない。お前らはお前らが言うところの「掛け順教」と戦ってんじゃねえ。Twitter内にいる「掛け順教」をやっつけて終わりだと思ってんのなら・・そりゃ・・大きな勘違いだ。

お前らは「敵は何だ!」と問うだろう。

そうして僕はこう答える。「そりゃ言っちまえば・・世界だ」と。

あるいは「人間社会」とか「人間世界」と言ってもいいかもな。

お前らが数学が得意で数学が好きでその魅力にヤラれちまっているのは認める。そしてそれは素晴らしいことだ。んでハッキリ言うとくけど、世の中の人はそんなに数学が好きじゃないし、数学に興味がない。

数学が好きならお前たちそれくらい分かんだろがよ。数学列伝とか読めば明らかだろうがよ。数学を専攻する人間なんてのは奇人変人だと相場が決まってんだよ!

算数警察一般人相手に「それ数学的に間違ってますけど!」とか言ってないで、自分数学的な真理を突き詰めたらどうだよ。ただしそれは生きるか死ぬかのイバラの道だと心得よ。フェルマーの最終定理証明したアンドリューワイルズ先生10年間誰とも連絡を取らずに、生きてるか死んでるかも分からないような状況に追い込んで偉業を成し遂げた。ワイルズ先生必死こいてTwitterクソリプ飛ばしてたらとか考えると笑えるよな。あ、コイツ生きてるなって安心できるよな。やってるわけねーよな。

まり人のことを気にしてる暇があったら、自分のやるべきことやっとけってこった。だから僕に対して自筆証明を送ってきた二人以外のお前らは、どっかからリンク引っ張ってきた以外になんか生み出したか

■■■

君たちは三重の壁の外に、バカ天才秀才も凡人もひっくるめた人間社会が営まれているということを忘れちまってる。Twitterの中でお仲間を見つけて、自分たちだけが世界真実に気づけていると思って正義感燃えているんだろう。それをあの頃のエレンだって言ってんだよ。

エレンは壁の外にいる巨人をすべて駆逐すると誓った。そして裏切り者だった同期生を許さねえと言った。しかしやがて真実にたどり着いたエレンは全てを理解したよな。そしてそんな風に怒り狂っていた自分を恥じた。そうか、みんな同じだったんだって。それは壁の外に出たからだ。外に出るという強い意志を持ったからだ。

算数警察よ。君たちはいつまでも三重の壁の中に閉じこもって、つかの間の楽園享受しているんだ。とことんまで抽象世界にもぐりこむのも良い。ただそれは浮世離れした人生を歩むことを意味する。それがイヤだったら、人間たちの世界に戻ってこい。人と心を通わせることを選択しろ三重の壁(心の壁)を壊して外の世界に出るんだ。

算数警察よ。これより配属を言い渡す。

君たちを、人間社会調査兵団に任命する。

2021-03-25

2.8+4.2=7.0

算数テストで2.8+4.2の筆算の答として7.0を書くと不正解になることがあるらしい.7でないと×だとか.

当然「なぜ?」という疑問が生じるわけだが,SNSでついた色んなリプライを読んでいると色々な考えがあって面白かったので,まとめておく.

2.8+4.2の筆算の答として7.0と書いた場合対応である

7と7.0は違う派

「7と書いたら6.5以上7.5未満を指し,7.0と書いたら6.95以上7.05未満を指すので,そもそも指しているものが違う.だから○.」

この議論によれば,「2.8」は2.75以上2.85未満の数で,「4.2」は4.15以上4.25未満の数だから,「2.8」+「4.2」は6.9以上7.1未満の数を指す.

まり有効数字考慮した「7.0」より少しだけ広い範囲になるっぽい.たとえば「2.8」の真の値が2.84で「4.2」の真の値が4.24だとすると,その和は2.84+4.24=7.08で,「7.0」の指す範囲から外れてしまう.

「でも理科ではそうなっているから!」と言われると「これは算数(数学)だから」としか反論できない.

長岡亮介さんの『東大入試問題を楽しむ』によれば,1958年東大入試一般数学でこの辺りを考慮しないと正答が出ない問題が出題されているらしい.これも面白問題だ.

問題小数第1位まで表示されているのだから,答も小数第1位まで表示するべきだ.だから○.」

見かけの美しさを追求するとこの考えに行きつく.確かに問題小数点があれば答に小数点をつけたくなる気持ちも分かる.プログラミングで,変数の型を変更しているように見えるのかもしれない.

4.2+3は4.2+3.0であるべきであり,問題が美しくないから答えないという選択もできるわけだ.これはとても面白い考え方だけど,間違いなく×にされると思う.

7と7.0は同じ派

「たとえ7と7.0が同じでも,算数では小数点以下の末尾の0を消すのがルール.だから×.」

ある人が作った数学ルールに発展性があれば万人がそれを認める.例えば,交換法則ab=ba結合法則a(b+c)=ab+acルールとするのは納得できる.

1+1=2はよくあるルール(本当は定理らしい)だが,1+1=0をルールの一つとしてもそれはそれで面白世界が広がる.

しかし「小数点以下の末尾の0を消す」というのは発展性のなさそうなルールから数学好きな人は嫌いそうだ.

「7=7.0であるから○.」

全く同じものから○という議論は単純だが面白い.たとえば2.8+4.2の答を2.8+4.2と書いたら,全く同じものからと言って○にしてくれるだろうか?

6.999…も7と同じだが,○になるだろうか?

答はできるだけ簡単にするものだというなら,7.0も簡単にして7にすべきのような気もする.その境界はどこに設定するのがよいだろうか.

同じかどうかは問題ではない派

小学校指導要領では,小数点以下の末尾の0は消すものであると定められている.従わないから×.」

1/10の位までの小数計算小学3年生で,それより下の位までの計算は4年生で学ぶ.

文部科学省指導要領に0を消すことについての文言は見当たらなかった(探し方が悪いだけか?)が,教科書会社学習指導案には「0を消す」と書いてあった.「0.1が10個で1.0とは言わないから」らしい.

そうかもしれないけど,積は他にも意味づけることができるので,それだけを根拠にするのは弱い気がする.あと,「俺は1.0って言う」って人がいたらどうなんだろう.

それよりも問題なのは,これが罷り通ると生徒が先生議論する機会が失われてしまうことだ.言われたことに粛々と従うだけの人格形成されるのは,良くないことだと思う.

「ある世界数学者が,特別な条件がない限り○だとあるテレビ番組発言した.世界数学者は小学校先生より偉い.だから○.」

これは○にせざるを得ない!俺は権威に媚び諂う卑しい人間なんだ.定額給付金くれよ.げへへ.

…というのは冗談で,これも議論の機会が失われるので良くないことだと思う.

その世界数学者が間違っていると主張しているわけではないのでお間違えなきよう.

中学受験では7.0を7と書かないと[Resp. 書くと]×になる.だから将来のために×[Resp. ○].」

受験は良くも悪くも世間に大きな影響を与えているのだと分かる.小学生みなが受験をするわけではないと思うので,小学校先生がこのように考えることはないと思うが.

実際○か×かは採点する中学校に聞いてみないと分からない.

しかしこれも権威に諂う考え方だなあと思う.疑問から逃げているようにも思える.

「ここでは筆算技術を問うている.筆算では小数点以下末尾の0は消す[Resp. 消さない]ことになっている.だから×[Resp. ○].」

なるほどこの考えは盲点だった.計算技術の話をしているので,言われた通りにしないと×にする.同じかどうかとは無関係だ.

微積分の計算や開平計算など,技術習得理解に先立つこともある.まずは計算に習熟してからあとでその計算意味理解するという考えがあってもおかしくない.

末尾の0を消すのは意味を考えているということだろうから技術習得が優先とする考え方だと消さない方が良いような気がしてくる.

他にもあるかもしれないけど,こんなところだろうか.

私は,ちゃん計算の仕方が分かっていることが読み取れれば○にすべきだと思っていた.だから7.0でも7でも6.999…でも○にすべきだし,2.8+4.2は×にすべきだと思う.3+4とだけ書いてあったら,迷った末に,揶揄っているだけで計算の仕方は分かっていると思って,○にするだろうな.筆算技術習得観点から見たら×になるのかな.小学校先生は大変だ.

2011-01-18

http://anond.hatelabo.jp/20110118185213

こういうことですね。

∨:および

∧:また

¬:でない

 

∨¬=およびでない

 

 

最低覚えておくべき論理法則トートロジー

同一律 A⊃A

矛盾律 ¬(A∧¬A)

二重否定 ¬¬A≡A

ド・モルガン ¬(A∧B)≡¬A∨¬B

        ¬(A∨B)≡¬A∧¬B

結合法則 A∧(B∨C)≡(A∧B)∨(A∧C)

       A∨(B∧C)≡(A∨B)∧(A∨C)

対偶法則(第一) (A⊃B)⊃(¬B⊃¬A)

      (第二) (¬A⊃¬B)⊃(B⊃A)

添加法則 A⊃(B⊃A)

排中律 A∨¬A

MP(Modus Ponens 前件肯定式) A∧(A⊃B)⊃B

これら以外では、

A∧0≡0 A∧1≡A

A∨1≡1 A∨0≡0 など。ただし、0は恒偽命題、1は恒真命題。 

2009-03-30

http://anond.hatelabo.jp/20080127170528

定義できないわけないだろ。

で終わり。具体的な自然数の表記については1+1=2を2の定義として与えてそっから帰納的に定義しろ。

 
ログイン ユーザー登録
ようこそ ゲスト さん