- 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....
- 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...
- then they are
predicate metavariables,
whereas the rest of the
predicates are just
called "predicate letters". The
metavariables are thus
understood to...
-
referring to
generic propositions to use Gr****
letters Φ, Ψ, ... as
metavariables (variables
outside the
language of
propositional calculus, used when...
- (The do****entation for
texinfo emphasizes the
distinction between metavariables and mere
variables used in a
programming language being do****ented in...
- {\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:...
- {\displaystyle P} and Q {\displaystyle Q} in
these formulas are so-called
metavariables: they
stand for any
simple or
compound proposition.
Rules of inference...
-
basic unit.
Propositional variables should not be
confused with the
metavariables,
which appear in the
typical axioms of
propositional calculus; the latter...
- {\displaystyle X,Y} , be
metavariables for any
variables or sets, such that X = Y {\displaystyle X=Y} , and let z {\displaystyle z} be a
metavariable for any variable...