TDK Mantık Terimleri Sözlüğü

yorum belit sav yargı Öğe kalıp genel terim eklem kaplam Sonuç öznitelik nesne bütün terim Dil bileşen orta terim konut evren tanıt çatışkı Ad kapsam salt mantıksal kuram tanıtlama kavram bağlam gerçekleme eşitlik koyut yorumlama yansımalı bağıntı Anlam Üye çıkarım içerme sınama tikel-evetleme ilksav dizi Nitelik betim önek biçimsel mantık totoloji niceleyici eşsayılı kümeler karşı örnek sayal sayı tasım Eşdeğerlik nicelik yasal biçim kapanış izerge bağıntı önermeler mantığı ayrıklık yönetici geçerli çıkarım bilgisel sonuç dizimsel tür biçimsel özellik varsayım Tanım olmayana ergi yöntemi yüklem deyim altküme kuram düpedüz geçersiz çıkarım gerekli koşul çelişmezlik ilkesi yanlışlayıcı yorum üreteç doğruluk çizelgesi metamatematik evirme çevirme biçimsel tanım Değerleme tümevarım çok bileşenli tümel-evetleme mantık Birey imbilim önerme, tümdengelim kural değer alanı arakesit evetleme çelişme öncül en büyük tutarlı küme yorum biçimi matematiksel mantık denetleme anlambilim olgu