en bilinen ve kolay ispat tekniklerinden biridir. matematikte teoremler ve önermeler kendilerine özgü bir iç estetiğe sahip ispatlara dayanır. zaten matematiği ispat ve ispat tekniklerinden ayrı olarak düşünmek mümkün değildir. p ise q matematikte doğrudan ispat yöntemidir. teorem veya önerme içinde verilen şartlar aynen alınıp gösterilmek istenen sonuca ulaşılmaya çalışılır. yani bilinen veya bize teoremde verilen bilgileri kullanarak istenilen sonuca ulaşmaya çalışacağımız tekniktir. p hipotezinin (sol tarafın) doğru olduğu kabul edilerek, sağ tarafın (q nun) doğruluğu elde edilir.
örnek olarak: bir tek ve bir çift tamsayının toplamı tektir.
lise derslerinde klasik mantık mı ne her ne zıkkım varsa onun konularından birisiydi. hatırladığım kadarıyla aristo amcamın teoerisi. kapı yaçıktı ya kapalı en çok verilen örnekti.
