Home
disjunction elimination

disjunction elimination

Rule of inference of propositional logic

en-GB/dɪsˈd͡ʒʌŋkʃən ɪˌlɪmɪˈneɪʃn/

en-US/dɪsˈd͡ʒʌŋkʃən ɪˌlɪməˈneɪʃən/

Categories:

rule of inference theorem