• Home
  • disjunction introduction

disjunction introduction

inference introducing a disjunction in logical proofs

en-GB/dɪsˈd͡ʒʌŋkʃən ˌɪntɹəˈdʌkʃn/
en-US/dɪsˈd͡ʒʌŋkʃən ˌɪntɹoʊˈdʌkʃən/

Categories:

rule of inferencetheorem