Open formula

An open formula is a formula that contains at least one free variable. Some educational resources use the term "open sentence",[1] but this use conflicts with the definition of "sentence" as a formula that does not contain any free variables.

References and notes


This article is issued from Wikipedia - version of the 10/19/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.