dolaylı tanıt 

dolaylı tanıt  nedir?

(mat. olmayana ergi yöntemi) (Alm. indirekter Beweis; Fr. démonstration indirecte, f; İng. indirect proof) 

mat. (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.

TUBA Matematik Terimleri Sözlüğü İçerisinde Arama

# A B C Ç D E F G H I İ J K L M N O Ö P Q R S Ş T U Ü V Y Z