In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language. For instance, in the sentence Let A and B be two sentences of a language ℒ the symbols A and B are part of the metalanguage in which the statement about the object language ℒ is formulated.
In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language. For instance, in the sentence Let A and B be two sentences of a language ℒ the symbols A and B are part of the metalanguage in which the statement about the object language ℒ is formulated.
Source: Wikipedia "Metavariable" · CC BY-SA 4.0
Share this article: X · Bluesky