TDK Mantık Terimleri Sözlüğü

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