恒真式：あああ引用文献
・どのような解釈によっても（真理値をどのように変えても）、真となる論理式

妥当：神埼引用
・前提が全て真であるとき、必ず結論が真となること

あああの勝手な換言：
妥当な論理式はあらゆる解釈において、偽となることがない（恒真）



妥当な論理式は、「前提が全て真である」という解釈の場合で、
恒真式は、「前提が全て真でなくても」真だよ。

例えば、wikiでも参考にw
https://ja.wikipedia.org/wiki/%E6%81%92%E7%9C%9F%E5%BC%8F