modus ponendo ponens

برابر انگلیک (انگلیسی): Modus ponens Rule of detachment modus ponendo ponens
دیسه‌ای
α , α⊃β ⊢ β
α , α⊃β ⊢ β