TDK Mantık Terimleri Sözlüğü

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