modus ponendo ponens

دیسه‌ای
α , α⊃β ⊢ β
α , α⊃β ⊢ β