disjunction elimination

Summary

disjunction elimination is a theorem^[1]. It draws 36 Wikipedia views per month (theorem category, ranking #256 of 1,306).^[2]

Key Facts

• disjunction elimination's instance of is recorded as theorem^[3].
• disjunction elimination's instance of is recorded as rule of inference^[4].
• disjunction elimination's Freebase ID is recorded as /m/02cnb^[5].
• disjunction elimination's defining formula is recorded as \frac{P \to Q, R \to Q, P \lor R}{\therefore Q}^[6].
• disjunction elimination's admissible rule in is recorded as propositional calculus^[7].
• disjunction elimination's maintained by WikiProject is recorded as WikiProject Mathematics^[8].
• disjunction elimination's Microsoft Academic ID is recorded as 191555800^[9].

Why It Matters

disjunction elimination draws 36 Wikipedia views per month (theorem category, ranking #256 of 1,306).^[2] It has Wikipedia articles in 6 language editions, a strong signal of global cultural recognition.^[10]