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