Category:Definitions/Open Statements
Jump to navigation
Jump to search
This category contains definitions related to Open Statements.
Related results can be found in Category:Open Statements.
Let $P$ be a statement.
$P$ is an open statement if and only if $P$ contains at least one free occurrence of a variables that appears in it.
Pages in category "Definitions/Open Statements"
The following 3 pages are in this category, out of 3 total.