Return to Article Details Does the Implication Elimination Rule Need a Minor Premise? Download Download PDF