上は素朴集合論の∪∩の定義から導かれる分配法則とその証明。以下は論理和と論理積の分配法則の自然演繹。6.A→(A∨B)∧(A∨C)(→導入)...2024.09.16暇つぶしに見て暇つぶしに見て矛盾からは何でも導ける証明ふと、「矛盾からはどんな命題を導いても良い」と言える推論はどんなだろなと。人の認識の規則を記号化したものが論理、それを拡張したのが集合、それをさらに拡張したのが関数、という過程の下なら、下記の関係が成り立つはずなので、それを証明します。同値関係は長濱式では下のように定義しています。前提の同値関係が成立しない場合の議論はどんな風に結論されるのかなあと。A⇔B≔A→B∧B→A≔は定義するの記号。その4引用の記事の続きです。(A∧B)∨(A∧C)→A∧(B∨C)とA∧(B∨C)→(A∧B)∨(A∧C)を証明して必要十分条件が成り立ちますが、後者の証明がされていませんでした。いうわけで下の同値関係の証明に挑戦。成り立つのか確認します。前回に定義した負数の乗法は自然数の乗法の定義でいけるんじゃないか、と閃いたので試してみます。あとはマイナス×マイナスに関する乗法も定義しました。我流除法の定義が人の認識通りに運用できるかテストします。乗法の交換法則を証明していたはずが気がつくと分配法則を証明していました。何を言っているのか自分も分かりませんが、気がついたら証明されていました。数学的帰納法を用いますので、連鎖反...2024.01.14暇つぶしに見て暇つぶしに見て乗法の交換法則その1乗法の交換法則を我流で証明します。その前段階としてa×0=0×aが真である証明。我流数学やっていきます。今回も数学的帰納法の練習。奇数が無限個あることを証明します。MEキーワードで探す野木式ボクシングを学ぶ僕のボクシングの師匠の一人である野木トレーナーのボクシング理論です。2024年11月62024年10月532024年9月272024年8月212024年7月212024年6月232024年5月182024年4月202024年3月242024年2月212024年1月382023年12月192023年11月312023年10月262023年9月262023年8月242023年7月242023年6月232023年5月282023年4月302023年3月352023年2月252023年1月222022年12月232022年11月112022年10月262022年9月82022年8月202022年7月182022年6月302022年5月212022年4月202022年3月192022年2月252022年1月282021年12月222021年11月222021年10月272021年9月222021年8月242021年7月182021年6月232021年5月252021年4月292021年3月272021年2月172021年1月92020年12月232020年11月212020年10月142020年9月152020年8月242020年7月402020年6月592020年5月322020年4月22020年3月1スポンサーリンクSNSも見てね!股関節おじさんをフォローするお問い合わせパーソナルトレーニング、グループレッスン、セミナーなどお仕事のご依頼はこちらからよろしくお願いします。MEメディア掲載お問い合わせフォームスポンサー募集中!。