modus ponendo ponens

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


تاربرگ‌های پیموده‌شده در این نشست: چارلز سندرس پیرس هندازگری نرم‌افزار گویایی سویی چندی‌گذارده ماکسول جان کرسول فرزانگی هگل آستان کامنده