modus ponendo ponens
دیسه‌ای
α , α⊃β ⊢ β
α , α⊃β ⊢ β


تاربرگ‌های پیموده‌شده در این نشست: Philosophische Untersuchungen ⟩ On a Property of the Collection of All Real Algebraic Numbers ⟩ system ⟩ fraction ⟩ Frege's Notion of Existence ⟩ George Edward Moore