TDK Mantık Terimleri Sözlüğü

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