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


تاربرگ‌های پیموده‌شده در این نشست: ماگما ⟩ پژوهشهایی در بنیادهای نگره‌ی هنگرد، یک ⟩ گویایی‌دانان روزگار نو ⟩ چماریک‌های پیوندی ⟩ گئورگ کانتور ⟩ گویایی گزاره‌ای آموزگاهی