トートロジー

数学の学び直しのための記事です． 本記事では，トートロジーについて考察します． トートロジー トートロジーとは，原子命題の真偽に関わらず，真理値が\(1\)となる命題です． 恒真命題ともいい，命題記号として\(\top\)を用います． トー...

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