From any true substitution instance of a propositional function, we may validly infer the existential quantification of that propositional function. This effect comes from which quantification Rule:
AUniversal Instantiation
BUniversal Generalization
CExistential Instantiation
DExistential Generalization
🔒 Answer hidden — practise on Mcqkart to check yourself and see the explanation.
Want more like this? Create a free account to practise a full test, track your progress, and get spaced-repetition review.
Practise on Mcqkart →🎓 Book an expert →