TDK Mantık Terimleri Sözlüğü

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