existential generalization

inference rule that infers “there exists an A that is B” from “A is B”

Categories: