形式論理学 トートロジー・真理関数・シェファーの棒記号【形式論理学2‐2】 形式論理学についての解説の記事です。トートロジー、真理関数、シェファーの棒記号について解説します。トートロジートートロジー(tautology)とは、どのような命題の真偽値においても常に「真」である論理式を指します。命題論理におけるトートロ... 2024.11.25 形式論理学
形式論理学 論理記号と演算子の類似性【形式論理学9】 論理学を学ぶ記事です.本記事では,論理演算について説明します.論理和\(A \lor B\)の真理表を以下に記します.\(A\)\(B\)\(A \lor B\)111101011000これは,1と1を演算して1,1と0を演算して1,0と0... 2023.03.26 形式論理学