KnowraDeduction theoremLinked fromLinked fromThe 1 page that link to Deduction theorem, each with the reason it gives.All 1Related 1Conditional proofRelated: It expresses a related premise-to-conditional transformation in many logical systems.