TDK Mantık Terimleri Sözlüğü

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