>>159 ぶっちゃけ、演繹でも、推論式が偽となるよう解釈（真理値の当てはめ）は存在することがある。存在しないものを恒真命題という。