Definition:Propositional Function/Satisfaction

Definition
Let $P \left({x_1, x_2, \ldots, x_n}\right)$ be an $n$-ary propositional function.

If $a_1, a_2, \ldots, a_n$ have values which make $P \left({x_1, x_2, \ldots, x_n}\right)$ true, then the ordered tuple $\left({a_1, a_2, \ldots, a_n}\right)$ satisfies $P \left({x_1, x_2, \ldots, x_n}\right)$.