Modus ponens çıkarımında öncüllerden biri koşul önermesidir. Diğer öncül de koşul önermesinin önbileşenini evetler, yani yeter koşulun yerine geldiğini iddia eder. Koşul önermesinin artbileşeni (koşul önermesinin zorunlu koşulu) sonuç olarak çıkarılır. Buna göre verilen örnekte “Ormanda ateş yakılırsa yangın çıkar” öncülü koşul önermesidir. İkinci öncül de koşul önermesinin önbileşenini (ateş yakmak) evetlemiştir. Koşul önermesinin artbileşeni (yangın çıkacak) sonuç olarak çıkarılmıştır.