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