TDK Mantık Terimleri Sözlüğü

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