TDK Mantık Terimleri Sözlüğü

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