- 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....
- then they are
predicate metavariables,
whereas the rest of the
predicates are just
called "predicate letters". The
metavariables are thus
understood to...
- (The do****entation for
texinfo emphasizes the
distinction between metavariables and mere
variables used in a
programming language being do****ented in...
-
inference are
often formulated as
schemata employing metavariables. In the rule (schema) above, the
metavariables A and B can be
instantiated to any
element of...
- 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...
-
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...
-
metavariable for any n-ary
operation over the domain, and let ϕ 1 , ϕ 2 , . . . ϕ n {\displaystyle \phi _{1},\phi _{2},...\phi _{n}} be
metavariables...
- {\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:...
