TDK Mantık Terimleri Sözlüğü

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