Valid

Summary

A deductive argument whose structure ensures that if all the premises are true, then the conclusion must also be true, demonstrating logical validity.

In model-theoretic semantics, a formula that is true under all interpretations.

In proof-theoretic semantics, a formula that is either an explicit rule of inference of a system, or that does not allow one to prove anything that could not be proved using the explicit rules of inference.