Buy Me a Coffee at ko-fi.com

Universal generalization

rule in predicate logic

Pronunciation
/ˌjunəˈvərsəl ˌʤɛnərələˈzeɪʃən/
/juːnɪˈvəːsəl ʤɛnərəlʌɪˈzeɪʃən/
Categories
rule of inference