Buy Me a Coffee at ko-fi.com

Disjunction introduction

inference introducing a disjunction in logical proofs

Pronunciation
/ˌdɪsˈʤəŋkʃən ˌɪntrəˈdəkʃən/
/dɪsˈʤʌŋkʃən ˌɪntrəˈdʌkʃən/