Category:Satisfaction

From ProofWiki
Jump to navigation Jump to search

This category contains results about Satisfaction.
Definitions specific to this category can be found in Definitions/Satisfaction.


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$.

Subcategories

This category has only the following subcategory.