TDK Mantık Terimleri Sözlüğü

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