individual variable
logic
Learn about this topic in these articles:
philosophy of logic
- In philosophy of logic: Nature and varieties of logic
…that”) and “(∀x)” (“For each individual, call it x, it is true that”). The dummy letter x is here called a bound (individual) variable. Its values are supposed to be members of some fixed class of entities, called individuals, a class that is variously known as the universe of discourse,…
Read More
predicate calculus
- In formal logic: The predicate calculus
…z, … are used as individual variables (replaceable by names of individuals) and the symbols ϕ (phi), ψ (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…
Read More