TDK Mantık Terimleri Sözlüğü

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