---
tag: 5SDS9T8E7J
kind: concept
name: Valid
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section V
    note: adopted
    mention: wikipedia://en/76765067#ERF9
    sections: [Summary]
inventory: [DE9KBXJX8E]
---

## 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.