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 tanıtlama tanıt konut evren çatışkı yorumlama Ad kapsam Anlam eşitlik koyut orta terim Üye kavram bağlam saydam bağlam yansımalı bağıntı gerçekleme çıkarım salt mantıksal kuram dizi içerme tikel-evetleme sınama betim önek Nitelik önermeler mantığı kapanış ilksav totoloji biçimsel mantık sayal sayı nicelik karşı örnek Eşdeğerlik eşsayılı kümeler bağıntı Tanım tasım niceleyici varsayım izerge yüklem yasal biçim deyim ayrıklık olmayana ergi yöntemi kuram yönetici 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, kural imbilim çelişme biçimsel tanım çok bileşenli tümel-evetleme arakesit değer alanı saydamsız bağlam öncül evetleme denetleme anlambilim olgu yorum biçimi