形式論理学 シェファーの棒記号【形式論理学8】 論理学を学ぶ記事です. 本記事では,シェファーの棒記号について説明します. シェファーの棒記号 下記の論理式\(X\)を考えます. \(A\)\(B\)\(X\)110101011001 この論理式を\(X \Leftrightarrow ... 2023.02.19 形式論理学
形式論理学 真理関数から論理式を決定すること【形式論理学7】 数学の学び直しのための記事です. 本記事では,真理関数(真理表)から論理式を決定する方法について解説します. 真理関数から論理式を決定する方法 二つの原子式からなる命題\(X\)の真理関数(真理表)から\(X\)の論理式を決定する方法を考え... 2023.02.13 形式論理学
形式論理学 トートロジー【形式論理学6】 数学の学び直しのための記事です. 本記事では,トートロジーについて考察します. トートロジー トートロジーとは,原子命題の真偽に関わらず,真理値が\(1\)となる命題です. 恒真命題ともいい,命題記号として\(\top\)を用います. トー... 2023.02.08 形式論理学
形式論理学 条件法と同値【形式論理学4】 数学の学び直しのための記事です. 本記事では,命題論理の条件法と同値について考察します. 条件法 条件法とは,命題\(A\)ならば命題\(B\),ということです. たとえば,「\(24\)が\(6\)の倍数であるならば,\(24\)は\(3... 2023.02.05 形式論理学
形式論理学 命題の真偽と真理値【形式論理学1】 数学の学び直しのための記事です.ここでは数学を学ぶために役立つ形式論理学について解説します. 命題について 数学に限らず,物事を記述したり,考察したり,推論したりするために,命題は必要不可欠です. 「太郎は次郎の兄である」という文も,命題と... 2023.02.03 形式論理学
数学 真理値分析【形式論理学1‐5】 このページでは,これまで扱った論理記号をまとめ,さまざまな複雑な分子命題の真理値を求める真理値分析を扱います. 目次 ①命題論理の論理記号のまとめ ➁真理値分析 ③論理記号の結合の順番について ④問題 ⑤参考文献 ①命題論理の論理記号のまと... 2022.05.15 数学
形式論理学 命題の否定【形式論理学2】 数学の学び直しのための記事です. 命題論理の命題の否定について記します. 命題の否定 「\(2\)は偶数ではない」という命題は,「\(2\)は偶数である」という命題\(A\)の否定であり,これを否定記号を\(\lnot\)を用いて\(\ln... 2020.09.09 形式論理学
数学 命題について【形式論理学1-1】 数学の学び直しのための記事です. 形式論理学の命題論理から始めます. 形式論理学は,論理的思考を鍛えるだけでなく,数学的な思考・プログラミングを行う際の思考のためにも大切です. 目次 ①命題について ②真理値 ③問題 ④参考文献 ①命題につ... 2020.08.27 数学