dolaylı tanıt

1. • matematik
   (p=>q) ≡ (q'=>p') eşdeğerliği kullanılarak, tanıtlanacak q önermesinin yanlış olduğu varsayıldığında, p varsayımının da doğru olmadığı sonucuna varılmasıyla yapılan tanıtlanma.
   Eşanlam:  olmayana ergi yöntemi
   İngilizce indirect proof

   Fransızca démonstration indirecte, f

   Almanca indirekter Beweis