• Home
  • conjunction elimination

conjunction elimination

inference in propositional logic

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

Categories:

rule of inferencechangetheorem