恒真命題・恒真式・トートロジー

トートロジー頻出31例の独立にともない、
恒真命題・恒偽命題についてのノートから
恒真命題・恒真式・トートロジーの具体例を撤去。
また、
恒真命題・恒真式・トートロジー定義を加筆修正。