TDK Mantık Terimleri Sözlüğü

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