トートロジー

形式論理学についての解説の記事です。トートロジー、真理関数、シェファーの棒記号について解説します。トートロジートートロジー（tautology）とは、どのような命題の真偽値においても常に「真」である論理式を指します。命題論理におけるトートロ...

数学の学び直しのための記事です．本記事では，トートロジーについて考察します．トートロジートートロジーとは，原子命題の真偽に関わらず，真理値が\(1\)となる命題です．恒真命題ともいい，命題記号として\(\top\)を用います．トートロジーは...

数学の学び直しのための記事です．本記事では，命題論理の条件法と同値について考察します．条件法条件法とは，命題\(A\)ならば命題\(B\)，ということです．たとえば，「\(24\)が\(6\)の倍数であるならば，\(24\)は\(3\)の倍...