- In logic, a
metavariable (also
metalinguistic variable or
syntactical variable) is a
symbol or
symbol string which belongs to a
metalanguage and stands...
-
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...
- then they are
predicate metavariables,
whereas the rest of the
predicates are just
called "predicate letters". The
metavariables are thus
understood to...
- are not
symbols of the
object language L {\displaystyle L} , they are
metavariables in the
metalanguage (in this case, English) that is
discussing the object...
-
metavariables for
program construction. For example, one can
write functions like this in Agda: add : ℕ → ℕ → ℕ add x y = ? ? here is a
metavariable....
-
basic unit.
Propositional variables should not be
confused with the
metavariables,
which appear in the
typical axioms of
propositional calculus; the latter...
- (The do****entation for
texinfo emphasizes the
distinction between metavariables and mere
variables used in a
programming language being do****ented in...
-
referring to
generic propositions to use Gr****
letters Φ, Ψ, ... as
metavariables (variables
outside the
language of
propositional calculus, used when...
- {\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:...
-
metavariable for any n-ary
operation over the domain, and let ϕ 1 , ϕ 2 , . . . ϕ n {\displaystyle \phi _{1},\phi _{2},...\phi _{n}} be
metavariables...
