Q115
"From any true substitution instance of a propositional function, we may validly infer the existential quantification of that propositional function." Identify the rule.
A.
Universal instantiation
B.
Existential Generalisation
AnswerC.
Existential Instantiation
D.
Universal Generalisation
Answer: Option B
Solution
Answer: Option B
No explanation is given for this question Let's Discuss on Board