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