8 Eighth Week Flashcards
1
Q
Describe the elimination rule for the universal quantifier.
A
From a universal generalization you can infer any instance.
2
Q
Describe the introduction rule for the universal quantifier.
A
Describe the elimination rule for the universal quantifier.
From a universal generalization you can infer any instance.
Describe the introduction rule for the universal quantifier.