数学 真理値分析【形式論理学1‐5】
このページでは，これまで扱った論理記号をまとめ，さまざまな複雑な分子命題の真理値を求める真理値分析を扱います． 目次 ①命題論理の論理記号のまとめ ➁真理値分析 ③論理記号の結合の順番について ④問題 ⑤参考文献 ①命題論理の論理記号のまと...
数学 
力学 力学の対象について【力学1】
力学の学びなおしの記事です． ここでは力学の対象についてふれます． 力学の対象について 力学は物体の運動――並進，回転，変形など――の記述と，その原因を調べる学問です． リンゴが落下する運動や，投げた後のボールの運動，天体の運行など，運動は...
数学 集合の相等と包含【集合論1-2】
数学の学び直しの記事です． 集合の相等と包含について記します． 目次 ①集合の相等 ②集合の包含関係 ③問題 ④参考文献 ①集合の相等 以前に集合の外延的記法と内包的記法に関して記しましたが，たとえば集合\(A＝\{2, 4, 6, …, ...
数学 自然数【解析学①】
数学の学び直しのための記事です． 解析学の始めとして，まずは自然数について記します． 目次 ①自然数 ②問題 ③参考文献 ①自然数 自然数はものを数えることに由来していると思います。 それゆえ，自然数というと，1，2，3，…とするのが普通で...
形式論理学 命題の否定【形式論理学2】
数学の学び直しのための記事です． 命題論理の命題の否定について記します． 命題の否定 「\(2\)は偶数ではない」という命題は，「\(2\)は偶数である」という命題\(A\)の否定であり，これを否定記号を\(\lnot\)を用いて\(\ln...
形式論理学 連言と選言【形式論理学3】
数学の学び直しの記事です． 本記事では，命題論理の連言と選言について考察します． 連言 連言とは，命題\(A\)かつ命題\(B\)，ということです． たとえば，「\(3\)は奇数であり，かつ素数である」などの命題です． 「\(3\)は奇数で...
数学 集合について【集合論1-1】
数学の学び直しのための記事です． 数学の対象を考察するための前提としての集合について記します． 目次 ①集合について ②外延的記法と内包的記法 ③問題 ④参考文献 ①集合について 数学の考察の対象になるものは，なんらかのものから構成される集...
数学 命題について【形式論理学1-1】
数学の学び直しのための記事です． 形式論理学の命題論理から始めます． 形式論理学は，論理的思考を鍛えるだけでなく，数学的な思考・プログラミングを行う際の思考のためにも大切です． 目次 ①命題について ②真理値 ③問題 ④参考文献 ①命題につ...
自己紹介 著者について
50代の医療従事者です。50代にして人生の脱構築を試行中です。 脳トレのために数学や物理、化学の勉強を始めましたので、その記事も書いております。 バロック音楽が好きで、気に入っている作品・演奏の紹介もしていきます。 紹介している書籍のリンク...