TDK Mantık Terimleri Sözlüğü

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