「前提が全て真であるとき、必ず結論が真となること」です。

換言すると、「この推論式は、あらゆる解釈において、偽となることがない（恒真）」

かってに換言してんじゃねーよww