TDK Mantık Terimleri Sözlüğü

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