öncüller kümesi
(man., a.)
· 1 anlam · 0 geçiş
Anlam
-
Bir tasımda sonuçtan önce gelen önermelerin tümü
Seçili Derlem İstatistikleri
Madde geçmişi ve atıf
Güncel içerik sürümü ve kayıtlı editoryal olaylar yükleniyor.
İlgili Sözler
öncüller
biçimsel mantık
öncül
temel önerme
formel mantık
doğruluk fonksiyonlu
ayrıklık
çıkarım
belit
küçük önerme
çıkarsanabilmek
mantıksal çıkarım
Tanım, alan etiketi ve sözcük ailesi ortaklığına göre seçilen maddeler.
Değerlik profili canlı hesaplanıyor
T-BDLD içindeki yüzey-lema dizileri ve tamlayıcı örüntüleri taranıyor.
Graf kuramı sonuçları yükleniyor
Sözcüğün derlemdeki bağlantı ağı hesaplanıyor.
Bağlam Dinamikleri
Cümle, belge ve alan/tür yayılımı canlı hesaplanıyor.
Derlem ayrıntıları yükleniyor
T-BDLD sıklık, çekimli biçim, alan/tür ve eşdizim verileri hazırlanıyor.
%5