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