conjunction elimination

inference in propositional logic

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

دسته بندی ها:

rule of inferencechangetheorem