Definition:Propositional Function/Satisfaction
Jump to navigation
Jump to search
Definition
Let $\map P {x_1, x_2, \ldots, x_n}$ be an $n$-ary propositional function.
If $a_1, a_2, \ldots, a_n$ have values which make $\map P {x_1, x_2, \ldots, x_n}$ true, then the ordered tuple $\tuple {a_1, a_2, \ldots, a_n}$ satisfies $\map P {x_1, x_2, \ldots, x_n}$.
Sources
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 3$: Statements and conditions; quantifiers