Definition
Valid Formula in an Interpretation (Satisfiability Modulo Theory)
Let
be a -interpretation and let be a -formula with . The formula is valid in if every [[Knowledge/X-variant Interpretation (Satisfiability Modulo Theory)| -variant]] of makes it true: Thus, validity in
fixes the carriers and meanings of all signature symbols while universally varying the values of the free variables of .