形式論理学 命題の否定【形式論理学2】
数学の学び直しのための記事です． 命題論理の命題の否定について記します． 命題の否定 「\(2\)は偶数ではない」という命題は，「\(2\)は偶数である」という命題\(A\)の否定であり，これを否定記号を\(\lnot\)を用いて\(\ln...
形式論理学 形式論理学 連言と選言【形式論理学3】
数学の学び直しの記事です． 本記事では，命題論理の連言と選言について考察します． 連言 連言とは，命題\(A\)かつ命題\(B\)，ということです． たとえば，「\(3\)は奇数であり，かつ素数である」などの命題です． 「\(3\)は奇数で...
数学 集合について【集合論1-1】
数学の学び直しのための記事です． 数学の対象を考察するための前提としての集合について記します． 目次 ①集合について ②外延的記法と内包的記法 ③問題 ④参考文献 ①集合について 数学の考察の対象になるものは，なんらかのものから構成される集...
数学 命題について【形式論理学1-1】
数学の学び直しのための記事です． 形式論理学の命題論理から始めます． 形式論理学は，論理的思考を鍛えるだけでなく，数学的な思考・プログラミングを行う際の思考のためにも大切です． 目次 ①命題について ②真理値 ③問題 ④参考文献 ①命題につ...
自己紹介 著者について
50代の医療従事者です。50代にして人生の脱構築を試行中です。 脳トレのために数学や物理、化学の勉強を始めましたので、その記事も書いております。 バロック音楽が好きで、気に入っている作品・演奏の紹介もしていきます。 紹介している書籍のリンク...