schematic variable

schematic variable
A variable that appears in an axiom schema and ranges over formulas, distiguished from the variables of the axiom schema that are quantified over and that range over the individuals of the universe of discourse.

Wikipedia foundation.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Variable Specific Impulse Magnetoplasma Rocket — Artist s impression of several VASIMR engines propelling a craft through space The Variable Specific Impulse Magnetoplasma Rocket (VASIMR) is an electro magnetic thruster for spacecraft propulsion. It uses radio waves to ionize and heat a… …   Wikipedia

  • Variable number tandem repeat — A Variable Number Tandem Repeats (or VNTR) is a location in a genome where a short nucleotide sequence is organized as a tandem repeat. These can be found on many chromosomes, and often show variations in length between individuals. Each variant… …   Wikipedia

  • Metasyntactic variable — For the term as used in formal logic, see Metavariable (logic). In computer science, programmers use metasyntactic variables to describe a placeholder name or an alias term commonly used to denote the subject matter under discussion or an… …   Wikipedia

  • NuVinci Continuously Variable Transmission — NuVinci internal mechanisms Tilting ball variator …   Wikipedia

  • Axiom schema — In mathematical logic, an axiom schema generalizes the notion of axiom.An axiom schema is a formula in the language of an axiomatic system, in which one or more schematic variables appear. These variables, which are metalinguistic constructs,… …   Wikipedia

  • Logical form — The form or logical form of an argument is the representation of its sentences using the formal grammar and symbolism of a logical system to display its similarity with all other arguments of the same type.It consists of stripping out all… …   Wikipedia

  • Dirac delta function — Schematic representation of the Dirac delta function by a line surmounted by an arrow. The height of the arrow is usually used to specify the value of any multiplicative constant, which will give the area under the function. The other convention… …   Wikipedia

  • Astronomical seeing — Schematic diagram illustrating how optical wavefronts from a distant star may be perturbed by a layer of turbulent mixing in the atmosphere. The vertical scale of the wavefronts plotted is highly exaggerated. Astronomical seeing refers to the… …   Wikipedia

  • Operational transconductance amplifier — Schematic symbol for the OTA. Like the standard operational amplifier, it has both inverting (−) and noninverting (+) inputs; power supply lines (V+ and V−); and a single output. Unlike the traditional op amp, it has two additional biasing inputs …   Wikipedia

  • Immunoglobulin light chain — Schematic diagram of an typical antibody showing two Ig heavy chains (blue) linked by disulfide bonds to two Ig light chains (green). The constant (C) and variable (V) domains are shown …   Wikipedia

Share the article and excerpts

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