TDK Mantık Terimleri Sözlüğü

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