modus ponendo ponens

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


تاربرگ‌های پیموده‌شده در این نشست: آگاهشی اُستاهنده نامگذاری و بایستگی راستی پوچ نگره‌ی چمار On a Property of the Collection of All Real Algebraic Numbers