形式論理学 トートロジー・真理関数・シェファーの棒記号【形式論理学2‐2】 形式論理学についての解説の記事です。トートロジー、真理関数、シェファーの棒記号について解説します。トートロジートートロジー(tautology)とは、どのような命題の真偽値においても常に「真」である論理式を指します。命題論理におけるトートロ... 2024.11.25 形式論理学
形式論理学 条件法と同値【形式論理学4】 数学の学び直しのための記事です.本記事では,命題論理の条件法と同値について考察します.条件法条件法とは,命題\(A\)ならば命題\(B\),ということです.たとえば,「\(24\)が\(6\)の倍数であるならば,\(24\)は\(3\)の倍... 2023.02.05 形式論理学