Disjunctive syllogism permits irrelevant premises: from 'Either unrelated-fact or B' and 'not unrela...
This proposition has not been edited since the history system was added.