形式論理学 トートロジー・真理関数・シェファーの棒記号【形式論理学2‐2】
形式論理学についての解説の記事です。トートロジー、真理関数、シェファーの棒記号について解説します。トートロジートートロジー（tautology）とは、どのような命題の真偽値においても常に「真」である論理式を指します。命題論理におけるトートロ...
論理和
形式論理学 形式論理学 論理記号と演算子の類似性【形式論理学9】
論理学を学ぶ記事です．本記事では，論理演算について説明します．論理和\(A \lor B\)の真理表を以下に記します．\(A\)\(B\)\(A \lor B\)111101011000これは，1と1を演算して1，1と0を演算して1，0と0...
形式論理学 連言と選言【形式論理学3】
数学の学び直しの記事です．本記事では，命題論理の連言と選言について考察します．連言連言とは，命題\(A\)かつ命題\(B\)，ということです．たとえば，「\(3\)は奇数であり，かつ素数である」などの命題です．「\(3\)は奇数である」とい...