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


تاربرگ‌های پیموده‌شده در این نشست: Semantic theories ⟩ Justified True Belief ⟩ Ernst Friedrich Ferdinand Zermelo ⟩ modus ponendo ponens ⟩ Theories of Meaning