TDK Mantık Terimleri Sözlüğü

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