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