Exercise · ZW-PREDICATE-010 · ★★★ Advanced
When a free variable is quantified, the predicate becomes...
Choose one option.
Show answer
- A. A proposition
Explanation
When the free variable is quantified, it becomes bound and the expression becomes a proposition with a truth value.
Review the concept: Predicate
A predicate \(P(x)\) is an expression with free variables that becomes a proposition when values are assigned to them.
\[P(x,y)\in\{\top,\bot\}\]
More practice problems: predicate
- ZW-PREDICATE-001 The truth value of a predicate depends on...
- ZW-PREDICATE-002 When all its variables are fixed, a predicate becomes...
- ZW-PREDICATE-003 Which one is a predicate of two variables?
- ZW-PREDICATE-004 In predicate logic, the variables at the start...
- ZW-PREDICATE-005 Which example depends on the value of x?
- ZW-PREDICATE-006 A predicate becomes a proposition when...
- ZW-PREDICATE-007 P(x): x²=4 is a predicate because...
- ZW-PREDICATE-008 Which one is an instance of the predicate P(x): x>0?