真理関数

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

数学の学び直しのための記事です．本記事では，真理関数(真理表)から論理式を決定する方法について解説します．真理関数から論理式を決定する方法二つの原子式からなる命題\(X\)の真理関数(真理表)から\(X\)の論理式を決定する方法を考えます．...