TDK Mantık Terimleri Sözlüğü

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