TDK Mantık Terimleri Sözlüğü

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