ＧｓＭＡＴＨ

webページに数式を表示する方法（MathJax、KATEX）

MathJax 導入方法 利用方法 KATEX 導入方法 利用方法 MathJax MathJax は Webページ上に TeX による数式を出力するシステムの中で最も有名なものです。 導入方法 注：はてなブログでは MathJax が初めから導入されているため、この工程は不要です。 数式を出力したいページのヘッダーに、以下のコードを追加することで導入完了となります。 <script src='https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/latest.js?config=TeX-MML-AM_CHTML' async></scrip…

2019/07/11 23:40

ド・モルガンの法則

Augustus De Morgan（1806 - 1871） イギリス人、オーガスタス・ド・モルガン。ド・モルガンの法則を命題論理の法則として厳密な形で表した人物。数学的帰納法の定式化にも貢献した。 ド・モルガンの法則 命題論理のド・モルガンの法則 述語論理のド・モルガンの法則 集合論のド・モルガンの法則 ド・モルガンの法則 命題論理のド・モルガンの法則 定理（ド・モルガンの法則） を命題とするとき、次のことが成り立ちます。 （1） （2） 証明 次の真理値表によります。 （1） T F T F T F F T F F T T F F F T T F T F F F T F T F T T …

2019/07/11 04:37

述語論理とは

Friedrich Ludwig Gottlob Frege (1848 - 1925) ドイツ人、フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ。述語論理の発案者。まず変数の量化を発案し、その後公理的な述語論理の体系を完成させた。 この記事では、数学を理解するために最低限必要なレベルで述語論理について書いています。 述語論理を一言で言うと、「命題の中身に踏み込んだ論理学」ということができると思います。 述語論理とは 述語 命題論理と述語論理の違い 量化 全称量化（全ての～） 存在量化（ある～） 公理 述語論理のド・モルガンの法則 述語論理とは 述語 定義（命題関数（述語）、変数） （1）…

2019/07/10 23:49

命題論理とは

Gottfried Wilhelm Leibniz (1646 - 1716) ドイツ人、ゴットフリート・ウィルヘルム・ライプニッツ。「calculus ratiocinator」の研究において、おそらく初めて形式的な論理とその演算について考察した人物。このことから彼は、現在の命題論理の体系の父と目されている。 命題論理とは 命題 命題論理とは 準備 定理、証明 命題定数、命題変数 真理値表 論理演算 演算 否定 論理包含（ならば） 同値 論理和（または）・論理積（かつ） 重要な事実 ド・モルガンの法則 命題論理とは 命題 定義（命題） 真または偽のどちらか一方が成り立つ*1文章のことを命題と…

2019/07/10 07:53

多くの記事の手直しをしています。

今までいくつかの記事を投稿しましたが、書き直しをしているうちにどうやら結構時間がかかりそうだということに気付きました。 なので、一時的にほとんどの記事を非公開にしています。今月上旬には再び投稿しなおす予定です。 今後しばらくの間は、練習も兼ねて数学関係の記事を書いていくつもりです。記事「数学的帰納法」のようなスタイルで書いていきたいと思っています。

2019/07/07 07:32

数学的帰納法

Blaise Pascal (1623 - 1662) フランス人、ブレーズ・パスカル。「パスカルの三角形」の性質を証明する際、数学的帰納法を現代と同じ考え方で初めて用いた人物。このことは、彼の死後発行された「Traité du triangle arithmétique (算術三角形論, 1655) 」の12番目の系の証明から確認できるようだ。 この記事では、数学的帰納法と、それにまつわる ・数学的帰納法は名前に反して帰納ではないこと ・数学的帰納法の仮定だけでは数学的帰納法自体が成り立つとは言えないこと ・実は数学的帰納法は数学の公理の1つであること の3つのテーマについて書いています。 …

2019/07/06 01:15

ド・モルガンの法則

Augustus De Morgan（1806 - 1871） イギリス人、オーガスタス・ド・モルガン。ド・モルガンの法則を命題論理の法則として厳密な形で表した人物。数学的帰納法の現代的な定式化にも貢献した。 数学的帰納法の定式化にも貢献した。 定理（ド・モルガンの法則） を命題とするとき、次のことが成り立ちます。 （1） （2） 証明 次の真理値表によります。 （1） T F T F T F F T F F T F T T F T T F F T T F T F T T F F （2） T F T F T F F T F F T T F F F T T F T F F F T F T F T…

2019/07/06 01:14