Dolaylı Tanıt
Matematik alanında sıkça karşılaşılan terimin anlamı şu şekildedir.
- (p=>q) ≡ (q'=>p') denkliğini kullanarak, tanıtılacak q önermesinin yanlış olduğu varsayılırsa, p varsayımının da yanlış olduğu sonucuna varır.
- Diğer terim adları: olmayana ergi yöntemi, indirekter Beweis, indirect proof, démonstration indirecte, f, Diprionidae
Önemli bilgileri kontrol edin. Terimin farklı anlamlarını keşfetmek için Türkçe sözlük, Türkçe İngilizce sözlük, Latince sözlük, eş anlamlılar ve Mitoloji sözlüğüne göz atabilirsin.