あっそうか。
推論が妥当⇔論理式が恒真
こうだった。
じゃあ妥当な演繹なのに恒真でないはずがないか。