Buy Me a Coffee at ko-fi.com

Existential generalization

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

Pronunciation
/ˌɛɡzəˈstɛntʃəl ˌʤɛnərələˈzeɪʃən/
/ˌɛɡzɪˈstɛnʃəl ʤɛnərəlʌɪˈzeɪʃən/
Categories