TDK Mantık Terimleri Sözlüğü

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