TDK Mantık Terimleri Sözlüğü

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