Definition:Variable/Satisfaction
Jump to navigation
Jump to search
Definition
Let $\map P x$ be a propositional function such that $x$ is a variable with a given domain $S$.
Let a specific element $a$ of $S$ be substituted for $x$ in $\map P x$ such that $\map P a$ is true.
Then $a$ is said to satisfy the propositional function $P$.
Sources
- 1972: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 1$: Some mathematical language: Variables and quantifiers