TDK Mantık Terimleri Sözlüğü

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