predicate variable

References

predicate variable

logic

Written by

The Information Architects of Encyclopaedia Britannica

Learn about this topic in these articles:

formal logic
The predicate calculus
…(psi), χ (chi), … as predicate variables (replaceable by predicates), the formula ϕx is used to express the form of the propositions in question. Here x is said to be the argument of ϕ; a predicate (or predicate variable) with only a single argument is said to be a monadic,…
Read More
…(psi), χ (chi), … as predicate variables (replaceable by predicates), the formula ϕx is used to express the form of the propositions in question. Here x is said to be the argument of ϕ; a predicate (or predicate variable) with only a single argument is said to be a monadic,…
Read More