後件否定式

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