* 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
* doğru olduğu kabul edilerek, sağ tarafın
* doğruluğu elde edilir.
ornek olarak: bir tek ve bir çift tamsayının toplamı tektir.
* --spoiler--