(isim, matematik, mantık) Bir önermenin doğruluğunu kabul edilmiş tanım, aksiyom ve daha önce gösterilmiş sonuçlardan başlayarak her adımı gerekçelendirilmiş sonlu bir çıkarım dizisiyle ortaya koyan akıl yürütme.
Not: Bu bölümde gösterilen cümleler, derlem cümle seçme algoritmasının otomatik seçimleridir. Cümlelerdeki görüş, ifade ve içerikler kaynak metinlere aittir; Bitigçi’yi bağlamaz ve Bitigçi’nin görüşünü ya da tutumunu yansıtmaz.
Sayfadaki özellikler henüz yüklenmedi. Lütfen kısa bir süre bekleyiniz.
Sonuçların yüklenmesi için hesaplama yapılıyor.
Güncel madde için atıf biçimleri hazırlanıyor.
Madde, bağımsız bağlam çözümlemeleri ve sözlükbirimlik sınamaları birlikte değerlendirilerek yayımlandı.
Tanım, alan etiketi ve sözcük ailesi ortaklığına göre seçilen maddeler.
Panel açıldığında BD varyant verileri yüklenir.
Panel açıldığında BD tanık verileri yüklenir.
/karşılaştır umut ile ümit