ロンリのちから | 高校講座NHK高校講座の放送日程や各回の放送内容・学習に役立つ資料・映像、音声などをストリーミング配信。
数理論理学 - Wikibooks
数学＞数理論理学 論理とは[編集] 論理とは、簡単に言えばある問題の答えを出すための思考方法の一つである。ただ、其の様な意味だとこの書で扱うには少し広義すぎるので、以降では論理とはすなわち「真と偽が判定可能な命題の真偽を判定する事」を指すものとして捉えて欲しい。数理論理学では、大抵このような論理しか扱わないのである。コレ以外の論理、つまり答えが「真偽判定不能」となるような命題を考える事はここではしない。 例としては以下のようなものとなる アルキメデスは人間である …命題P 人間は皆死ぬ …命題Q 故に、アルキメデスは死ぬ …命題A これは有名な三段論法の一種である。結論は最後の行である。三段論法によって命題Pと命題Qが真ならば、Aも真であることが保証される。 数理論理学とは[編集] 数理論理学とは、数学で使う「論理」をより数学的にしたもので、自然言語の代わりに記号による表
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
