TDK Mantık Terimleri Sözlüğü

yorum yargı belit Öğe sav eklem kalıp Sonuç nesne kaplam genel terim öznitelik Dil bütün terim bileşen tanıtlama konut tanıt evren çatışkı Ad kapsam orta terim yorumlama Ü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 tikel-evetleme betim dizi önek ilksav kapanış önermeler mantığı totoloji biçimsel mantık sayal sayı nicelik eşsayılı kümeler karşı örnek niceleyici tasım Eşdeğerlik izerge bağıntı yasal biçim varsayım yüklem Tanım ayrıklık deyim geçerli çıkarım yönetici bilgisel sonuç olmayana ergi yöntemi dizimsel tür altküme kuram biçimsel özellik gerekli koşul yanlışlayıcı yorum çelişmezlik ilkesi üreteç düpedüz geçersiz çıkarım doğruluk çizelgesi çevirme metamatematik tümevarım evirme Değerleme tümdengelim mantık önerme, biçimsel tanım Birey kural imbilim ç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 denetleme anlambilim olgu matematiksel mantık