“From any true substitution instance of a propositional function, we may validly infer the existential quantification of that propositional function.” Identify the rule:
AUniversal Instantiation
BExistential Generalisation
CExistential Instantiation
DUniversal Generalisation
🔒 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 →