Category:Finished Set Lemma
Jump to navigation
Jump to search
This category contains pages concerning Finished Set Lemma:
Let $\Delta$ be a finished set of WFFs of propositional logic.
Then any model of the set of basic WFFs in $\Delta$ is a model of $\Delta$.
Pages in category "Finished Set Lemma"
The following 2 pages are in this category, out of 2 total.