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


تاربرگ‌های پیموده‌شده در این نشست: دیوید هیوم ⟩ دیوید لوییس ⟩ The completeness of the axioms of the logical function calculus ⟩ دوگویی ⟩ modus tollendo tollens