Disjunktiivne süllogism
Disjunktiivne süllogism (ajalooliselt tuntud kui modus tollendo ponens ehk MTP, ladina keeles "mood, mis kinnitab läbi eituse") on kehtiv arutlusvorm ja süllogism (klassikalises loogikas), mille üks eeldustest on disjunktiivne otsustus. Näiteks: Ma valin supi või ma valin salati. Ma ei vali suppi. Seega ma valin salati.