Dil Bilgisi Terimleri Sözlükleri
Bilim Terimleri Sözlükleri
Teknik Terimler Sözlükleri
Sanat Terimleri Sözlükleri
Spor Terimleri Sözlükleri
Hukuk Terimleri Sözlükleri
Ekonomi Terimleri Sözlükleri
Eğitim Terimleri Sözlükleri
Çevre Terimleri Sözlükleri
Sağlık Terimleri Sözlükleri
Sosyal Terimler Sözlükleri
Tarihi Şahsiyetler
Sarı Sayfalar
dolaylı tanıt nedir?
dolaylı tanıt
(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.