modus ponens

[ریاضیات] قیاس استثنایی