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.
