Buy Me a Coffee at ko-fi.com

Disjunction elimination

Rule of inference of propositional logic

Pronunciation
/ˌdɪsˈʤəŋkʃən əˌlɪməˈneɪʃən/
/dɪsˈʤʌŋkʃən ɪlɪmɪˈneɪʃən/