Multiple Choice
The process of obtaining a proposition from a propositional function by substituting a constant for a variable is called …………………………………
A) quantification
B) deduction
C) instantiation
D) generalization
Correct Answer:

Verified
Correct Answer:
Verified
Related Questions
Q15: The rule of Absorption (Abs) is symbolized
Q16: The phrase 'Given any x' is called
Q17: Name the rule of inference [ (P
Q18: An 'existential quantifier' is symbolized as ,<br>A)'
Q19: Name the rule of inference p ?
Q21: Name the rule of inference [ p
Q22: The rule of Simplification (Simp) is symbolized
Q23: Name the rule of inference [ p
Q24: Name the rule of inference [ p
Q25: The rule of Conjunction (Conj) is symbolized