TDK Mantık Terimleri Sözlüğü

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