---
tag: 2RBQPV02AS
kind: concept
name: Satisfaction
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section S
    note: adopted
    mention: wikipedia://en/76765067#NNZG
    sections: [Summary]
inventory: [7NCRZSVNQT]
---

## Summary

In model theory, the relation between a structure and a sentence where the structure makes the sentence true, according to the interpretation of the sentence's symbols in that structure.