しかるべき形式の資料ではありませんが、いくつか参考になるであろう情報を引用しておきます。

「論法 P1, …, Pn ⊢ Q が妥当である必要十分条件は、命題 (P1 ∧, …, ∧ Pn) → Q が恒真命題のとき、である（http://www.hongo.wide.ad.jp/~jo2lxq/dm/lecture/04.pdfより引用）。」

「妥当：論理式Pが恒真式であるとき，Pはいかなる解釈に対しても真であるという意味で「Pは妥当である」という.（http://milan.elec.ryukoku.ac.jp/~kobori/resume/log/LogN02.pdfより引用）。」

「推論式が妥当式になるとき，推論は「正しい」「妥当である」という。言い換えれば，推論が正しいとは，いかなる解釈のもとでも論理式 (a) は恒真になる，ということである。（http://www.sguc.ac.jp/i/st/learning/logic/%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86.pdfより引用）。」