TDK Mantık Terimleri Sözlüğü

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