TDK Mantık Terimleri Sözlüğü

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