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


تاربرگ‌های پیموده‌شده در این نشست: Affirming the consequent ⟩ Justified True Belief ⟩ greatest lower bound