Definition of Metavariable. Meaning of Metavariable. Synonyms of Metavariable

- In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands...
- metavariables for program construction. For example, one can write functions like this in Agda: add : ℕ → ℕ → ℕ add x y = ? ? here is a metavariable....
- of inference that can be used to derive the theorems of the system. A metavariable (or metalinguistic or metasyntactic variable) is a symbol or set of symbols...
- (The do****entation for texinfo emphasizes the distinction between metavariables and mere variables used in a programming language being do****ented in...
- then they are predicate metavariables, whereas the rest of the predicates are just called "predicate letters". The metavariables are thus understood to...
- corresponding to the metavariable declaration in the signature line, e.g., e1 must be of syntactic category: (any) expression. If a metavariable is mentioned...
- referring to generic propositions to use Gr**** letters Φ, Ψ, ... as metavariables (variables outside the language of propositional calculus, used when...
- {\displaystyle P} and Q {\displaystyle Q} in these formulas are so-called metavariables: they stand for any simple or compound proposition. Rules of inference...
- {\displaystyle \phi } and ψ {\displaystyle \psi } be metavariables for any wff, and x {\displaystyle x} be a metavariable for any variable. These are valid wff constructions:...
- Logical variables Propositional variable Predicate variable Literal Metavariable Logical constants Logical connective Quantifier Identity Brackets Logical...