closed formula
(or closed sentence )
A formula in which all the variables are bound.

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • Closed-form expression — Closed formula redirects here. For closed formula in the sense of a logic formula with no free variables, see Sentence (mathematical logic). In mathematics, an expression is said to be a closed form expression if it can be expressed analytically… …   Wikipedia

  • Formula D — is a United States drifting series.It is not a racing formula, the name is taken for vanity s sake only.The series is sponsored by the popular video game series, Need for Speed . Its official name is Need for Speed Formula Drift Presented by… …   Wikipedia

  • Formula Libre — (also known as Formule Libre ) is a form of automobile racing allowing a wide variety of types, ages and makes of purpose built racing cars to compete head to head . This can make for some interesting matchups, and provides the opportunity for… …   Wikipedia

  • Formula E — has been used for two different types of formula racing.One was basically Formula Ford with 1600 cc engines and outboard suspension. Formula E had a particularly strong following in Northern England.Formula E is also used as a class in kart… …   Wikipedia

  • Formula 2000 — World Championship Series, or nowadays rather mentioned as Boat GP came to existence in 2002, when the current UIM contracted Promoter, Jose Luis del Palacio signed the agreement with the world governing body of the sport to promote and develop… …   Wikipedia

  • Formula Five — was a science magazine programme on BBC Radio 5 aimed at listeners in their late teens. It ran from 1990 to 1994, when the network closed.Sue Nelson presented the program for most of its time on air, with Jez Nelson co presenting the final series …   Wikipedia

  • Closed and exact differential forms — In mathematics, especially vector calculus and differential topology, a closed form is a differential form α whose exterior derivative is zero (dα = 0), and an exact form is a differential form that is the exterior derivative of another …   Wikipedia

  • Closed world assumption — The closed world assumption (CWA) is the presumption that what is not currently known to be true, is false. The same name also refers to a logical formalization of this assumption by Raymond Reiter. The opposite of the closed world assumption is… …   Wikipedia

  • Closed-form formula — A single arithmetic formula obtained to simplify an infinite sum in a general formula. The general formula of bond duration and bond convexity cannot be said closed form as there is an infinite sum over the different time periods. Using a closed… …   Wikipedia

  • Closed shop — A closed shop is a form of union security agreement under which the employer agrees to hire union members only, and employees must remain members of the union at all times in order to remain employed.[1] International Labour Organization… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”