Category:Examples of Closed Statements

From ProofWiki
Jump to navigation Jump to search

This category contains examples of Closed Statement.

Let $P$ be a statement.

$P$ is a closed statement if and only if $P$ contains only bound occurrences of any variables that may appear in it.


That is, such that it contains no free occurrences of variables.

Pages in category "Examples of Closed Statements"

The following 3 pages are in this category, out of 3 total.