Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun logic 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 theuniverse of discourse .
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word schematic variable.
Examples
Sorry, no example sentences found.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.